diff options
Diffstat (limited to 'plugins/org.eclipse.qvtd.pivot.qvtimperative/model/QVTimperative.ecore')
-rw-r--r-- | plugins/org.eclipse.qvtd.pivot.qvtimperative/model/QVTimperative.ecore | 131 |
1 files changed, 102 insertions, 29 deletions
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtimperative/model/QVTimperative.ecore b/plugins/org.eclipse.qvtd.pivot.qvtimperative/model/QVTimperative.ecore index 7959d4ab3..374b32b52 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtimperative/model/QVTimperative.ecore +++ b/plugins/org.eclipse.qvtd.pivot.qvtimperative/model/QVTimperative.ecore @@ -28,6 +28,23 @@ <details key="documentation" value="A ConnectionVariable accumulates one or more assignments."/> </eAnnotations> </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="AppendParameterBinding" eSuperTypes="#//MappingParameterBinding"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A MappingCallBinding specifies the binding of a single variable as part of
a MappingCall. A value is bound to the variable. OPtionally isLoop may be true
to indicate that the value is a collection of values, each of which is to
be used as part of a distinct invocation."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//ConnectionVariable"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="The value or collection of values to bind to boundVariable"/> + </eAnnotations> + </eStructuralFeatures> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="BufferStatement" eSuperTypes="#//ConnectionVariable #//VariableStatement #//ObservableStatement"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A ConnectionVariable accumulates one or more assignments."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExpression" eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//OCLExpression" + containment="true"/> + </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="CheckStatement" eSuperTypes="#//ObservableStatement"> <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExpression" lowerBound="1" eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//OCLExpression" @@ -40,7 +57,7 @@ </eAnnotations> </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="DeclareStatement" eSuperTypes="#//VariableStatement #//ObservableStatement"> - <eStructuralFeatures xsi:type="ecore:EAttribute" name="isChecked" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" + <eStructuralFeatures xsi:type="ecore:EAttribute" name="isCheck" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" defaultValueLiteral="false"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> <details key="documentation" value="Whether the variable initialization needs to be checked as a predicate. This is a derivation of not ownedInit.type.conformsTo(self.type)."/> @@ -57,6 +74,22 @@ <eStructuralFeatures xsi:type="ecore:EReference" name="referredTypedModel" lowerBound="1" eType="#//ImperativeTypedModel"/> </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="GuardParameterBinding" eSuperTypes="#//MappingParameterBinding"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A MappingCallBinding specifies the binding of a single variable as part of
a MappingCall. A value is bound to the variable. OPtionally isLoop may be true
to indicate that the value is a collection of values, each of which is to
be used as part of a distinct invocation."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//ConnectionVariable"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="The value or collection of values to bind to boundVariable"/> + </eAnnotations> + </eStructuralFeatures> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="isCheck" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" + defaultValueLiteral="false"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="Whether the variable initialization needs to be checked as a predicate. This is a derivation of not ownedInit.type.conformsTo(self.type)."/> + </eAnnotations> + </eStructuralFeatures> + </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="ImperativeModel" eSuperTypes="../../org.eclipse.qvtd.pivot.qvtbase/model/QVTbase.ecore#//BaseModel"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> <details key="documentation" value="The Model of an Imperative QVT transformation."/> @@ -71,6 +104,22 @@ <eStructuralFeatures xsi:type="ecore:EAttribute" name="isEnforced" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" defaultValueLiteral="false"/> </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="LoopParameterBinding" eSuperTypes="#//MappingParameterBinding"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A MappingCallBinding specifies the binding of a single variable as part of
a MappingCall. A value is bound to the variable. OPtionally isLoop may be true
to indicate that the value is a collection of values, each of which is to
be used as part of a distinct invocation."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//LoopVariable"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="The value or collection of values to bind to boundVariable"/> + </eAnnotations> + </eStructuralFeatures> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="isCheck" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" + defaultValueLiteral="false"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="Whether the variable initialization needs to be checked as a predicate. This is a derivation of not ownedInit.type.conformsTo(self.type)."/> + </eAnnotations> + </eStructuralFeatures> + </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="LoopVariable" eSuperTypes="../../org.eclipse.ocl.pivot/model/Pivot.ecore#//VariableDeclaration"> <eStructuralFeatures xsi:type="ecore:EReference" name="owningMappingLoop" lowerBound="1" eType="#//MappingLoop" eOpposite="#//MappingLoop/ownedIterators"/> @@ -89,7 +138,7 @@ <details key="documentation" value="A MappingCall specifies the invocation of a referredMapping with a set of bindings
of the bound variables of the referredMapping to values provided in the invocation.
Where Collections of values are provided for isLoop bindings, a distinct invocation
is performed for each distinct permutation of Collection elements."/> </eAnnotations> <eStructuralFeatures xsi:type="ecore:EReference" name="binding" upperBound="-1" - eType="#//MappingCallBinding" containment="true" eOpposite="#//MappingCallBinding/mappingCall"> + eType="#//MappingParameterBinding" containment="true" eOpposite="#//MappingParameterBinding/mappingCall"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> <details key="documentation" value="The Set of value to bound variable bindings."/> </eAnnotations> @@ -100,33 +149,22 @@ <details key="documentation" value="An infinite MappingCall requires re-invocation of the called mapping to be suppressed to avoid an infinite loop."/> </eAnnotations> </eStructuralFeatures> - <eStructuralFeatures xsi:type="ecore:EReference" name="referredMapping" lowerBound="1" - eType="#//Mapping"> - <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> - <details key="documentation" value="The Mapping invoked by the MappingCall."/> - </eAnnotations> - </eStructuralFeatures> - </eClassifiers> - <eClassifiers xsi:type="ecore:EClass" name="MappingCallBinding" eSuperTypes="../../org.eclipse.ocl.pivot/model/Pivot.ecore#//Element"> - <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> - <details key="documentation" value="A MappingCallBinding specifies the binding of a single variable as part of
a MappingCall. A value is bound to the variable. OPtionally isLoop may be true
to indicate that the value is a collection of values, each of which is to
be used as part of a distinct invocation."/> - </eAnnotations> - <eStructuralFeatures xsi:type="ecore:EReference" name="boundVariable" lowerBound="1" - eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//VariableDeclaration"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="isInstall" eType="ecore:EDataType ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//Boolean" + defaultValueLiteral="false"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> - <details key="documentation" value="The variable with the mappingCall.referredMapping bound to the/a value"/> + <details key="documentation" value="An infinite MappingCall requires re-invocation of the called mapping to be suppressed to avoid an infinite loop."/> </eAnnotations> </eStructuralFeatures> - <eStructuralFeatures xsi:type="ecore:EReference" name="mappingCall" eType="#//MappingCall" - eOpposite="#//MappingCall/binding"> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="isInvoke" eType="ecore:EDataType ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//Boolean" + defaultValueLiteral="false"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> - <details key="documentation" value="The containing MappingCall."/> + <details key="documentation" value="An infinite MappingCall requires re-invocation of the called mapping to be suppressed to avoid an infinite loop."/> </eAnnotations> </eStructuralFeatures> - <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//OCLExpression" - containment="true"> + <eStructuralFeatures xsi:type="ecore:EReference" name="referredMapping" lowerBound="1" + eType="#//Mapping"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> - <details key="documentation" value="The value or collection of values to bind to boundVariable"/> + <details key="documentation" value="The Mapping invoked by the MappingCall."/> </eAnnotations> </eStructuralFeatures> </eClassifiers> @@ -147,6 +185,24 @@ <details key="documentation" value="A ConnectionVariable accumulates one or more assignments."/> </eAnnotations> </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="MappingParameterBinding" abstract="true" + eSuperTypes="../../org.eclipse.ocl.pivot/model/Pivot.ecore#//Element"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A MappingCallBinding specifies the binding of a single variable as part of
a MappingCall. A value is bound to the variable. OPtionally isLoop may be true
to indicate that the value is a collection of values, each of which is to
be used as part of a distinct invocation."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="mappingCall" eType="#//MappingCall" + eOpposite="#//MappingCall/binding"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="The containing MappingCall."/> + </eAnnotations> + </eStructuralFeatures> + <eStructuralFeatures xsi:type="ecore:EReference" name="boundVariable" lowerBound="1" + eType="#//MappingParameter"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="The variable with the mappingCall.referredMapping bound to the/a value"/> + </eAnnotations> + </eStructuralFeatures> + </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="MappingStatement" abstract="true" eSuperTypes="#//Statement"> <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> <details key="documentation" value="A MappingCall specifies the invocation of a referredMapping with a set of bindings
of the bound variables of the referredMapping to values provided in the invocation.
Where Collections of values are provided for isLoop bindings, a distinct invocation
is performed for each distinct permutation of Collection elements."/> @@ -167,13 +223,6 @@ </eAnnotations> </eStructuralFeatures> </eClassifiers> - <eClassifiers xsi:type="ecore:EClass" name="OutConnectionVariable" eSuperTypes="#//ConnectionVariable #//VariableStatement #//ObservableStatement"> - <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> - <details key="documentation" value="A ConnectionVariable accumulates one or more assignments."/> - </eAnnotations> - <eStructuralFeatures xsi:type="ecore:EReference" name="ownedExpression" eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//OCLExpression" - containment="true"/> - </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="SetStatement" eSuperTypes="#//ObservableStatement"> <eStructuralFeatures xsi:type="ecore:EReference" name="targetVariable" lowerBound="1" eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//VariableDeclaration"> @@ -193,6 +242,30 @@ eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//OCLExpression" containment="true"/> </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="SimpleParameter" eSuperTypes="#//MappingParameter"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A ConnectionVariable accumulates one or more assignments."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="referredTypedModel" lowerBound="1" + eType="#//ImperativeTypedModel"/> + </eClassifiers> + <eClassifiers xsi:type="ecore:EClass" name="SimpleParameterBinding" eSuperTypes="#//MappingParameterBinding"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="A MappingCallBinding specifies the binding of a single variable as part of
a MappingCall. A value is bound to the variable. OPtionally isLoop may be true
to indicate that the value is a collection of values, each of which is to
be used as part of a distinct invocation."/> + </eAnnotations> + <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="ecore:EClass ../../org.eclipse.ocl.pivot/model/Pivot.ecore#//OCLExpression" + containment="true"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="The value or collection of values to bind to boundVariable"/> + </eAnnotations> + </eStructuralFeatures> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="isCheck" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" + defaultValueLiteral="false"> + <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> + <details key="documentation" value="Whether the variable initialization needs to be checked as a predicate. This is a derivation of not ownedInit.type.conformsTo(self.type)."/> + </eAnnotations> + </eStructuralFeatures> + </eClassifiers> <eClassifiers xsi:type="ecore:EClass" name="Statement" abstract="true" eSuperTypes="../../org.eclipse.ocl.pivot/model/Pivot.ecore#//NamedElement"/> <eClassifiers xsi:type="ecore:EClass" name="VariableStatement" abstract="true" eSuperTypes="../../org.eclipse.ocl.pivot/model/Pivot.ecore#//VariableDeclaration #//Statement"/> </ecore:EPackage> |