| <?xml version="1.0" encoding="UTF-8"?> | |
| <xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:ocl4uml="http://www.eclipse.org/ocl/2015/OCLforUML/1" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"> | |
| <uml:Model xmi:id="_zaPfMNQnEeWwkL47yCgHUA" name="Bug458394"> | |
| <packagedElement xmi:type="uml:Class" xmi:id="_1Fk_oNQnEeWwkL47yCgHUA" name="BaseType"/> | |
| <packagedElement xmi:type="uml:Class" xmi:id="_1e0mENQnEeWwkL47yCgHUA" name="DeriveType1"> | |
| <generalization xmi:id="_2NcmoNQnEeWwkL47yCgHUA" general="_1Fk_oNQnEeWwkL47yCgHUA"/> | |
| </packagedElement> | |
| <packagedElement xmi:type="uml:Class" xmi:id="_1wN4ENQnEeWwkL47yCgHUA" name="DeriveType2"> | |
| <generalization xmi:id="_3AHZsNQnEeWwkL47yCgHUA" general="_1Fk_oNQnEeWwkL47yCgHUA"/> | |
| </packagedElement> | |
| <packagedElement xmi:type="uml:Class" xmi:id="_4wekENQnEeWwkL47yCgHUA" name="Class1"> | |
| <ownedRule xmi:id="_-1W3oNQnEeWwkL47yCgHUA" name="Constraint1a"> | |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_DgSVsNQoEeWwkL47yCgHUA"> | |
| <language>OCL</language> | |
| <body>self.Attribute1.oclModelTypes() = self.Attribute2.oclModelTypes()</body> | |
| </specification> | |
| </ownedRule> | |
| <ownedRule xmi:id="_taiUoNQpEeWwkL47yCgHUA" name="Constraint1b"> | |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_uf-SsNQpEeWwkL47yCgHUA"> | |
| <language>OCL</language> | |
| <body>self.Attribute1.oclModelType() = self.Attribute2.oclAsModelType(BaseType).oclModelType()</body> | |
| </specification> | |
| </ownedRule> | |
| <ownedRule xmi:id="_G24EcNWQEeWbHepRGNy3cQ" name="IsModelKindOf"> | |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_G24EcdWQEeWbHepRGNy3cQ"> | |
| <language>OCL</language> | |
| <body>self.Attribute2.oclIsModelKindOf(DeriveType1)</body> | |
| </specification> | |
| </ownedRule> | |
| <ownedRule xmi:id="_Iaf94NWREeWbHepRGNy3cQ" name="ModelTypes"> | |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_Iaf94dWREeWbHepRGNy3cQ"> | |
| <language>OCL</language> | |
| <body>self.Attribute2.oclModelTypes() = Set{DeriveType1}</body> | |
| </specification> | |
| </ownedRule> | |
| <ownedRule xmi:id="_RjSuYNWREeWbHepRGNy3cQ" name="ModelType"> | |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_RjSuYdWREeWbHepRGNy3cQ"> | |
| <language>OCL</language> | |
| <body>self.Attribute2.oclModelType() = DeriveType1</body> | |
| </specification> | |
| </ownedRule> | |
| <ownedAttribute xmi:id="_5OTvkNQnEeWwkL47yCgHUA" name="Attribute1" type="_1Fk_oNQnEeWwkL47yCgHUA"/> | |
| <ownedAttribute xmi:id="_7xkWgNQnEeWwkL47yCgHUA" name="Attribute2" type="_1Fk_oNQnEeWwkL47yCgHUA"/> | |
| <ownedAttribute xmi:id="_FvKLkNQpEeWwkL47yCgHUA" name="Attribute3"> | |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | |
| </ownedAttribute> | |
| </packagedElement> | |
| <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_EYbeoNQoEeWwkL47yCgHUA" name="Class1BadInstance" classifier="_4wekENQnEeWwkL47yCgHUA"> | |
| <slot xmi:id="_Fb8KENQoEeWwkL47yCgHUA" definingFeature="_5OTvkNQnEeWwkL47yCgHUA"> | |
| <value xmi:type="uml:InstanceValue" xmi:id="_XPUFENQoEeWwkL47yCgHUA" type="_1e0mENQnEeWwkL47yCgHUA" instance="_GtNksNQoEeWwkL47yCgHUA"/> | |
| </slot> | |
| <slot xmi:id="_Fb8xItQoEeWwkL47yCgHUA" definingFeature="_7xkWgNQnEeWwkL47yCgHUA"> | |
| <value xmi:type="uml:InstanceValue" xmi:id="_Z9s98NQoEeWwkL47yCgHUA" type="_1wN4ENQnEeWwkL47yCgHUA" instance="_HS5rsNQoEeWwkL47yCgHUA"/> | |
| </slot> | |
| </packagedElement> | |
| <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_GtNksNQoEeWwkL47yCgHUA" name="DeriveType1Instance" classifier="_1e0mENQnEeWwkL47yCgHUA"/> | |
| <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_HS5rsNQoEeWwkL47yCgHUA" name="DeriveType2Instance" classifier="_1wN4ENQnEeWwkL47yCgHUA"/> | |
| <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_UcLU0NSFEeWehax4amlEiA" name="Class1OkInstance" classifier="_4wekENQnEeWwkL47yCgHUA"> | |
| <slot xmi:id="_UcLU0dSFEeWehax4amlEiA" definingFeature="_5OTvkNQnEeWwkL47yCgHUA"> | |
| <value xmi:type="uml:InstanceValue" xmi:id="_UcLU0tSFEeWehax4amlEiA" type="_1e0mENQnEeWwkL47yCgHUA" instance="_GtNksNQoEeWwkL47yCgHUA"/> | |
| </slot> | |
| <slot xmi:id="_UcLU09SFEeWehax4amlEiA" definingFeature="_7xkWgNQnEeWwkL47yCgHUA"> | |
| <value xmi:type="uml:InstanceValue" xmi:id="_UcLU1NSFEeWehax4amlEiA" type="_1wN4ENQnEeWwkL47yCgHUA" instance="_GtNksNQoEeWwkL47yCgHUA"/> | |
| </slot> | |
| </packagedElement> | |
| <profileApplication xmi:id="_W3r50NWJEeWbHepRGNy3cQ"> | |
| <eAnnotations xmi:id="_W31q0NWJEeWbHepRGNy3cQ" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/ocl/2015/OCLforUML/1#/"/> | |
| </eAnnotations> | |
| <appliedProfile href="pathmap://OCL_PROFILES/OCLforUML.profile.uml#_0"/> | |
| </profileApplication> | |
| </uml:Model> | |
| <ocl4uml:Validations xmi:id="_aBbR8NWJEeWbHepRGNy3cQ" base_Package="_zaPfMNQnEeWwkL47yCgHUA" validateInstanceSpecifications="true"/> | |
| </xmi:XMI> |