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