| <?xml version="1.0" encoding="UTF-8"?> |
| <xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:UMLRealTime="http://www.eclipse.org/papyrus/umlrt" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"> |
| <uml:Model xmi:id="_xWoXYNkPEea_Gs1dMaVMnw" name="SymbolicReplication2"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1ai4wNkPEea_Gs1dMaVMnw" source="http://www.eclipse.org/papyrus-rt/language/1.0.0"> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_1ajf0NkPEea_Gs1dMaVMnw" key="language" value="umlrt-cpp"/> |
| </eAnnotations> |
| <packagedElement xmi:type="uml:Class" xmi:id="_2drJsNkPEea_Gs1dMaVMnw" name="Top" isActive="true"> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_5njEsNkPEea_Gs1dMaVMnw" name="capsule1" visibility="protected" type="_576LINkPEea_Gs1dMaVMnw" isOrdered="true" aggregation="composite"> |
| <lowerValue xmi:type="uml:OpaqueExpression" xmi:id="_8jcOENkPEea_Gs1dMaVMnw" name="OpaqueExpression2"> |
| <language>C++</language> |
| <body>2*SIZE-1</body> |
| </lowerValue> |
| <upperValue xmi:type="uml:OpaqueExpression" xmi:id="_8isAINkPEea_Gs1dMaVMnw" name="OpaqueExpression1"> |
| <language>C++</language> |
| <body>2*SIZE-1</body> |
| </upperValue> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_920hgNkPEea_Gs1dMaVMnw" name="SIZE" visibility="public"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_BCIm8NkQEea_Gs1dMaVMnw" value="2"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_576LINkPEea_Gs1dMaVMnw" name="Capsule1" isActive="true"/> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_xXf6ENkPEea_Gs1dMaVMnw"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xXjkcNkPEea_Gs1dMaVMnw" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt#/"/> |
| </eAnnotations> |
| <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_RT_PROFILE/uml-rt.profile.uml#_1h74oEeVEeO0lv5O1DTHOQ"/> |
| </profileApplication> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_1cCGgNkPEea_Gs1dMaVMnw"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1cCtkNkPEea_Gs1dMaVMnw" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt/cppproperties#/"/> |
| </eAnnotations> |
| <appliedProfile xmi:type="uml:Profile" href="pathmap://UMLRT_CPP/RTCppProperties.profile.uml#_vl5LALs8EeSTjNEQkASznQ"/> |
| </profileApplication> |
| </uml:Model> |
| <UMLRealTime:Capsule xmi:id="_2fjZANkPEea_Gs1dMaVMnw" base_Class="_2drJsNkPEea_Gs1dMaVMnw"/> |
| <UMLRealTime:CapsulePart xmi:id="_5oRdcNkPEea_Gs1dMaVMnw" base_Property="_5njEsNkPEea_Gs1dMaVMnw"/> |
| <UMLRealTime:Capsule xmi:id="_58WQANkPEea_Gs1dMaVMnw" base_Class="_576LINkPEea_Gs1dMaVMnw"/> |
| </xmi:XMI> |
