------------------------------------------------------------------ -- -- NAME: SEGMENT_ATTRIBUTES_1B -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file: seg_attr_1b.ada -- level: 1b, 2b with GKS_TYPES; use GKS_TYPES; package SEGMENT_ATTRIBUTES_1B is -- This package contains the procedures for setting the attributes -- for segments and the pick operation. procedure SET_PICK_ID (PICK : in PICK_ID); procedure SET_DETECTABILITY (SEGMENT : in SEGMENT_NAME; DETECTABILITY : in SEGMENT_DETECTABILITY); end SEGMENT_ATTRIBUTES_1B;