为整数定义一个抽象数据类型，包含整数的常见运算，包括构造（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