线性表的抽象类型定义

ADT ScoreList
  Score
    成绩表中的成绩具有相同的类型，相邻的成绩之间具有前驱和后继关系
Operation
InitScoreList
      前置条件：成绩表不存在
      输入：无
      功能：成绩表初始化
      输出：无
      后置条件：一个空的成绩表
  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>