| <?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/example2/env/1.0" nsPrefix="lookup"> |
| <eAnnotations source="http://www.eclipse.org/OCL/Import"> |
| <details key="classes" value="Classes.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 Classes.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 Classes.ecore#//NamedElement"/> |
| </eOperations> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="namedElements" upperBound="-1" |
| eType="ecore:EClass Classes.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> |