Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ActionLanguage="http://www.omg.org/spec/ALF/20120827/ActionLanguage-Profile" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xsi:schemaLocation="http://www.omg.org/spec/ALF/20120827/ActionLanguage-Profile pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#_Kv8EIKFXEeS_KNX0nfvIVQ">
  <uml:Model xmi:id="_rSykEIKGEeSFEt9m3bH63A" name="Model">
    <packagedElement xmi:type="uml:Activity" xmi:id="_rao4gIKGEeSFEt9m3bH63A" name="AssertTrue" visibility="protected">
      <ownedComment xmi:type="uml:Comment" xmi:id="_rapflYKGEeSFEt9m3bH63A" annotatedElement="_rao4gIKGEeSFEt9m3bH63A">
        <body>activity AssertTrue(in label: String, in condition: Boolean[0..1]) { if (condition != true) { WriteLine(&quot;FAILED: &quot; + label);
} }</body>
      </ownedComment>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_rao4gYKGEeSFEt9m3bH63A" name="label">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rapfkIKGEeSFEt9m3bH63A" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rapfkYKGEeSFEt9m3bH63A" value="1"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_rapfkoKGEeSFEt9m3bH63A" name="condition">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_rapfk4KGEeSFEt9m3bH63A"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_rapflIKGEeSFEt9m3bH63A" value="1"/>
      </ownedParameter>
    </packagedElement>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_rSykEYKGEeSFEt9m3bH63A">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_rSykEoKGEeSFEt9m3bH63A" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/uml2/5.0.0/UML/Profile/Standard#/"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_PROFILES/Standard.profile.uml#_0"/>
    </profileApplication>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_Eu0p4LeKEeS_zZpc9I-Bsg">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Eu1Q8LeKEeS_zZpc9I-Bsg" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#_Kv8EIKFXEeS_KNX0nfvIVQ"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#ActionLanguage"/>
    </profileApplication>
  </uml:Model>
  <ActionLanguage:TextualRepresentation xmi:id="_rapfloKGEeSFEt9m3bH63A" base_Comment="_rapflYKGEeSFEt9m3bH63A" language="Alf"/>
</xmi:XMI>