為整數定義一個抽象數據類型，包含整數的常見運算，包括構造（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