blob: f1fc4c40306cdb78cceb1df0ddf188daaa6a9fdc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
<?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="lookup" nsURI="http://cs2as/tests/example1/env/1.0" nsPrefix="lookup">
<eAnnotations source="http://www.eclipse.org/OCL/Import">
<details key="target" value="TargetMM1.ecore#/"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="invocationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
<details key="settingDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
<details key="validationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
</eAnnotations>
<eClassifiers xsi:type="ecore:EClass" name="LookupEnvironment" eSuperTypes="#//Env4CG">
<eOperations name="addElements" lowerBound="1" eType="#//LookupEnvironment">
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
<details key="body" value="LookupEnvironment{
						namedElements = namedElements->includingAll(elements),
						parentEnv = parentEnv	
				}"/>
</eAnnotations>
<eTypeParameters name="NE">
<eBounds eClassifier="ecore:EClass TargetMM1.ecore#//NamedElement"/>
</eTypeParameters>
<eParameters name="elements" lowerBound="1">
<eGenericType eClassifier="ecore:EClass platform:/plugin/org.eclipse.ocl.pivot/model-gen/oclstdlib.ecore#//Collection">
<eTypeArguments eTypeParameter="#//LookupEnvironment/addElements/NE"/>
</eGenericType>
</eParameters>
</eOperations>
<eOperations name="addElement" lowerBound="1" eType="#//LookupEnvironment">
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
<details key="body" value="LookupEnvironment{
						namedElements = namedElements->including(element),
						parentEnv = parentEnv
					}"/>
</eAnnotations>
<eParameters name="element" eType="ecore:EClass TargetMM1.ecore#//NamedElement"/>
</eOperations>
<eStructuralFeatures xsi:type="ecore:EReference" name="namedElements" upperBound="-1"
eType="ecore:EClass TargetMM1.ecore#//NamedElement"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="parentEnv" eType="#//LookupEnvironment"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Env4CG" abstract="true" interface="true">
<eOperations name="hasFinalResult" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="throw new <%java.lang.UnsupportedOperationException%>("LookupEnvironment::hasFinalResult() has been created for CG purposes. Don't call this method");"/>
</eAnnotations>
</eOperations>
<eOperations name="getExecutor" eType="#//Executor">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="body" value="throw new <%java.lang.UnsupportedOperationException%>("LookupEnvironment::getEvaluator() has been created for CG purposes. Don't call this method");"/>
</eAnnotations>
</eOperations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Executor" instanceClassName="org.eclipse.ocl.pivot.evaluation.Executor"
abstract="true" interface="true"/>
</ecore:EPackage>
|