ADT英语成绩

ADT English_score
    Data 
        线性表中的数据具有相同类型，向零元素具有前驱和后继关系

    Operation
        InitList
            前置条件：线性表不存在
            输入：无
            功能：线性表的初始化
            输出：无
            后置条件：一个空的线性表

        DestroyList
            前置条件：线性表已存在
            输入：无
            功能：销毁线性表
            输出：无
            后置条件：释放线性表所占用的空间

        Insert
            前置条件：线性表已存在
            输入：插入位置i；待插元素x
            功能：插入操作，在线性表第i个位置处插入一个新元素x
            输出：若插入不成功，抛出异常
            后置条件：若插入成功，表中增加一个新元素

        Get
            前置条件：线性表已存在
            插入：元素的序号i
            功能：按位查找，在线性表中查找序号为i的数据元素
            输出：如果序号合法，返回序号为i的元素值，否则抛出0
            后置条件：线性表不变

        Locate
            前置条件：线性表已存在
            输入：数据元素x
            功能：按值查找，在线性表中查找值等于x的元素
            输出：如果查找成功，返回元素x在表中的序号，否则返回0
            后置条件：线性表不变

        Delete
            前置条件：线性表已存在
            输入：删除位置i
            功能:删除操作，删除线性表中的第i个元素
            输出：若删除成功，返回被删元素，否则抛出异常
            后置条件：若删除成功，表中减少一个元素

endADT