成绩表的抽象数据类型定义（ENGLISHSCORE LIST)

物联1131-23

ADT EnglishScore list

  Data

   英语成绩表中的数据具有相同类型，相邻元素具有前驱和后继关系。成绩的各种操作依据序号来进行。

  Operation

    

   InitEnglishScore list

      前置条件：英语成绩表不存在

      输入：无

      功能：英语成绩表初始化

      输出：无

      后置条件：一个空的英语成绩表

    DestroyEnglishScore list

      前置条件：成绩表已存在

      输入：无

      功能：销毁成绩表

      输出：无

      后置条件：释放英语成绩表所占用的存储空间

    Length

      前置条件：成绩表已存在

      输入：无

      功能：返回英语成绩表长度

      输出：成绩表中数据元素个数

      后置条件：英语成绩表不变

   Insert

     前置条件：英语成绩表已存在

     输入：插入成绩数据元素N于位置I

     功能：插入操作，在成绩表的第I个位置插入成绩N

     输出：插入不成功则抛出异常

     后置条件：成绩表新增了一个数据元素

       Delete

  前置条件：英语成绩表已存在

         输入：删除位于位置I的成绩N

         功能：删除操作，删除线性表中的第I个元素

         输出：若删除成功，返回被删的成绩，否则抛出异常

         后置条件：若删除成功，表中减少了一个成绩信息

Empty

前置条件：英语成绩表已存在

输入：无

功能：判空操作，判断英语成绩表是否为空表

输出：若是空表，返回1，否则返回0

后置条件：英语成绩表不变

PrintList

前置条件：英语成绩表已存在

输入：无

功能：遍历操作，按序号依次输出英语成绩表中学生的成绩

输出：英语成绩表中的各学生的成绩

后置条件：英语成绩表不变

end ADT