ADT Student
Date
线性表中的数据元素具有相同类型,相邻元素具有前驱与后继的关系;首元素无前驱,末元素无后继,其他元素有且仅有一个前驱和一个后继
Operation
InitStudent
前置条件:学生信息表不存在
输入:无
功能:学生信息表的初始化
输出:True(初始化成功)或False(初始化失败)
后置条件:一个空的学生信息表
DestoryStudent
前置条件:学生信息表已存在
输入:无
功能:销毁学生信息表
输出:True(学生信息表销毁成功)或False(学生信息表销毁失败)
后置条件:释放学生信息表所占用的内存
Get
前置条件:线性表已存在
输入:学生学号i
功能:按值查找,在学生信息表中查找学号等于i的学生信息
输出:如果学号合法,返回学号为i的学生信息,否则抛出异常
后置条件:学生信息表不变
Insert
前置条件:学生信息表已存在
输入:插入位置i,待插入学生姓名x,学号y,
功能:插入操作在线性表的第i个位置插入一个学生信息
输出:若插入失败,抛出异常
后置条件:若插入成功,表中学生信息增加一个
Delete
前置条件:学生成绩表存在
输入:删除位置i
功能:删除操作,删除学生成绩表中第i个元素
输出:若删除失败,抛出异常
后置条件:若删除成功,学生信息表少一个学生信息
PrintStudent
前置条件:学生信息表存在
输入:无
功能:遍历操作,按序号依次输出学生信息
输出:学生信息表中的每个学生信息
后置条件:学生信息表不变
endADT