| <?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="qvtcore" | |
| nsURI="http://www.eclipse.org/qvt/1.0/QVTCore" nsPrefix="qvtcore"> | |
| <eSubpackages name="cst" nsURI="http://www.eclipse.org/qvt/1.0/QVTCorecst" nsPrefix="qvtccst"> | |
| <eClassifiers xsi:type="ecore:EClass" name="AreaCS" abstract="true" eSuperTypes="../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifiedCS"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="guardPattern" eType="#//cst/GuardPatternCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="bottomPattern" eType="#//cst/BottomPatternCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="AssignmentCS" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/OCLExpressionCS"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | |
| eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/OCLExpressionCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="initialiser" lowerBound="1" | |
| eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/OCLExpressionCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="default" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="BottomPatternCS" eSuperTypes="#//cst/PatternCS"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="enforcementOperations" | |
| upperBound="-1" eType="#//cst/EnforcementOperationCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="realizedVariables" upperBound="-1" | |
| eType="#//cst/RealizedVariableCS" containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="DirectionCS" eSuperTypes="../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifiedCS"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1" | |
| eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/PathNameCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="uses" upperBound="-1" | |
| eType="ecore:EClass ../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifierCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="DomainCS" eSuperTypes="#//cst/AreaCS"> | |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="check" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="enforce" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="EnforcementOperationCS" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/CSTNode"> | |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="deletion" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="operationCall" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/OperationCallExpCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="GuardPatternCS" eSuperTypes="#//cst/PatternCS"/> | |
| <eClassifiers xsi:type="ecore:EClass" name="MappingCS" eSuperTypes="../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifiedCS"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="composedMappings" upperBound="-1" | |
| eType="#//cst/MappingCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="domains" upperBound="-1" | |
| eType="#//cst/DomainCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="in" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/PathNameCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="middle" lowerBound="1" | |
| eType="#//cst/DomainCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="refines" upperBound="-1" | |
| eType="ecore:EClass ../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifierCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="ParamDeclarationCS" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/CSTNode"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="identifier" eType="ecore:EClass ../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifierCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/TypeCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="PatternCS" abstract="true" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/CSTNode"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="constraints" upperBound="-1" | |
| eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/OCLExpressionCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="unrealizedVariables" | |
| upperBound="-1" eType="#//cst/UnrealizedVariableCS" containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="QueryCS" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/CSTNode ../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IHasName"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="inputParamDeclaration" | |
| upperBound="-1" eType="#//cst/ParamDeclarationCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="oclExpression" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/OCLExpressionCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="pathName" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/PathNameCS" | |
| containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/TypeCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="RealizeableVariableCS" abstract="true" | |
| eSuperTypes="../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IdentifiedCS"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/TypeCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="RealizedVariableCS" eSuperTypes="#//cst/RealizeableVariableCS"/> | |
| <eClassifiers xsi:type="ecore:EClass" name="TopLevelCS" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/CSTNode"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="transformations" upperBound="-1" | |
| eType="#//cst/TransformationCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="queries" upperBound="-1" | |
| eType="#//cst/QueryCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="mappings" upperBound="-1" | |
| eType="#//cst/MappingCS" containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="TransformationCS" eSuperTypes="../../org.eclipse.ocl/model/OCLCST.ecore#//cst/CSTNode ../../org.eclipse.qvt.declarative.parser/model/QVTCST.ecore#//cst/IHasName"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="directions" upperBound="-1" | |
| eType="#//cst/DirectionCS" containment="true"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="pathName" eType="ecore:EClass ../../org.eclipse.ocl/model/OCLCST.ecore#//cst/PathNameCS" | |
| containment="true"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="UnrealizedVariableCS" eSuperTypes="#//cst/RealizeableVariableCS"/> | |
| </eSubpackages> | |
| </ecore:EPackage> |