| <?xml version="1.0" encoding="UTF-8"?> |
| <ecore:EPackage 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" name="imperativeoclcs" nsURI="http://www.eclipse.org/qvt/pivot/1.0/ImperativeOCLCS" |
| nsPrefix="imperativeoclcs"> |
| <eClassifiers xsi:type="ecore:EClass" name="AssertExpCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedAssertion" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedLog" eType="#//LogExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="severity" eType="#//SeverityKindCS"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="AssignExpCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedLeft" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedValue" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="assignOp" eType="#//AssignOpCS"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedDefault" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EEnum" name="AssignOpCS"> |
| <eLiterals name="Single" literal=":="/> |
| <eLiterals name="MultiWithReset" value="1" literal="::="/> |
| <eLiterals name="MultiWithoutReset" value="2" literal="+="/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="BreakExpCS" eSuperTypes="#//StatementCS"/> |
| <eClassifiers xsi:type="ecore:EClass" name="DictLiteralExpCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//LiteralExpCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedParts" upperBound="-1" |
| eType="#//DictLiteralPartCS" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="DictLiteralPartCS" eSuperTypes="../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//ModelElementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedKey" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//PrimitiveLiteralExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedValue" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="DictTypeCS" eSuperTypes="../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedKeyTypeRef" eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedValueTypeRef" eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ComputeExpCS" eSuperTypes="#//ExpressionBlockCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedResultVar" lowerBound="1" |
| eType="#//VarDeclarationCS" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ContinueExpCS" eSuperTypes="#//StatementCS"/> |
| <eClassifiers xsi:type="ecore:EClass" name="ImperativeIterateExpCS" eSuperTypes="#//ImperativeLoopExpCS"/> |
| <eClassifiers xsi:type="ecore:EClass" name="ImperativeLoopExpCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//CallExpCS #//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedCondition" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedTarget" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//VariableCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedIterator" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//VariableCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedBody" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EEnum" name="InitOpCS"> |
| <eLiterals name="Equals" literal="="/> |
| <eLiterals name="ColonEquals" value="1" literal=":="/> |
| <eLiterals name="ColonColonEquals" value="2" literal="::="/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="InstantiationExpCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedClassRef" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypeRefCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedArguments" upperBound="-1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExtentRef" eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CatchExpCS" eSuperTypes="#//ExpressionBlockCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExceptionRefs" upperBound="-1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="varName" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ExpressionBlockCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS #//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExps" upperBound="-1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ExtentRefCS" eSuperTypes="../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//ElementRefCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedPathName" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//PathNameCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ForExpCS" eSuperTypes="#//ImperativeLoopExpCS"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="isOne" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EBooleanObject"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ListTypeCS" eSuperTypes="../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedTypeRef" eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ListLiteralExpCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//LiteralExpCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedParts" upperBound="-1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//CollectionLiteralPartCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="LogExpCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//CallExpCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedMessage" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//StringLiteralExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedElement" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="severity" eType="#//SeverityKindCS"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedCondition" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="RaiseExpCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExceptionRef" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.base/model/BaseCS.ecore#//TypedRefCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedArguments" upperBound="-1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ReturnExpCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedValue" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EEnum" name="SeverityKindCS"> |
| <eLiterals name="error" literal="error"/> |
| <eLiterals name="warning" value="1" literal="warning"/> |
| <eLiterals name="fatal" value="2" literal="fatal"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="StatementCS" abstract="true" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS"/> |
| <eClassifiers xsi:type="ecore:EClass" name="SwitchAltCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedCondition" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedBody" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="SwitchExpCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedAltParts" lowerBound="1" |
| upperBound="-1" eType="#//SwitchAltCS" containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedElsePart" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedIterator" eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//VariableCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="ifSyntax" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TryExpCS" eSuperTypes="#//ExpressionBlockCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedCatchs" lowerBound="1" |
| upperBound="-1" eType="#//CatchExpCS" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="VarDeclarationCS" eSuperTypes="../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//VariableCS"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="initOp" eType="#//InitOpCS"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="VarsInitializationCS" eSuperTypes="#//StatementCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedVarDeclarations" lowerBound="1" |
| upperBound="-1" eType="#//VarDeclarationCS" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="WhileExpCS" eSuperTypes="#//ExpressionBlockCS"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedCondition" lowerBound="1" |
| eType="ecore:EClass ../../org.eclipse.ocl.xtext.essentialocl/model/EssentialOCLCS.ecore#//ExpCS" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="ownedResultVar" eType="#//VarDeclarationCS" |
| containment="true"/> |
| </eClassifiers> |
| </ecore:EPackage> |