为整数定义一个抽象数据类型，包含整数的常见运算，包括构造（Constructor）、相加（Add）、相减（Sub）、相乘（Multi）、相除（Div）、求余（Mod）、是否等于（Equal）。每个运算对应一个基本操作，每个基本操作的接口需定义前置条件、输入、功能、输出和后置条件。

 

ADT integer

Data

 整数，可以是正整数，也可以是负整数和0

Operation

　　Constructor

　　　　前置条件：拥有一个integer的类

　　　　输入： 一个整数

　　　　功能： 初始化一个整数

　　　　输出：无

　　　　后置条件：得到一个整数变量

       Add

              前置条件：存在一个整数a

              输入：一个整数

              功能：计算a与输入的整数b的和

              输出：两个整数相加的和

              后置条件：整数a的值发生变化

       Sub

              前置条件：存在一个整数a

              输入：一个整数

              功能：计算a减去输入的整数b的差

              输出：两个整数相减的差

              后置条件：整数a的值发生变化

       Multi

              前置条件：存在一个整数a

              输入：一个整数

              功能：计算a乘以输入的整数b的积

              输出：两个整数相乘的积

              后置条件：整数a的值发生变化

       Div

              前置条件：存在一个整数a

              输入：一个整数

              功能：计算a除以输入的整数b的商并向下取整

              输出：两个整数相除的商向下取整得到的整数

              后置条件：整数a的值发生变化

       Mod

              前置条件：存在一个整数a

              输入：一个整数

              功能：计算a整除输入的整数b的余数

              输出：两个整数相整除的余数

              后置条件：整数a的值发生变化

       Equal

              前置条件：存在一个整数afan

              输入：一个整数

              功能：判断整数a与输入的整数b的值是否相等

              输出：如果两个整数相等，返回1；否则，返回0

              后置条件：a的值不变

 

endADT