| <?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="ocl" nsURI="http://www.eclipse.org/ocl/1.1.0/OCLEcore" nsPrefix="ocl"> |
| <eSubpackages name="ecore" nsURI="http://www.eclipse.org/ocl/1.1.0/Ecore" nsPrefix="ocl.ecore"> |
| <eClassifiers xsi:type="ecore:EClass" name="AnyType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/AnyType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="BagType"> |
| <eGenericSuperTypes eClassifier="#//ecore/CollectionType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/BagType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CollectionType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EDataType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/CollectionType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ElementType" eSuperTypes="platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/ElementType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="InvalidType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/InvalidType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="MessageType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClass"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/MessageType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="OrderedSetType"> |
| <eGenericSuperTypes eClassifier="#//ecore/CollectionType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/OrderedSetType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="PrimitiveType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EDataType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/PrimitiveType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="SequenceType"> |
| <eGenericSuperTypes eClassifier="#//ecore/CollectionType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/SequenceType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="SetType"> |
| <eGenericSuperTypes eClassifier="#//ecore/CollectionType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/SetType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TemplateParameterType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/TemplateParameterType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TupleType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClass"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EDataType"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/TupleType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TypeType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/TypeType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="VoidType"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName WellFormedInstanceTypeName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//types/VoidType"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CallOperationAction"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="operation" lowerBound="1" |
| eType="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Constraint" eSuperTypes="platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName"/> |
| </eAnnotations> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="specification" lowerBound="1" |
| containment="true"> |
| <eGenericType eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//utilities/ExpressionInOCL"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericType> |
| </eStructuralFeatures> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="constrainedElements" |
| upperBound="-1" eType="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EModelElement"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="stereotype" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="SendSignalAction"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="signal" lowerBound="1" |
| eType="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClass"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="ExpressionInOCL"> |
| <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> |
| <details key="name" value="ExpressionInOcl"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//utilities/ExpressionInOCL"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="AssociationClassCallExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/NavigationCallExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/AssociationClassCallExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="BooleanLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/PrimitiveLiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/BooleanLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CallExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/CallExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CollectionItem"> |
| <eGenericSuperTypes eClassifier="#//ecore/CollectionLiteralPart"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/CollectionItem"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CollectionLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/CollectionLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CollectionLiteralPart" abstract="true"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//ETypedElement"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/CollectionLiteralPart"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="CollectionRange"> |
| <eGenericSuperTypes eClassifier="#//ecore/CollectionLiteralPart"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/CollectionRange"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="EnumLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/EnumLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EEnumLiteral"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="FeatureCallExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/CallExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/FeatureCallExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="IfExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/IfExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="IntegerLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/NumericLiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/IntegerLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="UnlimitedNaturalLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/NumericLiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/UnlimitedNaturalLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="InvalidLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/InvalidLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="IterateExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LoopExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/IterateExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="IteratorExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LoopExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/IteratorExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="LetExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/LetExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="LiteralExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/LiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="LoopExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/CallExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/LoopExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="MessageExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/MessageExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="#//ecore/CallOperationAction"/> |
| <eTypeArguments eClassifier="#//ecore/SendSignalAction"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="NavigationCallExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/FeatureCallExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/NavigationCallExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="NullLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/NullLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="NumericLiteralExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/PrimitiveLiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/NumericLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="OCLExpression" abstract="true"> |
| <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> |
| <details key="name" value="OclExpression"/> |
| </eAnnotations> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//ETypedElement"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/OCLExpression"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="OperationCallExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/FeatureCallExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/OperationCallExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="PrimitiveLiteralExp" abstract="true"> |
| <eGenericSuperTypes eClassifier="#//ecore/LiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/PrimitiveLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="PropertyCallExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/NavigationCallExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/PropertyCallExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="RealLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/NumericLiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/RealLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="StateExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/StateExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="StringLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/PrimitiveLiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/StringLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TupleLiteralExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/LiteralExp"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/TupleLiteralExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TupleLiteralPart"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//ETypedElement"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/TupleLiteralPart"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="TypeExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/TypeExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="UnspecifiedValueExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/UnspecifiedValueExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Variable"> |
| <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> |
| <details key="constraints" value="WellFormedName"/> |
| </eAnnotations> |
| <eGenericSuperTypes eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//ETypedElement"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/Variable"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="VariableExp"> |
| <eGenericSuperTypes eClassifier="#//ecore/OCLExpression"/> |
| <eGenericSuperTypes eClassifier="ecore:EClass ../../org.eclipse.ocl/model/OCL.ecore#//expressions/VariableExp"> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
| <eTypeArguments eClassifier="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EParameter"/> |
| </eGenericSuperTypes> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="OppositePropertyCallExp" eSuperTypes="#//ecore/NavigationCallExp"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="referredOppositeProperty" |
| lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.emf.ecore/model/Ecore.ecore#//EReference"/> |
| </eClassifiers> |
| </eSubpackages> |
| </ecore:EPackage> |
