Google Git
Sign in
eclipse / chess / chess / ee01c6f93d9dcbeeeeeb443b40f47554334672aa / . / plugins / contracts / org.polarsys.chess.contracts.transformations / src / org / polarsys / chess / contracts / transformations / main / generateFaultExtensions.emtl
blob: 9a39d25b39be8167b17e7425a9861c762688cf50 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:mtl="http://www.eclipse.org/acceleo/mtl/3.0" xmlns:ocl.ecore="http://www.eclipse.org/ocl/1.1.0/Ecore">
<mtl:Module name="generateFaultExtensions" nsURI="org::polarsys::chess::contracts::transformations::main::generateFaultExtensions" startHeaderPosition="699" endHeaderPosition="1554">
<input>
<takesTypesFrom href="http://www.eclipse.org/uml2/5.0.0/UML#/"/>
</input>
<ownedModuleElement xsi:type="mtl:Template" name="generateFaultExtensions" visibility="Public" main="true">
<init>
<variable name="ErrorModelQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::ErrorModel">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="ErrorQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::ErrorState">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="StuckAtQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::StuckAt">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="StuckAtFixedQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::StuckAtFixed">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="InvertedQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::Inverted">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="RampDownQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::RampDown">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="InternalFaultQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::InternalFault">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
<variable name="ExternalFaultQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<initExpression xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="CHESS::Dependability::ThreatsPropagation::InternalPropagation">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</initExpression>
</variable>
</init>
<body xsi:type="mtl:FileBlock" openMode="OverWrite">
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&lt;fault_extension_info name=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="system" referredVariable="/0/generateFaultExtensions/%/%/system">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot; desc=&quot;Generated by CHESS&quot; smv_file=&quot;"/>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="model" referredVariable="/0/generateFaultExtensions/model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</source>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="_">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String_Class/concat"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="sysName" referredVariable="/0/generateFaultExtensions/sysName">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String_Class/concat"/>
</source>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=".smv">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String_Class/concat"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;>&#xA; &lt;extensions>&#xA;"/>
<body xsi:type="mtl:LetBlock">
<body xsi:type="mtl:LetBlock">
<body xsi:type="mtl:LetBlock">
<body xsi:type="mtl:ForBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;nominal_component_extensions module=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="cl" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/cl">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;>&#xA; &lt;fault_models>&#xA;"/>
<body xsi:type="mtl:ForBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;fault_model name=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorModel" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/errorModel">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;>&#xA; &lt;fault_modes>&#xA;"/>
<body xsi:type="mtl:ForBlock">
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;fault_mode enabled=&quot;yes&quot; probability=&quot;"/>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="errorStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/errorStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="probability">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;>&#xA; &lt;user_info>&#xA; &lt;name>"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&lt;/name>&#xA; &lt;desc>&lt;/desc>&#xA; &lt;/user_info>&#xA;"/>
<body xsi:type="mtl:IfBlock">
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;effects_model name=&quot;StuckAtByReference_D&quot; desc=&quot;&quot;>&#xA; &lt;values>&#xA; &lt;input reads=&quot;term&quot; value=&quot;"/>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="stuckAtStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/stuckAtStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="value">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA;"/>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;output writes=&quot;varout&quot; reads=&quot;input&quot; binds=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot; type=&quot;"/>
<body xsi:type="mtl:QueryInvocation" definition="/0/getTypeNameForProperty">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<argument xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</argument>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA;"/>
<letVariable name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="stuckAtStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/stuckAtStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="property">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Property">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclAsType"/>
</initExpression>
</letVariable>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/values>&#xA; &lt;/effects_model>&#xA;"/>
<letVariable name="stuckAtStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="StuckAtQN" referredVariable="/0/generateFaultExtensions/@init/@variable.2">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</initExpression>
</letVariable>
</body>
<ifExpr xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="StuckAtQN" referredVariable="/0/generateFaultExtensions/@init/@variable.2">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</ifExpr>
<elseIf>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&#x9;&#x9;&#x9; &lt;effects_model name=&quot;Inverted&quot; desc=&quot;&quot;>&#xA; &lt;values>&#xA;"/>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;output writes=&quot;varout&quot; reads=&quot;input&quot; binds=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot; type=&quot;"/>
<body xsi:type="mtl:QueryInvocation" definition="/0/getType">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<argument xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//TypedElement/type"/>
</argument>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA;"/>
<letVariable name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="invertedStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/invertedStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="property">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Property">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclAsType"/>
</initExpression>
</letVariable>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/values>&#xA; &lt;/effects_model>&#xA;"/>
<letVariable name="invertedStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="InvertedQN" referredVariable="/0/generateFaultExtensions/@init/@variable.4">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</initExpression>
</letVariable>
</body>
<ifExpr xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="InvertedQN" referredVariable="/0/generateFaultExtensions/@init/@variable.4">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</ifExpr>
</elseIf>
<elseIf>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&#x9;&#x9;&#x9; &lt;effects_model name=&quot;StuckAtFixed&quot; desc=&quot;&quot;>&#xA; &lt;values>&#xA;"/>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;output writes=&quot;varout&quot; reads=&quot;input&quot; binds=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot; type=&quot;"/>
<body xsi:type="mtl:QueryInvocation" definition="/0/getType">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<argument xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//TypedElement/type"/>
</argument>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA;"/>
<letVariable name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="stuckAtFixedStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/stuckAtFixedStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="property">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Property">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclAsType"/>
</initExpression>
</letVariable>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/values>&#xA; &lt;/effects_model>&#xA;"/>
<letVariable name="stuckAtFixedStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="InvertedQN" referredVariable="/0/generateFaultExtensions/@init/@variable.4">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</initExpression>
</letVariable>
</body>
<ifExpr xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="StuckAtFixedQN" referredVariable="/0/generateFaultExtensions/@init/@variable.3">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</ifExpr>
</elseIf>
<elseIf>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&#x9;&#x9;&#x9; &lt;effects_model name=&quot;RampDown&quot; desc=&quot;&quot;>&#xA; &lt;values>&#xA;&#x9;&#x9;&#x9;&#x9; &lt;input reads=&quot;decr&quot; value=&quot;"/>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="rampDownStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="decr">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA; &lt;input reads=&quot;end_value&quot; value=&quot;"/>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="rampDownStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="endValue">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA;"/>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;output writes=&quot;varout&quot; reads=&quot;input&quot; binds=&quot;"/>
<body xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot; type=&quot;"/>
<body xsi:type="mtl:QueryInvocation" definition="/0/getType">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<argument xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//TypedElement/type"/>
</argument>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="&quot;/>&#xA;"/>
<letVariable name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="rampDownStereo" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="property">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getValue"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Property">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclAsType"/>
</initExpression>
</letVariable>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/values>&#xA; &lt;/effects_model>&#xA;"/>
<letVariable name="rampDownStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="InvertedQN" referredVariable="/0/generateFaultExtensions/@init/@variable.4">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</initExpression>
</letVariable>
</body>
<ifExpr xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="RampDownQN" referredVariable="/0/generateFaultExtensions/@init/@variable.5">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</ifExpr>
</elseIf>
</body>
<body xsi:type="mtl:LetBlock">
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;local_dynamics_model name=&quot;Permanent&quot; desc=&quot;&quot;>&#xA; &lt;events>&#xA; &lt;event type=&quot;output&quot; name=&quot;failure&quot; connected=&quot;no&quot;/>&#xA; &lt;/events>&#xA; &lt;/local_dynamics_model>&#xA;"/>
<letVariable name="tr">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Transition"/>
<initExpression xsi:type="ocl.ecore:IteratorExp" name="any">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Transition"/>
<source xsi:type="ocl.ecore:PropertyCallExp" eType="/19/Set(Transition)">
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//Vertex/incoming"/>
</source>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="fault" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/fault">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Transition"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="InternalFaultQN" referredVariable="/0/generateFaultExtensions/@init/@variable.6">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</source>
<argument xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="fault" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/fault">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Transition"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="ExternalFaultQN" referredVariable="/0/generateFaultExtensions/@init/@variable.7">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean_Class/or"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="fault">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Transition"/>
</iterator>
</initExpression>
</letVariable>
</body>
<letVariable name="errorStereo">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<initExpression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="errorState" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="ErrorQN" referredVariable="/0/generateFaultExtensions/@init/@variable.1">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</initExpression>
</letVariable>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/fault_mode>&#xA;"/>
<loopVariable name="errorState">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</loopVariable>
<iterSet xsi:type="ocl.ecore:IteratorExp" name="select" eType="/19/Bag(State)">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Bag(State)" referredOperation="/1/oclstdlib_Collection(T)_Class/filter">
<source xsi:type="ocl.ecore:IteratorExp" name="collect" eType="/19/Bag(Vertex)">
<source xsi:type="ocl.ecore:PropertyCallExp" eType="/19/Set(Region)">
<source xsi:type="ocl.ecore:VariableExp" name="errorModel" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/errorModel">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine/region"/>
</source>
<body xsi:type="ocl.ecore:PropertyCallExp" eType="/19/Set(Vertex)">
<source xsi:type="ocl.ecore:VariableExp" name="temp1" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect/temp1">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Region"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//Region/subvertex"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="temp1">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Region"/>
</iterator>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/State">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</argument>
</source>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="error" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/error">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="ErrorQN" referredVariable="/0/generateFaultExtensions/@init/@variable.1">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="error">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</iterator>
</iterSet>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/fault_modes>&#xA; &lt;/fault_model>&#xA;"/>
<loopVariable name="errorModel">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</loopVariable>
<iterSet xsi:type="ocl.ecore:IteratorExp" name="select" eType="/19/Set(StateMachine)">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(StateMachine)" referredOperation="/1/oclstdlib_Collection(T)_Class/filter">
<source xsi:type="ocl.ecore:PropertyCallExp" eType="/19/Set(Behavior)">
<source xsi:type="ocl.ecore:VariableExp" name="cl" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/cl">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//BehavioredClassifier/ownedBehavior"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/StateMachine">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</argument>
</source>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="sm" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/sm">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="ErrorModelQN" referredVariable="/0/generateFaultExtensions/@init/@variable.0">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="sm">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</iterator>
</iterSet>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/fault_models>&#xA; &lt;/nominal_component_extensions>&#xA;"/>
<loopVariable name="cl">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</loopVariable>
<iterSet xsi:type="ocl.ecore:VariableExp" name="nominalComponents" eType="/19/Set(Class)" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents"/>
</body>
<body xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=" &lt;/extensions>&#xA;&lt;/fault_extension_info>&#xA;"/>
<letVariable name="nominalComponents" eType="/19/Set(Class)">
<initExpression xsi:type="ocl.ecore:IteratorExp" name="select" eType="/19/Set(Class)">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(Class)" referredOperation="/1/oclstdlib_Collection(T)_Class/filter">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(Element)">
<source xsi:type="ocl.ecore:VariableExp" name="model" referredVariable="/0/generateFaultExtensions/model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/allOwnedElements"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Class">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</argument>
</source>
<body xsi:type="ocl.ecore:IteratorExp" name="exists">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(StateMachine)" referredOperation="/1/oclstdlib_Collection(T)_Class/filter">
<source xsi:type="ocl.ecore:PropertyCallExp" eType="/19/Set(Behavior)">
<source xsi:type="ocl.ecore:VariableExp" name="cl" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/cl">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//BehavioredClassifier/ownedBehavior"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/StateMachine">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</argument>
</source>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(Stereotype)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<item xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
<source xsi:type="ocl.ecore:VariableExp" name="sm" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/sm">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="ErrorModelQN" referredVariable="/0/generateFaultExtensions/@init/@variable.0">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/getAppliedStereotype"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="sm">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</iterator>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="cl">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</iterator>
</initExpression>
</letVariable>
</body>
<letVariable name="systemClasses" eType="/19/Set(Class)">
<initExpression xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(Class)">
<source xsi:type="ocl.ecore:IteratorExp" name="collect" eType="/19/Bag(Class)">
<source xsi:type="ocl.ecore:VariableExp" name="systemProps" eType="/19/Set(Property)" referredVariable="/0/generateFaultExtensions/%/%/%.5/systemProps"/>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
<source xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
<source xsi:type="ocl.ecore:VariableExp" name="pr" referredVariable="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/pr">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//TypedElement/type"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Class">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclAsType"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="pr">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</iterator>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Bag(T)_Class/asSet"/>
</initExpression>
</letVariable>
</body>
<letVariable name="systemProps" eType="/19/Set(Property)">
<initExpression xsi:type="ocl.ecore:IteratorExp" name="select" eType="/19/Set(Property)">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(Property)" referredOperation="/1/oclstdlib_Collection(T)_Class/filter">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(Element)">
<source xsi:type="ocl.ecore:VariableExp" name="system" referredVariable="/0/generateFaultExtensions/%/%/system">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/allOwnedElements"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Property">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</argument>
</source>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
<source xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/generateFaultExtensions/%/%/%.5/systemProps/select/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<referredProperty xsi:type="ecore:EReference" href="http://www.eclipse.org/uml2/5.0.0/UML#//TypedElement/type"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Class">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclIsTypeOf"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</iterator>
</initExpression>
</letVariable>
</body>
<letVariable name="system">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
<initExpression xsi:type="mtl:QueryInvocation" definition="/0/getSystem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
<argument xsi:type="ocl.ecore:VariableExp" name="model" referredVariable="/0/generateFaultExtensions/model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</argument>
<argument xsi:type="ocl.ecore:VariableExp" name="sysQN" referredVariable="/0/generateFaultExtensions/sysQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
</initExpression>
</letVariable>
</body>
<fileUrl xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="model" referredVariable="/0/generateFaultExtensions/model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/name"/>
</source>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="_">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String_Class/concat"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="sysName" referredVariable="/0/generateFaultExtensions/sysName">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String_Class/concat"/>
</source>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol=".fei">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String_Class/concat"/>
</fileUrl>
<charset xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="UTF-8">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</charset>
</body>
<parameter name="model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</parameter>
<parameter name="sysQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</parameter>
<parameter name="sysName">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</parameter>
<parameter name="filename">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</parameter>
</ownedModuleElement>
<ownedModuleElement xsi:type="mtl:Query" name="getSystem" visibility="Public">
<parameter name="model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</parameter>
<parameter name="sysQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</parameter>
<expression xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Sequence(NamedElement)">
<source xsi:type="ocl.ecore:IteratorExp" name="select" eType="/19/Set(NamedElement)">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(NamedElement)" referredOperation="/1/oclstdlib_Collection(T)_Class/filter">
<source xsi:type="ocl.ecore:OperationCallExp" eType="/19/Set(Element)">
<source xsi:type="ocl.ecore:VariableExp" name="self" referredVariable="/67">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element/allOwnedElements"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/NamedElement">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</argument>
</source>
<body xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:OperationCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Set(String)">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL/Annotations">
<details key="IMPLICIT_SET_CONVERSION" value="true"/>
</eAnnotations>
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<item xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="elem" referredVariable="/0/getSystem/%/%/%/select/elem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/qualifiedName"/>
</item>
</part>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/notEmpty"/>
</source>
<argument xsi:type="ocl.ecore:OperationCallExp" referredOperation="/1/oclstdlib_String_Class/equalsIgnoreCase">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<source xsi:type="ocl.ecore:PropertyCallExp">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<source xsi:type="ocl.ecore:VariableExp" name="elem" referredVariable="/0/getSystem/%/%/%/select/elem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</source>
<referredProperty xsi:type="ecore:EAttribute" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement/qualifiedName"/>
</source>
<argument xsi:type="ocl.ecore:VariableExp" name="sysQN" referredVariable="/0/getSystem/sysQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean_Class/and"/>
</body>
<iterator xsi:type="ocl.ecore:Variable" name="elem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</iterator>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Set(T)_Class/asSequence"/>
</source>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Sequence(T)_Class/first"/>
</source>
<argument xsi:type="ocl.ecore:TypeExp" eType="/20/Class">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</argument>
<referredOperation xsi:type="ecore:EOperation" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny_Class/oclAsType"/>
</expression>
<type xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</ownedModuleElement>
<ownedModuleElement xsi:type="mtl:Query" name="getType" visibility="Public">
<parameter name="type">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</parameter>
<expression xsi:type="ocl.ecore:OperationCallExp" referredOperation="/1/oclstdlib_OclAny_Class/invoke">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="self" referredVariable="/70">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</source>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="org.polarsys.chess.contracts.transformations.service.Service">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="getType(org.eclipse.uml2.uml.Type)">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<argument xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Sequence(Type)" kind="Sequence">
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
<item xsi:type="ocl.ecore:VariableExp" name="type" referredVariable="/0/getType/type">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</item>
</part>
</argument>
</expression>
<type xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</ownedModuleElement>
<ownedModuleElement xsi:type="mtl:Query" name="getTypeNameForProperty" visibility="Public">
<parameter name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</parameter>
<expression xsi:type="ocl.ecore:OperationCallExp" referredOperation="/1/oclstdlib_OclAny_Class/invoke">
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<source xsi:type="ocl.ecore:VariableExp" name="self" referredVariable="/73">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</source>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="org.polarsys.chess.contracts.transformations.service.Service">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<argument xsi:type="ocl.ecore:StringLiteralExp" stringSymbol="getTypeNameForProperty(org.eclipse.uml2.uml.Property)">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</argument>
<argument xsi:type="ocl.ecore:CollectionLiteralExp" eType="/19/Sequence(Property)" kind="Sequence">
<part xsi:type="ocl.ecore:CollectionItem">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
<item xsi:type="ocl.ecore:VariableExp" name="prop" referredVariable="/0/getTypeNameForProperty/prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</item>
</part>
</argument>
</expression>
<type xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</ownedModuleElement>
</mtl:Module>
<ecore:EPackage name="additions">
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_String_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eAnnotations>
<eOperations name="equalsIgnoreCase">
<eAnnotations source="MTL non-standard"/>
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Boolean"/>
<eParameters name="other">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_Integer_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Integer"/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_Real_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Real"/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ecore_EObject_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
</eAnnotations>
<eOperations name="generateFaultExtensions">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<contents xsi:type="ocl.ecore:Constraint"/>
</eAnnotations>
<eAnnotations source="MTL" references="/0/generateFaultExtensions"/>
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<eParameters name="model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</eParameters>
<eParameters name="sysQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
<eParameters name="sysName">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
<eParameters name="filename">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
</eOperations>
<eOperations name="getSystem">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<contents xsi:type="ocl.ecore:Constraint"/>
</eAnnotations>
<eAnnotations source="MTL" references="/0/getSystem"/>
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
<eParameters name="model">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</eParameters>
<eParameters name="sysQN">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
</eOperations>
<eOperations name="getType">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<contents xsi:type="ocl.ecore:Constraint"/>
</eAnnotations>
<eAnnotations source="MTL" references="/0/getType"/>
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<eParameters name="type">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</eParameters>
</eOperations>
<eOperations name="getTypeNameForProperty">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<contents xsi:type="ocl.ecore:Constraint"/>
</eAnnotations>
<eAnnotations source="MTL" references="/0/getTypeNameForProperty"/>
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
<eParameters name="prop">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</eParameters>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_OclAny_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
</eAnnotations>
<eOperations name="invoke">
<eAnnotations source="MTL non-standard"/>
<eType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
<eParameters name="class">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
<eParameters name="method">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eParameters>
<eParameters name="arguments">
<eType xsi:type="ocl.ecore:SequenceType" href="http://www.eclipse.org/acceleo/mtl/3.0/mtlnonstdlib.ecore#//Sequence(OclAny)"/>
</eParameters>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_Collection(T)_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Collection(T)"/>
</eAnnotations>
<eOperations name="filter">
<eAnnotations source="MTL non-standard"/>
<eType xsi:type="ocl.ecore:CollectionType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Collection(T)"/>
<eParameters name="filter">
<eType xsi:type="ocl.ecore:TypeType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclType"/>
</eParameters>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_Sequence(T)_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Sequence(T)"/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="oclstdlib_OrderedSet(T)_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OrderedSet(T)"/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="uml_Model_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="uml_Type_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="uml_Property_Class">
<eAnnotations source="http://www.eclipse.org/ocl/1.1.0/OCL">
<references href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</eAnnotations>
</eClassifiers>
</ecore:EPackage>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ecore:EPackage name="collections">
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Element)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Element"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Property)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:BagType" name="Bag(Class)" instanceClassName="org.eclipse.ocl.util.Bag">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Class)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Behavior)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Behavior"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(StateMachine)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Stereotype)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Stereotype"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Region)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Region"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Vertex)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Vertex"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:BagType" name="Bag(Vertex)" instanceClassName="org.eclipse.ocl.util.Bag">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Vertex"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:BagType" name="Bag(State)" instanceClassName="org.eclipse.ocl.util.Bag">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(Transition)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Transition"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(NamedElement)" instanceClassName="java.util.Set">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SetType" name="Set(String)" instanceClassName="java.util.Set">
<elementType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/String"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SequenceType" name="Sequence(NamedElement)" instanceClassName="java.util.List">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SequenceType" name="Sequence(Type)" instanceClassName="java.util.List">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SequenceType" name="Sequence(OclAny)" instanceClassName="java.util.List">
<elementType xsi:type="ocl.ecore:AnyType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/OclAny"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:SequenceType" name="Sequence(Property)" instanceClassName="java.util.List">
<elementType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</eClassifiers>
</ecore:EPackage>
<ecore:EPackage name="types">
<eClassifiers xsi:type="ocl.ecore:TypeType" name="Property">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:TypeType" name="Class">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:TypeType" name="StateMachine">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:TypeType" name="State">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</eClassifiers>
<eClassifiers xsi:type="ocl.ecore:TypeType" name="NamedElement">
<referredType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//NamedElement"/>
</eClassifiers>
</ecore:EPackage>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//State"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//StateMachine"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="i">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Integer"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Class"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="i">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Integer"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="i">
<eType xsi:type="ocl.ecore:PrimitiveType" href="http://www.eclipse.org/ocl/1.1.0/oclstdlib.ecore#/0/Integer"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Model"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Type"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/uml2/5.0.0/UML#//Property"/>
</ocl.ecore:Variable>
<ocl.ecore:Variable name="self">
<eType xsi:type="ecore:EClass" href="http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
</ocl.ecore:Variable>
<ecore:EAnnotation source="positions">
<eAnnotations source="positions.0" references="/0/generateFaultExtensions">
<details key="start" value="775"/>
<details key="end" value="6246"/>
<details key="line" value="22"/>
</eAnnotations>
<eAnnotations source="positions.1" references="/0/generateFaultExtensions/@init">
<details key="start" value="884"/>
<details key="end" value="1538"/>
<details key="line" value="22"/>
</eAnnotations>
<eAnnotations source="positions.2" references="/0/generateFaultExtensions/@init/@variable.0">
<details key="start" value="887"/>
<details key="end" value="965"/>
<details key="line" value="23"/>
</eAnnotations>
<eAnnotations source="positions.3" references="/0/generateFaultExtensions/@init/@variable.0/%">
<details key="start" value="911"/>
<details key="end" value="965"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.4" references="/0/generateFaultExtensions/@init/@variable.1">
<details key="start" value="968"/>
<details key="end" value="1041"/>
<details key="line" value="24"/>
</eAnnotations>
<eAnnotations source="positions.5" references="/0/generateFaultExtensions/@init/@variable.1/%">
<details key="start" value="987"/>
<details key="end" value="1041"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.6" references="/0/generateFaultExtensions/@init/@variable.2">
<details key="start" value="1044"/>
<details key="end" value="1116"/>
<details key="line" value="25"/>
</eAnnotations>
<eAnnotations source="positions.7" references="/0/generateFaultExtensions/@init/@variable.2/%">
<details key="start" value="1065"/>
<details key="end" value="1116"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.8" references="/0/generateFaultExtensions/@init/@variable.3">
<details key="start" value="1119"/>
<details key="end" value="1201"/>
<details key="line" value="26"/>
</eAnnotations>
<eAnnotations source="positions.9" references="/0/generateFaultExtensions/@init/@variable.3/%">
<details key="start" value="1145"/>
<details key="end" value="1201"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.10" references="/0/generateFaultExtensions/@init/@variable.4">
<details key="start" value="1204"/>
<details key="end" value="1278"/>
<details key="line" value="27"/>
</eAnnotations>
<eAnnotations source="positions.11" references="/0/generateFaultExtensions/@init/@variable.4/%">
<details key="start" value="1226"/>
<details key="end" value="1278"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.12" references="/0/generateFaultExtensions/@init/@variable.5">
<details key="start" value="1281"/>
<details key="end" value="1355"/>
<details key="line" value="28"/>
</eAnnotations>
<eAnnotations source="positions.13" references="/0/generateFaultExtensions/@init/@variable.5/%">
<details key="start" value="1303"/>
<details key="end" value="1355"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.14" references="/0/generateFaultExtensions/@init/@variable.6">
<details key="start" value="1358"/>
<details key="end" value="1442"/>
<details key="line" value="29"/>
</eAnnotations>
<eAnnotations source="positions.15" references="/0/generateFaultExtensions/@init/@variable.6/%">
<details key="start" value="1385"/>
<details key="end" value="1442"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.16" references="/0/generateFaultExtensions/@init/@variable.7">
<details key="start" value="1445"/>
<details key="end" value="1535"/>
<details key="line" value="30"/>
</eAnnotations>
<eAnnotations source="positions.17" references="/0/generateFaultExtensions/@init/@variable.7/%">
<details key="start" value="1472"/>
<details key="end" value="1535"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.18" references="/0/generateFaultExtensions/%">
<details key="start" value="1557"/>
<details key="end" value="6234"/>
<details key="line" value="33"/>
</eAnnotations>
<eAnnotations source="positions.19" references="/0/generateFaultExtensions/%/%">
<details key="start" value="1636"/>
<details key="end" value="6226"/>
<details key="line" value="34"/>
</eAnnotations>
<eAnnotations source="positions.20" references="/0/generateFaultExtensions/%/%/%">
<details key="start" value="1683"/>
<details key="end" value="1711"/>
<details key="line" value="35"/>
</eAnnotations>
<eAnnotations source="positions.21" references="/0/generateFaultExtensions/%/%/%.1">
<details key="start" value="1712"/>
<details key="end" value="1723"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.22" references="/0/generateFaultExtensions/%/%/%.1/system">
<details key="start" value="1712"/>
<details key="end" value="1718"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.23" references="/0/generateFaultExtensions/%/%/%.2">
<details key="start" value="1725"/>
<details key="end" value="1763"/>
<details key="line" value="35"/>
</eAnnotations>
<eAnnotations source="positions.24" references="/0/generateFaultExtensions/%/%/%.3">
<details key="start" value="1764"/>
<details key="end" value="1817"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.25" references="/0/generateFaultExtensions/%/%/%.3/%">
<details key="start" value="1764"/>
<details key="end" value="1802"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.26" references="/0/generateFaultExtensions/%/%/%.3/%/%">
<details key="start" value="1764"/>
<details key="end" value="1786"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.27" references="/0/generateFaultExtensions/%/%/%.3/%/%/%">
<details key="start" value="1764"/>
<details key="end" value="1774"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.28" references="/0/generateFaultExtensions/%/%/%.3/%/%/%/model">
<details key="start" value="1764"/>
<details key="end" value="1769"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.29" references="/0/generateFaultExtensions/%/%/%.3/%/%/%.1">
<details key="start" value="1782"/>
<details key="end" value="1785"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.30" references="/0/generateFaultExtensions/%/%/%.3/%/sysName">
<details key="start" value="1794"/>
<details key="end" value="1801"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.31" references="/0/generateFaultExtensions/%/%/%.3/%.1">
<details key="start" value="1810"/>
<details key="end" value="1816"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.32" references="/0/generateFaultExtensions/%/%/%.4">
<details key="start" value="1819"/>
<details key="end" value="1837"/>
<details key="line" value="35"/>
</eAnnotations>
<eAnnotations source="positions.33" references="/0/generateFaultExtensions/%/%/%.5">
<details key="start" value="1837"/>
<details key="end" value="6219"/>
<details key="line" value="37"/>
</eAnnotations>
<eAnnotations source="positions.34" references="/0/generateFaultExtensions/%/%/%.5/%">
<details key="start" value="1974"/>
<details key="end" value="6212"/>
<details key="line" value="38"/>
</eAnnotations>
<eAnnotations source="positions.35" references="/0/generateFaultExtensions/%/%/%.5/%/%">
<details key="start" value="2081"/>
<details key="end" value="6205"/>
<details key="line" value="39"/>
</eAnnotations>
<eAnnotations source="positions.36" references="/0/generateFaultExtensions/%/%/%.5/%/%/%">
<details key="start" value="2303"/>
<details key="end" value="6158"/>
<details key="line" value="41"/>
</eAnnotations>
<eAnnotations source="positions.37" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%">
<details key="start" value="2342"/>
<details key="end" value="2384"/>
<details key="line" value="42"/>
</eAnnotations>
<eAnnotations source="positions.38" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.1">
<details key="start" value="2385"/>
<details key="end" value="2392"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.39" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.1/cl">
<details key="start" value="2385"/>
<details key="end" value="2387"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.40" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.2">
<details key="start" value="2394"/>
<details key="end" value="2418"/>
<details key="line" value="42"/>
</eAnnotations>
<eAnnotations source="positions.41" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3">
<details key="start" value="2421"/>
<details key="end" value="6091"/>
<details key="line" value="44"/>
</eAnnotations>
<eAnnotations source="positions.42" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%">
<details key="start" value="2575"/>
<details key="end" value="2602"/>
<details key="line" value="45"/>
</eAnnotations>
<eAnnotations source="positions.43" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.1">
<details key="start" value="2603"/>
<details key="end" value="2618"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.44" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.1/errorModel">
<details key="start" value="2603"/>
<details key="end" value="2613"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.45" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.2">
<details key="start" value="2620"/>
<details key="end" value="2647"/>
<details key="line" value="45"/>
</eAnnotations>
<eAnnotations source="positions.46" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3">
<details key="start" value="2657"/>
<details key="end" value="6030"/>
<details key="line" value="47"/>
</eAnnotations>
<eAnnotations source="positions.47" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%">
<details key="start" value="2805"/>
<details key="end" value="5987"/>
<details key="line" value="48"/>
</eAnnotations>
<eAnnotations source="positions.48" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%">
<details key="start" value="2879"/>
<details key="end" value="2930"/>
<details key="line" value="49"/>
</eAnnotations>
<eAnnotations source="positions.49" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.1">
<details key="start" value="2931"/>
<details key="end" value="2978"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.50" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.1/errorState">
<details key="start" value="2931"/>
<details key="end" value="2941"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.51" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.1/errorStereo">
<details key="start" value="2951"/>
<details key="end" value="2962"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.52" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.1/%">
<details key="start" value="2964"/>
<details key="end" value="2977"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.53" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.2">
<details key="start" value="2980"/>
<details key="end" value="3031"/>
<details key="line" value="49"/>
</eAnnotations>
<eAnnotations source="positions.54" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.3">
<details key="start" value="3032"/>
<details key="end" value="3047"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.55" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.3/errorState">
<details key="start" value="3032"/>
<details key="end" value="3042"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.56" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.4">
<details key="start" value="3049"/>
<details key="end" value="3114"/>
<details key="line" value="51"/>
</eAnnotations>
<eAnnotations source="positions.57" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5">
<details key="start" value="3119"/>
<details key="end" value="5531"/>
<details key="line" value="54"/>
</eAnnotations>
<eAnnotations source="positions.58" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%">
<details key="start" value="3188"/>
<details key="end" value="3754"/>
<details key="line" value="55"/>
</eAnnotations>
<eAnnotations source="positions.59" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%">
<details key="start" value="3266"/>
<details key="end" value="3402"/>
<details key="line" value="56"/>
</eAnnotations>
<eAnnotations source="positions.60" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.1">
<details key="start" value="3403"/>
<details key="end" value="3446"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.61" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.1/errorState">
<details key="start" value="3403"/>
<details key="end" value="3413"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.62" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.1/stuckAtStereo">
<details key="start" value="3423"/>
<details key="end" value="3436"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.63" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.1/%">
<details key="start" value="3438"/>
<details key="end" value="3445"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.64" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.2">
<details key="start" value="3448"/>
<details key="end" value="3452"/>
<details key="line" value="58"/>
</eAnnotations>
<eAnnotations source="positions.65" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3">
<details key="start" value="3458"/>
<details key="end" value="3685"/>
<details key="line" value="59"/>
</eAnnotations>
<eAnnotations source="positions.66" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%">
<details key="start" value="3554"/>
<details key="end" value="3617"/>
<details key="line" value="59"/>
</eAnnotations>
<eAnnotations source="positions.67" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%.1">
<details key="start" value="3618"/>
<details key="end" value="3627"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.68" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%.1/prop">
<details key="start" value="3618"/>
<details key="end" value="3622"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.69" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%.2">
<details key="start" value="3629"/>
<details key="end" value="3637"/>
<details key="line" value="60"/>
</eAnnotations>
<eAnnotations source="positions.70" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%.3">
<details key="start" value="3638"/>
<details key="end" value="3666"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.71" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%.3/prop">
<details key="start" value="3661"/>
<details key="end" value="3665"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.72" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/%.4">
<details key="start" value="3668"/>
<details key="end" value="3672"/>
<details key="line" value="60"/>
</eAnnotations>
<eAnnotations source="positions.73" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop">
<details key="start" value="3463"/>
<details key="end" value="3547"/>
<details key="line" value="59"/>
</eAnnotations>
<eAnnotations source="positions.74" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop/%">
<details key="start" value="3482"/>
<details key="end" value="3548"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.75" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop/%/%">
<details key="start" value="3482"/>
<details key="end" value="3528"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.76" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop/%/%/errorState">
<details key="start" value="3482"/>
<details key="end" value="3492"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.77" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop/%/%/stuckAtStereo">
<details key="start" value="3502"/>
<details key="end" value="3515"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.78" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop/%/%/%">
<details key="start" value="3517"/>
<details key="end" value="3527"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.79" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.3/prop/%/%.1">
<details key="start" value="3539"/>
<details key="end" value="3547"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.80" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/%.4">
<details key="start" value="3686"/>
<details key="end" value="3743"/>
<details key="line" value="62"/>
</eAnnotations>
<eAnnotations source="positions.81" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/stuckAtStereo">
<details key="start" value="3193"/>
<details key="end" value="3264"/>
<details key="line" value="55"/>
</eAnnotations>
<eAnnotations source="positions.82" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/stuckAtStereo/%">
<details key="start" value="3223"/>
<details key="end" value="3265"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.83" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/stuckAtStereo/%/errorState">
<details key="start" value="3223"/>
<details key="end" value="3233"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.84" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%/stuckAtStereo/%/StuckAtQN">
<details key="start" value="3255"/>
<details key="end" value="3264"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.85" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.1">
<details key="start" value="3123"/>
<details key="end" value="3179"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.86" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.87" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.1/%/%/%">
<details key="start" value="3124"/>
<details key="end" value="3166"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.88" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.1/%/%/%/errorState">
<details key="start" value="3124"/>
<details key="end" value="3134"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.89" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.1/%/%/%/StuckAtQN">
<details key="start" value="3156"/>
<details key="end" value="3165"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.90" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2">
<details key="start" value="3760"/>
<details key="end" value="4281"/>
<details key="line" value="65"/>
</eAnnotations>
<eAnnotations source="positions.91" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%">
<details key="start" value="3832"/>
<details key="end" value="4275"/>
<details key="line" value="66"/>
</eAnnotations>
<eAnnotations source="positions.92" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%">
<details key="start" value="3912"/>
<details key="end" value="3982"/>
<details key="line" value="67"/>
</eAnnotations>
<eAnnotations source="positions.93" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1">
<details key="start" value="3988"/>
<details key="end" value="4206"/>
<details key="line" value="69"/>
</eAnnotations>
<eAnnotations source="positions.94" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%">
<details key="start" value="4085"/>
<details key="end" value="4148"/>
<details key="line" value="69"/>
</eAnnotations>
<eAnnotations source="positions.95" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.1">
<details key="start" value="4149"/>
<details key="end" value="4158"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.96" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.1/prop">
<details key="start" value="4149"/>
<details key="end" value="4153"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.97" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.2">
<details key="start" value="4160"/>
<details key="end" value="4168"/>
<details key="line" value="70"/>
</eAnnotations>
<eAnnotations source="positions.98" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.3">
<details key="start" value="4169"/>
<details key="end" value="4187"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.99" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.3/%">
<details key="start" value="4177"/>
<details key="end" value="4186"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.100" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.3/%/prop">
<details key="start" value="4177"/>
<details key="end" value="4181"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.101" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/%.4">
<details key="start" value="4189"/>
<details key="end" value="4193"/>
<details key="line" value="70"/>
</eAnnotations>
<eAnnotations source="positions.102" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop">
<details key="start" value="3993"/>
<details key="end" value="4078"/>
<details key="line" value="69"/>
</eAnnotations>
<eAnnotations source="positions.103" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop/%">
<details key="start" value="4012"/>
<details key="end" value="4079"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.104" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop/%/%">
<details key="start" value="4012"/>
<details key="end" value="4059"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.105" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop/%/%/errorState">
<details key="start" value="4012"/>
<details key="end" value="4022"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.106" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop/%/%/invertedStereo">
<details key="start" value="4032"/>
<details key="end" value="4046"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.107" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop/%/%/%">
<details key="start" value="4048"/>
<details key="end" value="4058"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.108" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.1/prop/%/%.1">
<details key="start" value="4070"/>
<details key="end" value="4078"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.109" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/%.2">
<details key="start" value="4207"/>
<details key="end" value="4264"/>
<details key="line" value="72"/>
</eAnnotations>
<eAnnotations source="positions.110" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/invertedStereo">
<details key="start" value="3837"/>
<details key="end" value="3910"/>
<details key="line" value="66"/>
</eAnnotations>
<eAnnotations source="positions.111" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/invertedStereo/%">
<details key="start" value="3868"/>
<details key="end" value="3911"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.112" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/invertedStereo/%/errorState">
<details key="start" value="3868"/>
<details key="end" value="3878"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.113" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%/invertedStereo/%/InvertedQN">
<details key="start" value="3900"/>
<details key="end" value="3910"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.114" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%.1">
<details key="start" value="3768"/>
<details key="end" value="3825"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.115" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.116" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%.1/%/%/%">
<details key="start" value="3769"/>
<details key="end" value="3812"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.117" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%.1/%/%/%/errorState">
<details key="start" value="3769"/>
<details key="end" value="3779"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.118" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.2/%.1/%/%/%/InvertedQN">
<details key="start" value="3801"/>
<details key="end" value="3811"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.119" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3">
<details key="start" value="4281"/>
<details key="end" value="4818"/>
<details key="line" value="75"/>
</eAnnotations>
<eAnnotations source="positions.120" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%">
<details key="start" value="4357"/>
<details key="end" value="4812"/>
<details key="line" value="76"/>
</eAnnotations>
<eAnnotations source="positions.121" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%">
<details key="start" value="4441"/>
<details key="end" value="4515"/>
<details key="line" value="77"/>
</eAnnotations>
<eAnnotations source="positions.122" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1">
<details key="start" value="4521"/>
<details key="end" value="4743"/>
<details key="line" value="79"/>
</eAnnotations>
<eAnnotations source="positions.123" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%">
<details key="start" value="4622"/>
<details key="end" value="4685"/>
<details key="line" value="79"/>
</eAnnotations>
<eAnnotations source="positions.124" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.1">
<details key="start" value="4686"/>
<details key="end" value="4695"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.125" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.1/prop">
<details key="start" value="4686"/>
<details key="end" value="4690"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.126" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.2">
<details key="start" value="4697"/>
<details key="end" value="4705"/>
<details key="line" value="80"/>
</eAnnotations>
<eAnnotations source="positions.127" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.3">
<details key="start" value="4706"/>
<details key="end" value="4724"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.128" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.3/%">
<details key="start" value="4714"/>
<details key="end" value="4723"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.129" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.3/%/prop">
<details key="start" value="4714"/>
<details key="end" value="4718"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.130" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/%.4">
<details key="start" value="4726"/>
<details key="end" value="4730"/>
<details key="line" value="80"/>
</eAnnotations>
<eAnnotations source="positions.131" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop">
<details key="start" value="4526"/>
<details key="end" value="4615"/>
<details key="line" value="79"/>
</eAnnotations>
<eAnnotations source="positions.132" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop/%">
<details key="start" value="4545"/>
<details key="end" value="4616"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.133" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop/%/%">
<details key="start" value="4545"/>
<details key="end" value="4596"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.134" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop/%/%/errorState">
<details key="start" value="4545"/>
<details key="end" value="4555"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.135" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop/%/%/stuckAtFixedStereo">
<details key="start" value="4565"/>
<details key="end" value="4583"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.136" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop/%/%/%">
<details key="start" value="4585"/>
<details key="end" value="4595"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.137" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.1/prop/%/%.1">
<details key="start" value="4607"/>
<details key="end" value="4615"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.138" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/%.2">
<details key="start" value="4744"/>
<details key="end" value="4801"/>
<details key="line" value="82"/>
</eAnnotations>
<eAnnotations source="positions.139" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/stuckAtFixedStereo">
<details key="start" value="4362"/>
<details key="end" value="4439"/>
<details key="line" value="76"/>
</eAnnotations>
<eAnnotations source="positions.140" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/stuckAtFixedStereo/%">
<details key="start" value="4397"/>
<details key="end" value="4440"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.141" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/stuckAtFixedStereo/%/errorState">
<details key="start" value="4397"/>
<details key="end" value="4407"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.142" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%/stuckAtFixedStereo/%/InvertedQN">
<details key="start" value="4429"/>
<details key="end" value="4439"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.143" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%.1">
<details key="start" value="4289"/>
<details key="end" value="4350"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.144" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.145" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%.1/%/%/%">
<details key="start" value="4290"/>
<details key="end" value="4337"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.146" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%.1/%/%/%/errorState">
<details key="start" value="4290"/>
<details key="end" value="4300"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.147" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.3/%.1/%/%/%/StuckAtFixedQN">
<details key="start" value="4322"/>
<details key="end" value="4336"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.148" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4">
<details key="start" value="4818"/>
<details key="end" value="5526"/>
<details key="line" value="85"/>
</eAnnotations>
<eAnnotations source="positions.149" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%">
<details key="start" value="4890"/>
<details key="end" value="5520"/>
<details key="line" value="86"/>
</eAnnotations>
<eAnnotations source="positions.150" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%">
<details key="start" value="4970"/>
<details key="end" value="5073"/>
<details key="line" value="87"/>
</eAnnotations>
<eAnnotations source="positions.151" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.1">
<details key="start" value="5074"/>
<details key="end" value="5117"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.152" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.1/errorState">
<details key="start" value="5074"/>
<details key="end" value="5084"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.153" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.1/rampDownStereo">
<details key="start" value="5094"/>
<details key="end" value="5108"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.154" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.1/%">
<details key="start" value="5110"/>
<details key="end" value="5116"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.155" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.2">
<details key="start" value="5119"/>
<details key="end" value="5173"/>
<details key="line" value="89"/>
</eAnnotations>
<eAnnotations source="positions.156" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.3">
<details key="start" value="5174"/>
<details key="end" value="5221"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.157" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.3/errorState">
<details key="start" value="5174"/>
<details key="end" value="5184"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.158" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.3/rampDownStereo">
<details key="start" value="5194"/>
<details key="end" value="5208"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.159" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.3/%">
<details key="start" value="5210"/>
<details key="end" value="5220"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.160" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.4">
<details key="start" value="5223"/>
<details key="end" value="5227"/>
<details key="line" value="90"/>
</eAnnotations>
<eAnnotations source="positions.161" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5">
<details key="start" value="5233"/>
<details key="end" value="5451"/>
<details key="line" value="91"/>
</eAnnotations>
<eAnnotations source="positions.162" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%">
<details key="start" value="5330"/>
<details key="end" value="5393"/>
<details key="line" value="91"/>
</eAnnotations>
<eAnnotations source="positions.163" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.1">
<details key="start" value="5394"/>
<details key="end" value="5403"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.164" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.1/prop">
<details key="start" value="5394"/>
<details key="end" value="5398"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.165" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.2">
<details key="start" value="5405"/>
<details key="end" value="5413"/>
<details key="line" value="92"/>
</eAnnotations>
<eAnnotations source="positions.166" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.3">
<details key="start" value="5414"/>
<details key="end" value="5432"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.167" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.3/%">
<details key="start" value="5422"/>
<details key="end" value="5431"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.168" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.3/%/prop">
<details key="start" value="5422"/>
<details key="end" value="5426"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.169" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/%.4">
<details key="start" value="5434"/>
<details key="end" value="5438"/>
<details key="line" value="92"/>
</eAnnotations>
<eAnnotations source="positions.170" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop">
<details key="start" value="5238"/>
<details key="end" value="5323"/>
<details key="line" value="91"/>
</eAnnotations>
<eAnnotations source="positions.171" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop/%">
<details key="start" value="5257"/>
<details key="end" value="5324"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.172" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop/%/%">
<details key="start" value="5257"/>
<details key="end" value="5304"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.173" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop/%/%/errorState">
<details key="start" value="5257"/>
<details key="end" value="5267"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.174" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop/%/%/rampDownStereo">
<details key="start" value="5277"/>
<details key="end" value="5291"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.175" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop/%/%/%">
<details key="start" value="5293"/>
<details key="end" value="5303"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.176" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.5/prop/%/%.1">
<details key="start" value="5315"/>
<details key="end" value="5323"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.177" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/%.6">
<details key="start" value="5452"/>
<details key="end" value="5509"/>
<details key="line" value="94"/>
</eAnnotations>
<eAnnotations source="positions.178" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo">
<details key="start" value="4895"/>
<details key="end" value="4968"/>
<details key="line" value="86"/>
</eAnnotations>
<eAnnotations source="positions.179" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo/%">
<details key="start" value="4926"/>
<details key="end" value="4969"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.180" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo/%/errorState">
<details key="start" value="4926"/>
<details key="end" value="4936"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.181" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%/rampDownStereo/%/InvertedQN">
<details key="start" value="4958"/>
<details key="end" value="4968"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.182" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%.1">
<details key="start" value="4826"/>
<details key="end" value="4883"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.183" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.184" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%.1/%/%/%">
<details key="start" value="4827"/>
<details key="end" value="4870"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.185" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%.1/%/%/%/errorState">
<details key="start" value="4827"/>
<details key="end" value="4837"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.186" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.5/%.4/%.1/%/%/%/RampDownQN">
<details key="start" value="4859"/>
<details key="end" value="4869"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.187" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6">
<details key="start" value="5537"/>
<details key="end" value="5975"/>
<details key="line" value="98"/>
</eAnnotations>
<eAnnotations source="positions.188" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/%">
<details key="start" value="5742"/>
<details key="end" value="5964"/>
<details key="line" value="99"/>
</eAnnotations>
<eAnnotations source="positions.189" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr">
<details key="start" value="5542"/>
<details key="end" value="5739"/>
<details key="line" value="98"/>
</eAnnotations>
<eAnnotations source="positions.190" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any">
<details key="start" value="5561"/>
<details key="end" value="5740"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.191" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%">
<details key="start" value="5561"/>
<details key="end" value="5580"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.192" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%/errorState">
<details key="start" value="5561"/>
<details key="end" value="5571"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.193" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1">
<details key="start" value="5607"/>
<details key="end" value="5739"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.194" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%">
<details key="start" value="5607"/>
<details key="end" value="5662"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.195" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.196" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%/%/%/%">
<details key="start" value="5607"/>
<details key="end" value="5650"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.197" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%/%/%/%/fault">
<details key="start" value="5607"/>
<details key="end" value="5612"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.198" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%/%/%/%/InternalFaultQN">
<details key="start" value="5634"/>
<details key="end" value="5649"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.199" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%.1">
<details key="start" value="5684"/>
<details key="end" value="5739"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.200" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.201" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%.1/%/%/%">
<details key="start" value="5684"/>
<details key="end" value="5727"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.202" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%.1/%/%/%/fault">
<details key="start" value="5684"/>
<details key="end" value="5689"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.203" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/%.1/%.1/%/%/%/ExternalFaultQN">
<details key="start" value="5711"/>
<details key="end" value="5726"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.204" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/%.6/tr/any/fault">
<details key="start" value="5586"/>
<details key="end" value="5604"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.205" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/errorStereo">
<details key="start" value="2810"/>
<details key="end" value="2877"/>
<details key="line" value="48"/>
</eAnnotations>
<eAnnotations source="positions.206" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/errorStereo/%">
<details key="start" value="2838"/>
<details key="end" value="2878"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.207" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/errorStereo/%/errorState">
<details key="start" value="2838"/>
<details key="end" value="2848"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.208" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%/errorStereo/%/ErrorQN">
<details key="start" value="2870"/>
<details key="end" value="2877"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.209" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/%.1">
<details key="start" value="5988"/>
<details key="end" value="6014"/>
<details key="line" value="107"/>
</eAnnotations>
<eAnnotations source="positions.210" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/errorState">
<details key="start" value="2663"/>
<details key="end" value="2681"/>
<details key="line" value="47"/>
</eAnnotations>
<eAnnotations source="positions.211" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select">
<details key="start" value="2684"/>
<details key="end" value="2799"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.212" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%">
<details key="start" value="2684"/>
<details key="end" value="2726"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.213" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect">
<details key="start" value="2684"/>
<details key="end" value="2711"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.214" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect/%">
<details key="start" value="2684"/>
<details key="end" value="2701"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.215" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect/%/errorModel">
<details key="start" value="2684"/>
<details key="end" value="2694"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.216" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect/%.1">
<details key="start" value="2702"/>
<details key="end" value="2711"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.217" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect/%.1/temp1">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.218" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/collect/temp1">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.219" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%/%">
<details key="start" value="2720"/>
<details key="end" value="2725"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.220" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%.1">
<details key="start" value="2751"/>
<details key="end" value="2798"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.221" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.222" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%.1/%/%/%">
<details key="start" value="2751"/>
<details key="end" value="2786"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.223" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%.1/%/%/%/error">
<details key="start" value="2751"/>
<details key="end" value="2756"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.224" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/%.1/%/%/%/ErrorQN">
<details key="start" value="2778"/>
<details key="end" value="2785"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.225" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.3/select/error">
<details key="start" value="2735"/>
<details key="end" value="2748"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.226" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/%.4">
<details key="start" value="6031"/>
<details key="end" value="6079"/>
<details key="line" value="109"/>
</eAnnotations>
<eAnnotations source="positions.227" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/errorModel">
<details key="start" value="2427"/>
<details key="end" value="2452"/>
<details key="line" value="44"/>
</eAnnotations>
<eAnnotations source="positions.228" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select">
<details key="start" value="2455"/>
<details key="end" value="2572"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.229" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%">
<details key="start" value="2455"/>
<details key="end" value="2493"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.230" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%/%">
<details key="start" value="2455"/>
<details key="end" value="2471"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.231" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%/%/cl">
<details key="start" value="2455"/>
<details key="end" value="2457"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.232" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%/%.1">
<details key="start" value="2480"/>
<details key="end" value="2492"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.233" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%.1">
<details key="start" value="2522"/>
<details key="end" value="2571"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.234" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.235" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%.1/%/%/%">
<details key="start" value="2522"/>
<details key="end" value="2559"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.236" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%.1/%/%/%/sm">
<details key="start" value="2522"/>
<details key="end" value="2524"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.237" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/%.1/%/%/%/ErrorModelQN">
<details key="start" value="2546"/>
<details key="end" value="2558"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.238" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.3/select/sm">
<details key="start" value="2502"/>
<details key="end" value="2519"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.239" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/%.4">
<details key="start" value="6092"/>
<details key="end" value="6150"/>
<details key="line" value="112"/>
</eAnnotations>
<eAnnotations source="positions.240" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/cl">
<details key="start" value="2309"/>
<details key="end" value="2319"/>
<details key="line" value="41"/>
</eAnnotations>
<eAnnotations source="positions.241" references="/0/generateFaultExtensions/%/%/%.5/%/%/%/nominalComponents">
<details key="start" value="2322"/>
<details key="end" value="2339"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.242" references="/0/generateFaultExtensions/%/%/%.5/%/%/%.1">
<details key="start" value="6159"/>
<details key="end" value="6199"/>
<details key="line" value="115"/>
</eAnnotations>
<eAnnotations source="positions.243" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents">
<details key="start" value="2086"/>
<details key="end" value="2299"/>
<details key="line" value="39"/>
</eAnnotations>
<eAnnotations source="positions.244" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select">
<details key="start" value="2120"/>
<details key="end" value="2300"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.245" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/%">
<details key="start" value="2120"/>
<details key="end" value="2159"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.246" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/%/%">
<details key="start" value="2120"/>
<details key="end" value="2144"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.247" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/%/%/model">
<details key="start" value="2120"/>
<details key="end" value="2125"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.248" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/%/%.1">
<details key="start" value="2153"/>
<details key="end" value="2158"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.249" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists">
<details key="start" value="2181"/>
<details key="end" value="2299"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.250" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%">
<details key="start" value="2181"/>
<details key="end" value="2219"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.251" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%/%">
<details key="start" value="2181"/>
<details key="end" value="2197"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.252" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%/%/cl">
<details key="start" value="2181"/>
<details key="end" value="2183"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.253" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%/%.1">
<details key="start" value="2206"/>
<details key="end" value="2218"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.254" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%.1">
<details key="start" value="2249"/>
<details key="end" value="2298"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.255" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%.1/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.256" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%.1/%/%/%">
<details key="start" value="2249"/>
<details key="end" value="2286"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.257" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%.1/%/%/%/sm">
<details key="start" value="2249"/>
<details key="end" value="2251"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.258" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/%.1/%/%/%/ErrorModelQN">
<details key="start" value="2273"/>
<details key="end" value="2285"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.259" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/exists/sm">
<details key="start" value="2229"/>
<details key="end" value="2246"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.260" references="/0/generateFaultExtensions/%/%/%.5/%/%/nominalComponents/select/cl">
<details key="start" value="2168"/>
<details key="end" value="2178"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.261" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses">
<details key="start" value="1979"/>
<details key="end" value="2079"/>
<details key="line" value="38"/>
</eAnnotations>
<eAnnotations source="positions.262" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%">
<details key="start" value="2009"/>
<details key="end" value="2080"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.263" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect">
<details key="start" value="2009"/>
<details key="end" value="2071"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.264" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/systemProps">
<details key="start" value="2009"/>
<details key="end" value="2020"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.265" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/%">
<details key="start" value="2046"/>
<details key="end" value="2070"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.266" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/%/%">
<details key="start" value="2046"/>
<details key="end" value="2053"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.267" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/%/%/pr">
<details key="start" value="2046"/>
<details key="end" value="2048"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.268" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/%/%.1">
<details key="start" value="2064"/>
<details key="end" value="2069"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.269" references="/0/generateFaultExtensions/%/%/%.5/%/systemClasses/%/collect/pr">
<details key="start" value="2030"/>
<details key="end" value="2043"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.270" references="/0/generateFaultExtensions/%/%/%.5/systemProps">
<details key="start" value="1842"/>
<details key="end" value="1971"/>
<details key="line" value="37"/>
</eAnnotations>
<eAnnotations source="positions.271" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select">
<details key="start" value="1873"/>
<details key="end" value="1972"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.272" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%">
<details key="start" value="1873"/>
<details key="end" value="1916"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.273" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%/%">
<details key="start" value="1873"/>
<details key="end" value="1898"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.274" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%/%/system">
<details key="start" value="1873"/>
<details key="end" value="1879"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.275" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%/%.1">
<details key="start" value="1907"/>
<details key="end" value="1915"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.276" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%.1">
<details key="start" value="1943"/>
<details key="end" value="1971"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.277" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%.1/%">
<details key="start" value="1943"/>
<details key="end" value="1952"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.278" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%.1/%/prop">
<details key="start" value="1943"/>
<details key="end" value="1947"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.279" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/%.1/%.1">
<details key="start" value="1965"/>
<details key="end" value="1970"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.280" references="/0/generateFaultExtensions/%/%/%.5/systemProps/select/prop">
<details key="start" value="1925"/>
<details key="end" value="1940"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.281" references="/0/generateFaultExtensions/%/%/system">
<details key="start" value="1641"/>
<details key="end" value="1681"/>
<details key="line" value="34"/>
</eAnnotations>
<eAnnotations source="positions.282" references="/0/generateFaultExtensions/%/%/system/%">
<details key="start" value="1659"/>
<details key="end" value="1682"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.283" references="/0/generateFaultExtensions/%/%/system/%/model">
<details key="start" value="1669"/>
<details key="end" value="1674"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.284" references="/0/generateFaultExtensions/%/%/system/%/sysQN">
<details key="start" value="1676"/>
<details key="end" value="1681"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.285" references="/0/generateFaultExtensions/%/%.1">
<details key="start" value="1564"/>
<details key="end" value="1617"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.286" references="/0/generateFaultExtensions/%/%.1/%">
<details key="start" value="1564"/>
<details key="end" value="1602"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.287" references="/0/generateFaultExtensions/%/%.1/%/%">
<details key="start" value="1564"/>
<details key="end" value="1586"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.288" references="/0/generateFaultExtensions/%/%.1/%/%/%">
<details key="start" value="1564"/>
<details key="end" value="1574"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.289" references="/0/generateFaultExtensions/%/%.1/%/%/%/model">
<details key="start" value="1564"/>
<details key="end" value="1569"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.290" references="/0/generateFaultExtensions/%/%.1/%/%/%.1">
<details key="start" value="1582"/>
<details key="end" value="1585"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.291" references="/0/generateFaultExtensions/%/%.1/%/sysName">
<details key="start" value="1594"/>
<details key="end" value="1601"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.292" references="/0/generateFaultExtensions/%/%.1/%.1">
<details key="start" value="1610"/>
<details key="end" value="1616"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.293" references="/0/generateFaultExtensions/%/%.2">
<details key="start" value="1626"/>
<details key="end" value="1633"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.294" references="/0/generateFaultExtensions/model">
<details key="start" value="816"/>
<details key="end" value="829"/>
<details key="line" value="22"/>
</eAnnotations>
<eAnnotations source="positions.295" references="/0/generateFaultExtensions/sysQN">
<details key="start" value="831"/>
<details key="end" value="845"/>
<details key="line" value="22"/>
</eAnnotations>
<eAnnotations source="positions.296" references="/0/generateFaultExtensions/sysName">
<details key="start" value="848"/>
<details key="end" value="864"/>
<details key="line" value="22"/>
</eAnnotations>
<eAnnotations source="positions.297" references="/0/generateFaultExtensions/filename">
<details key="start" value="866"/>
<details key="end" value="883"/>
<details key="line" value="22"/>
</eAnnotations>
<eAnnotations source="positions.298" references="/0/getSystem">
<details key="start" value="6249"/>
<details key="end" value="6511"/>
<details key="line" value="125"/>
</eAnnotations>
<eAnnotations source="positions.299" references="/0/getSystem/model">
<details key="start" value="6273"/>
<details key="end" value="6286"/>
<details key="line" value="125"/>
</eAnnotations>
<eAnnotations source="positions.300" references="/0/getSystem/sysQN">
<details key="start" value="6288"/>
<details key="end" value="6302"/>
<details key="line" value="125"/>
</eAnnotations>
<eAnnotations source="positions.301" references="/0/getSystem/%">
<details key="start" value="6314"/>
<details key="end" value="6509"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.302" references="/0/getSystem/%/%">
<details key="start" value="6314"/>
<details key="end" value="6492"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.303" references="/0/getSystem/%/%/%">
<details key="start" value="6314"/>
<details key="end" value="6483"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.304" references="/0/getSystem/%/%/%/select">
<details key="start" value="6314"/>
<details key="end" value="6469"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.305" references="/0/getSystem/%/%/%/select/%">
<details key="start" value="6314"/>
<details key="end" value="6359"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.306" references="/0/getSystem/%/%/%/select/%/%">
<details key="start" value="6314"/>
<details key="end" value="6337"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.307" references="/0/getSystem/%/%/%/select/%/%/self">
<details key="start" value="6314"/>
<details key="end" value="6318"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.308" references="/0/getSystem/%/%/%/select/%/%.1">
<details key="start" value="6346"/>
<details key="end" value="6358"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.309" references="/0/getSystem/%/%/%/select/%.1">
<details key="start" value="6391"/>
<details key="end" value="6468"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.310" references="/0/getSystem/%/%/%/select/%.1/%">
<details key="start" value="6391"/>
<details key="end" value="6421"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.311" references="/0/getSystem/%/%/%/select/%.1/%/%">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.312" references="/0/getSystem/%/%/%/select/%.1/%/%/%/%">
<details key="start" value="6391"/>
<details key="end" value="6409"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.313" references="/0/getSystem/%/%/%/select/%.1/%/%/%/%/elem">
<details key="start" value="6391"/>
<details key="end" value="6395"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.314" references="/0/getSystem/%/%/%/select/%.1/%.1">
<details key="start" value="6426"/>
<details key="end" value="6468"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.315" references="/0/getSystem/%/%/%/select/%.1/%.1/%">
<details key="start" value="6426"/>
<details key="end" value="6444"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.316" references="/0/getSystem/%/%/%/select/%.1/%.1/%/elem">
<details key="start" value="6426"/>
<details key="end" value="6430"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.317" references="/0/getSystem/%/%/%/select/%.1/%.1/sysQN">
<details key="start" value="6462"/>
<details key="end" value="6467"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.318" references="/0/getSystem/%/%/%/select/elem">
<details key="start" value="6369"/>
<details key="end" value="6388"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.319" references="/0/getSystem/%/%.1">
<details key="start" value="6503"/>
<details key="end" value="6508"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.320" references="/0/getType">
<details key="start" value="6513"/>
<details key="end" value="6685"/>
<details key="line" value="128"/>
</eAnnotations>
<eAnnotations source="positions.321" references="/0/getType/type">
<details key="start" value="6535"/>
<details key="end" value="6546"/>
<details key="line" value="128"/>
</eAnnotations>
<eAnnotations source="positions.322" references="/0/getType/%">
<details key="start" value="6559"/>
<details key="end" value="6683"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.323" references="/0/getType/%/self">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.324" references="/0/getType/%/%">
<details key="start" value="6566"/>
<details key="end" value="6628"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.325" references="/0/getType/%/%.1">
<details key="start" value="6630"/>
<details key="end" value="6666"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.326" references="/0/getType/%/%.2">
<details key="start" value="6668"/>
<details key="end" value="6682"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.327" references="/0/getType/%/%.2/%/type">
<details key="start" value="6677"/>
<details key="end" value="6681"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.328" references="/0/getTypeNameForProperty">
<details key="start" value="6687"/>
<details key="end" value="6897"/>
<details key="line" value="131"/>
</eAnnotations>
<eAnnotations source="positions.329" references="/0/getTypeNameForProperty/prop">
<details key="start" value="6724"/>
<details key="end" value="6739"/>
<details key="line" value="131"/>
</eAnnotations>
<eAnnotations source="positions.330" references="/0/getTypeNameForProperty/%">
<details key="start" value="6752"/>
<details key="end" value="6894"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.331" references="/0/getTypeNameForProperty/%/self">
<details key="start" value="-1"/>
<details key="end" value="-1"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.332" references="/0/getTypeNameForProperty/%/%">
<details key="start" value="6759"/>
<details key="end" value="6821"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.333" references="/0/getTypeNameForProperty/%/%.1">
<details key="start" value="6822"/>
<details key="end" value="6877"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.334" references="/0/getTypeNameForProperty/%/%.2">
<details key="start" value="6879"/>
<details key="end" value="6893"/>
<details key="line" value="0"/>
</eAnnotations>
<eAnnotations source="positions.335" references="/0/getTypeNameForProperty/%/%.2/%/prop">
<details key="start" value="6888"/>
<details key="end" value="6892"/>
<details key="line" value="0"/>
</eAnnotations>
</ecore:EAnnotation>
</xmi:XMI>