八章节 对象行为说明.pptVIP

第八章 对象行为说明;I 实例构造;II 对象状态查询;III 转换操作 Mutators ;$8.2类型相关操作;操作说明子句opretion的语法结构;操作定义子句implementation结构;Persistent type Vertex is public… body [x,y,z:float;] operations declare translate:Vertex-void; declare scale: Vertex-void; declare rotate: float,char-void; declare distance: Vertex-float; declare inOrigin:-bool; … implementation define translate(t)is begin self.x:=self.x+t.x; self.y:=self.y+t.y; self.z:=self.z+t.z; end define translate; … end type Vertex;;类型相关操作的调用;操作调用的约束及self概念;自底向上的类型定义;Persistent type Cuboid is public … body [v1,v2,v3,v4,v5,v6,v7,v8:Vertex; mat:Material;value:float;] Operations declare length:-float; declare width:-float; declare height:-float; declare volume:-float; declare weight:-float; declare translate:Vertex-void code translateVertexCode; declare scale: Vertex-void code scaleCube; declare rotate:float,char-void !!rotation angle and axis as parameters code rotateCube;; Implementation define length is return self.v1.distance(self.v2)!!delegate the computation to vertex v1 define width is return self.v1.distance(self.v4); define height is return self.v1.distance(self.v5); define volume is return self.length*self.width*self.height; define weight is return self.volume*self.mat.specWeight; define translateVertexCode(t) is begin self.v1.translate(t);!! Delegate translate to the Vertex instance v1 … self.v8.translate(t);!! Delegate translate to the Vertex instance v8 end define translateVertexCode; … End type Cuboid ;$8.4 对象封装 Encapsulation;示例：一个cuboid对象实例的转换隐藏;通过封装控制不一致性的出现;类型相关操作包含如下几类操作;O-O对象类型与关系类型在一致性控制的区别;$8.5初始化 Initialization