线性表的抽象类型定义

ADT ScoreList  Score    成绩表中的成绩具有相同的类型，相邻的成绩之间具有前驱和后继关系OperationInitScoreList      前置条件：成绩表不存在      输入：无      功能：成绩表初始化      输出：无      后置条件：一个空的成绩表  DestroyScoreList      前置条件：成绩表已存在输入：无功能：销毁成绩表输出：无后置条件：释放成绩表所占用的内存空间  Length      前置条件：成绩表已存在输入：无功能：求成绩表的长度输出：成绩表中成绩的个数后置条件：成绩表不发生改变  Get      前置条件：成绩表已存在输入：成绩的排名序号i功能：按成绩排名查找，在成绩表中查找排名序号为i的成绩输出：如果排名序号合法，则输出序号i的成绩，不合法则输出操作异常后置条件：成绩表不发生改变  Locate前置条件：成绩表已存在输入：成绩x功能：按值查找，在成绩表中查找成绩为x的元素输出：查找成功则输出成绩x的序号，否则返回0后置条件：成绩表不发生改变  Insert前置条件：成绩表已存在输入：插入位置i，待插成绩x功能：插入操作，在成绩表的第i个排名处插入成绩x输出：若插入不成功，抛出异常后置条件：若插入成功，成绩表增加一个新的成绩  Delete前置条件：成绩表已存在输入：删除排名位置i功能：删除操作，删除成绩表中排名第i的成绩输出：若删除成功，返回被删除的成绩，否则抛出异常后置条件：若删除成功，成绩表中减少一个成绩Empty    前置条件：成绩表已存在    输入：无    功能：判断操作，判断成绩表是否为空表格    输出：若是空表，返回1，否则返回0    后置条件：成绩表不发生改变PrintScoreList    前置条件：成绩表已存在    输入：无    功能：遍历操作，按序号一次书处成绩表中的成绩    输出：成绩表中的各个成绩    后置条件：成绩表不发生改变<p>EndADT</p><p>                          迟来的作业，望明哥不要介意！</p>