archive/org.eclipse.qvt.declarative.ecore.qvtcore/model/QVTCore.ecore

<?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="eqvtc">
  <eClassifiers xsi:type="ecore:EClass" name="Area" abstract="true" interface="true">
    <eOperations name="getAllVariables" ordered="false" upperBound="-1" eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/Variable"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="guardPattern" lowerBound="1"
        eType="#//GuardPattern" containment="true" eOpposite="#//GuardPattern/area"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="bottomPattern" lowerBound="1"
        eType="#//BottomPattern" containment="true" eOpposite="#//BottomPattern/area"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Assignment" abstract="true" eSuperTypes="platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EModelElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="MappingIsEnforceable"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="bottomPattern" lowerBound="1"
        eType="#//BottomPattern" transient="true" eOpposite="#//BottomPattern/assignment"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/OCLExpression"
        containment="true">
      <eAnnotations source="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName">
        <details key="body" value="valueAssignment"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="isDefault" eType="ecore:EDataType platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"
        unsettable="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BottomPattern" eSuperTypes="#//CorePattern">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="RealizedVariableNamesAreUnique"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="area" lowerBound="1" eType="#//Area"
        transient="true" eOpposite="#//Area/bottomPattern"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="assignment" ordered="false"
        upperBound="-1" eType="#//Assignment" containment="true" eOpposite="#//Assignment/bottomPattern"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="enforcementOperation" ordered="false"
        upperBound="-1" eType="#//EnforcementOperation" containment="true" eOpposite="#//EnforcementOperation/bottomPattern"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="realizedVariable" ordered="false"
        upperBound="-1" eType="#//RealizedVariable" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="CoreDomain" eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.ecore.qvtbase/model/QVTBase.ecore#//Domain #//Area"/>
  <eClassifiers xsi:type="ecore:EClass" name="CorePattern" eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.ecore.qvtbase/model/QVTBase.ecore#//Pattern">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="VariableNamesAreUnique"/>
    </eAnnotations>
    <eOperations name="getAllVariables" ordered="false" upperBound="-1" eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/Variable"/>
    <eOperations name="getArea" lowerBound="1" eType="#//Area"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="variable" ordered="false"
        upperBound="-1" eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/Variable"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EnforcementOperation" eSuperTypes="platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EModelElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="enforcementMode" eType="#//EnforcementMode"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="bottomPattern" eType="#//BottomPattern"
        transient="true" eOpposite="#//BottomPattern/enforcementOperation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="operationCallExp" lowerBound="1"
        eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/OperationCallExp"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="GuardPattern" eSuperTypes="#//CorePattern">
    <eStructuralFeatures xsi:type="ecore:EReference" name="area" lowerBound="1" eType="#//Area"
        transient="true" eOpposite="#//Area/guardPattern"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Mapping" eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.ecore.qvtbase/model/QVTBase.ecore#//Rule #//Area">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="WellFormedName&#xD;&#xA;DomainTypedModelsMatchModelParameters"/>
    </eAnnotations>
    <eOperations name="getAllMappings" ordered="false" upperBound="-1" eType="#//Mapping"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" ordered="false"
        upperBound="-1" eType="#//Mapping" eOpposite="#//Mapping/refinement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="local" ordered="false"
        upperBound="-1" eType="#//Mapping" containment="true" eOpposite="#//Mapping/context"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="context" eType="#//Mapping"
        transient="true" resolveProxies="false" eOpposite="#//Mapping/local"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="refinement" ordered="false"
        upperBound="-1" eType="#//Mapping" eOpposite="#//Mapping/specification"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="PropertyAssignment" eSuperTypes="#//Assignment">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="TypeIsConsistent"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="slotExpression" lowerBound="1"
        eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/OCLExpression"
        containment="true">
      <eAnnotations source="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName">
        <details key="body" value="slotAssignment"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="targetProperty" lowerBound="1"
        eType="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature">
      <eAnnotations source="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName">
        <details key="body" value="assignment"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RealizedVariable" eSuperTypes="platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/Variable">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="MappingIsEnforceable"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VariableAssignment" eSuperTypes="#//Assignment">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="TypeIsConsistent"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="targetVariable" lowerBound="1"
        eType="ecore:EClass platform:/plugin/org.eclipse.ocl.ecore/model/OCLEcore.ecore#//ecore/Variable">
      <eAnnotations source="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName">
        <details key="body" value="assignment"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="EnforcementMode">
    <eLiterals name="Creation"/>
    <eLiterals name="Deletion" value="1"/>
  </eClassifiers>
</ecore:EPackage>