抽象数据类型(ADT),定义Circle 的例子

ADT Circle{

​ 数据对象:D={r,x,y|r,x,y 均为实数}

​ 数据关系:R={|r是半径, 是圆心坐标}

​ 基本操作:

​ Circle(&C,r,x,y)

​ 初始条件:圆C不存在

​ 操作结果:构造一个圆C

​ double Area(C)

​ 初始条件:圆已存在

​ 操作结果:计算面积

​ double Circumference(C)

​ 初始条件:圆已存在

​ 操作结果:计算周长

​ ……

}ADT Circle