线性表的ADT定义(学生信息表）

ADT Student

Date

线性表中的数据元素具有相同类型，相邻元素具有前驱与后继的关系；首元素无前驱，末元素无后继，其他元素有且仅有一个前驱和一个后继

Operation

InitStudent

前置条件：学生信息表不存在

输入：无

功能：学生信息表的初始化

输出：True(初始化成功）或False(初始化失败）

后置条件：一个空的学生信息表

DestoryStudent

前置条件：学生信息表已存在

输入：无

功能：销毁学生信息表

输出：True(学生信息表销毁成功）或False(学生信息表销毁失败）

后置条件：释放学生信息表所占用的内存

Get

前置条件：线性表已存在

输入：学生学号i

功能：按值查找，在学生信息表中查找学号等于i的学生信息

输出：如果学号合法，返回学号为i的学生信息，否则抛出异常

后置条件：学生信息表不变

Insert

前置条件：学生信息表已存在

输入：插入位置i，待插入学生姓名x，学号y，

功能：插入操作在线性表的第i个位置插入一个学生信息

输出：若插入失败，抛出异常

后置条件:若插入成功，表中学生信息增加一个

Delete

前置条件：学生成绩表存在

输入：删除位置i

功能：删除操作，删除学生成绩表中第i个元素

输出：若删除失败，抛出异常

后置条件：若删除成功，学生信息表少一个学生信息

PrintStudent

前置条件：学生信息表存在

输入：无

功能：遍历操作，按序号依次输出学生信息

输出：学生信息表中的每个学生信息

后置条件：学生信息表不变

endADT