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

<?xml version="1.0" encoding="ASCII"?>
<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" xmi:id="QVTCore"
    name="QVTCore" nsURI="http://schema.omg.org/spec/QVT/1.1/qvtcore.xml" nsPrefix="qvtc">
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.Area" name="Area" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Area.bottomPattern"
        name="bottomPattern" lowerBound="1" eType="#QVTCore.BottomPattern" containment="true"
        eOpposite="#QVTCore.BottomPattern.area"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Area.guardPattern"
        name="guardPattern" lowerBound="1" eType="#QVTCore.GuardPattern" containment="true"
        eOpposite="#QVTCore.GuardPattern.area"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.Assignment" name="Assignment"
      abstract="true" eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.emof.emof/model/EMOF.ecore#EMOF.Element">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Assignment.bottomPattern"
        name="bottomPattern" lowerBound="1" eType="#QVTCore.BottomPattern" transient="true"
        eOpposite="#QVTCore.BottomPattern.assignment"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="QVTCore.Assignment.isDefault"
        name="isDefault" eType="ecore:EDataType platform:/plugin/org.eclipse.qvt.declarative.emof.emof/model/EMOF.ecore#PrimitiveTypes.Boolean"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Assignment.value"
        name="value" lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.qvt.declarative.emof.essentialocl/model/EssentialOCL.ecore#EssentialOCL.OclExpression"
        containment="true">
      <eAnnotations source="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName">
        <details key="body" value="valueAssignment"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.BottomPattern" name="BottomPattern"
      eSuperTypes="#QVTCore.CorePattern">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.BottomPattern.area"
        name="area" lowerBound="1" eType="#QVTCore.Area" transient="true" eOpposite="#QVTCore.Area.bottomPattern"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.BottomPattern.assignment"
        name="assignment" ordered="false" upperBound="-1" eType="#QVTCore.Assignment"
        containment="true" eOpposite="#QVTCore.Assignment.bottomPattern"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.BottomPattern.enforcementOperation"
        name="enforcementOperation" ordered="false" upperBound="-1" eType="#QVTCore.EnforcementOperation"
        containment="true" eOpposite="#QVTCore.EnforcementOperation.bottomPattern"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.BottomPattern.realizedVariable"
        name="realizedVariable" ordered="false" upperBound="-1" eType="#QVTCore.RealizedVariable"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.CoreDomain" name="CoreDomain"
      eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.emof.qvtbase/model/QVTBase.ecore#QVTBase.Domain #QVTCore.Area"/>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.CorePattern" name="CorePattern"
      eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.emof.qvtbase/model/QVTBase.ecore#QVTBase.Pattern">
    <eStructuralFeatures xsi:type="ecore:EReference" name="variable" ordered="false"
        upperBound="-1" eType="ecore:EClass platform:/plugin/org.eclipse.qvt.declarative.emof.essentialocl/model/EssentialOCL.ecore#EssentialOCL.Variable"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" xmi:id="QVTCore.EnforcementMode" name="EnforcementMode">
    <eLiterals xmi:id="QVTCore.EnforcementMode.Creation" name="Creation"/>
    <eLiterals xmi:id="QVTCore.EnforcementMode.Deletion" name="Deletion" value="1"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.EnforcementOperation" name="EnforcementOperation"
      eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.emof.emof/model/EMOF.ecore#EMOF.Element">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.EnforcementOperation.bottomPattern"
        name="bottomPattern" eType="#QVTCore.BottomPattern" transient="true" eOpposite="#QVTCore.BottomPattern.enforcementOperation"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" xmi:id="QVTCore.EnforcementOperation.enforcementMode"
        name="enforcementMode" eType="#QVTCore.EnforcementMode"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.EnforcementOperation.operationCallExp"
        name="operationCallExp" lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.qvt.declarative.emof.essentialocl/model/EssentialOCL.ecore#EssentialOCL.OperationCallExp"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.GuardPattern" name="GuardPattern"
      eSuperTypes="#QVTCore.CorePattern">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.GuardPattern.area"
        name="area" lowerBound="1" eType="#QVTCore.Area" transient="true" eOpposite="#QVTCore.Area.guardPattern"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.Mapping" name="Mapping" eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.emof.qvtbase/model/QVTBase.ecore#QVTBase.Rule #QVTCore.Area">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Mapping.context"
        name="context" eType="#QVTCore.Mapping" transient="true" resolveProxies="false"
        eOpposite="#QVTCore.Mapping.local"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Mapping.local"
        name="local" ordered="false" upperBound="-1" eType="#QVTCore.Mapping" containment="true"
        eOpposite="#QVTCore.Mapping.context"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Mapping.refinement"
        name="refinement" ordered="false" upperBound="-1" eType="#QVTCore.Mapping"
        eOpposite="#QVTCore.Mapping.specification"/>
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.Mapping.specification"
        name="specification" ordered="false" upperBound="-1" eType="#QVTCore.Mapping"
        eOpposite="#QVTCore.Mapping.refinement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.PropertyAssignment" name="PropertyAssignment"
      eSuperTypes="#QVTCore.Assignment">
    <eStructuralFeatures xsi:type="ecore:EReference" name="slotExpression" lowerBound="1"
        eType="ecore:EClass platform:/plugin/org.eclipse.qvt.declarative.emof.essentialocl/model/EssentialOCL.ecore#EssentialOCL.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" xmi:id="QVTCore.PropertyAssignment.targetProperty"
        name="targetProperty" lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.qvt.declarative.emof.emof/model/EMOF.ecore#EMOF.Property">
      <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" xmi:id="QVTCore.RealizedVariable" name="RealizedVariable"
      eSuperTypes="platform:/plugin/org.eclipse.qvt.declarative.emof.essentialocl/model/EssentialOCL.ecore#EssentialOCL.Variable"/>
  <eClassifiers xsi:type="ecore:EClass" xmi:id="QVTCore.VariableAssignment" name="VariableAssignment"
      eSuperTypes="#QVTCore.Assignment">
    <eStructuralFeatures xsi:type="ecore:EReference" xmi:id="QVTCore.VariableAssignment.targetVariable"
        name="targetVariable" lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.qvt.declarative.emof.essentialocl/model/EssentialOCL.ecore#EssentialOCL.Variable">
      <eAnnotations source="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName">
        <details key="body" value="assignment"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
</ecore:EPackage>