11.模型转换技术-QVT-Operation案例.pptVIP

例6:子图片断到子图片断的转换 helper ellipse::decider(in m1:myfirstDiagram, inout m2:myfirstDiagram) { if self-resolveoneIn(ellipse::eTc)-isEmpty() then if m1.find3LinkedNodes(self).nodes-isEmpty() then { ponent+=self.map eTe(); } else { var e1: ellipse =m1.find3LinkedNodes(self).nodes-asSequence()-at(1).oclAsType(ellipse); var e2: ellipse =m1.find3LinkedNodes(self).nodes-asSequence()-at(2).oclAsType(ellipse); var e3: ellipse =self; ponent+=map threeEllipsetoContainer(e1,e2,e3); } endif endif } Helper相对于query的特点是可以修改模型,通过inout 参数 该Helper的目的是决策每一个ellipse节点的转换方式 1.如果该节点以前被转换过,则不再转换 2.如果该节点不属于子图内的节点,则将其转换为输出模型中的一个ellipse节点 3.如果该节点属于子图内的节点,则找到其他两个节点,将其转换为Container节点 例6:子图片断到子图片断的转换 helper myfirstDiagram::find3LinkedNodes(e:ellipse) : nodes:Set(Node), formoutlines:Set(Line),tooutlines:Set(Line){ var renodes: Set(Node) ; var fromlines: Set(Line) ; var tolines: Set(Line) ; ponent-forEach(c1,c2|c1.oclIsTypeOf(ellipse) and c2.oclIsTypeOf(ellipse)){ if e._from.tareget-includes(c1.oclAsType(Node)) and e._from.tareget-includes(c2.oclAsType(Node)) then { renodes+=c1.oclAsType(ellipse); renodes+=c2.oclAsType(ellipse); fromlines+=c1.oclAsType(ellipse)._from; fromlines+=c2.oclAsType(ellipse)._from; fromlines+=e._from; fromlines=fromlines-e._from-select(l|l.tareget-includes(c1.oclAsType(Node)) or l.tareget-includes(c2.oclAsType(Node))); tolines+=c1.oclAsType(ellipse).to; tolines+=c2.oclAsType(ellipse).to; tolines+=e.to; } endif; }; nodes:=renodes; formoutlines:= fromlines; tooutlines:= tolines; } 该helper用于查询子图,由于对模型没有副作用,也可用query替换,输入myfirstDiagram和一个ellipse节点 输出与之形成子图的节点集合和边的集合 例6:子图片断到子图片断的转换 mapping Node::nTn():Node { name:=; } mapping certainernode::cTc():certainernode inherits Node::nTn { sname:=self.sname; } mapping rectangle::cTc():rectangle inherits Node::nTn { } mapping ellipse::eTc(in e1:ellipse,in e2:ellipse,in e3:ellipse):certainernode { init{ result:=Bag{e1,e2,e3}.res