为整数定义一个抽象数据类型(使用ADT)

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

上一篇:eclipse连接夜神模拟器方法


下一篇:软件构造——不变量相关知识点