package SectionType is type StudentID is integer; Ada type Section(Max Size: integer) is private procedure Assign Student(Sect: in out Section Stud in StudentID): procedure Create Section(Sect: in out Section 中抽象数据类型定义 Instr in integer; Room in integer) rivate type Section(MaxSize: integer) is record Room: integer; Instructor: integer; Class Size: integer range 0.. Max Size: =0; ClassRoll: array(1.MaxSize)of StudentID end record end package body Section Type is procedure Assign Student(. )is Statements to insert student on Class roll en d: procedure Create Section(. )is Statements to initialize components of Section record end: procedure Schedule Room(.)is Statements to schedule Section in a room end endAda 中 抽 象 数 据 类 型 定 义