org.eclipse.gmt.umlx.eqvtr.cst.environment
Class QVTrEnvironment

java.lang.Object
  extended by org.eclipse.ocl.AbstractEnvironment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
      extended by org.eclipse.ocl.ecore.EcoreEnvironment
          extended by org.eclipse.gmt.umlx.eqvtr.cst.environment.QVTrEnvironment
All Implemented Interfaces:
org.eclipse.ocl.Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
Direct Known Subclasses:
QVTrDomainEnvironment, QVTrExpressionEnvironment, QVTrQueryEnvironment, QVTrRelationEnvironment, QVTrTopLevelEnvironment, QVTrTransformationEnvironment, QVTrTypeEnvironment

public abstract class QVTrEnvironment
extends org.eclipse.ocl.ecore.EcoreEnvironment


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.ocl.Environment
org.eclipse.ocl.Environment.Registry
 
Field Summary
 
Fields inherited from interface org.eclipse.ocl.Environment
OCL_NAMESPACE_URI, RESULT_VARIABLE_NAME, SELF_VARIABLE_NAME
 
Method Summary
 boolean checkFeatureCompatibility(org.eclipse.ocl.internal.cst.CSTNode cstNode, org.eclipse.emf.ecore.EClassifier featureType, org.eclipse.ocl.expressions.OCLExpression<org.eclipse.emf.ecore.EClassifier> oclExpression)
           
 org.eclipse.ocl.expressions.Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> createVariableDeclaration(IdentifierCS identifierCS, org.eclipse.emf.ecore.EClassifier type)
           
 java.lang.String formatName(org.eclipse.emf.ecore.EObject object)
           
 java.lang.String formatPath(java.util.List<java.lang.String> names)
           
 java.lang.String formatString(java.lang.String string)
           
 java.lang.String formatType(java.lang.Object type)
           
 org.eclipse.ocl.internal.cst.CSTNode getCSTNode()
           
 ErrorHandler getErrorHandler()
           
 org.eclipse.emf.ecore.EClassifier getMetaModelClassifier(java.util.List<java.lang.String> metaModelThenPackageThenClassifierPath)
           
 java.util.List<org.eclipse.emf.ecore.EClassifier> getMetaModelClassifiers(java.util.List<java.lang.String> names)
           
 java.util.Map<java.lang.String,java.util.List<org.eclipse.emf.ecore.EPackage>> getMetaModelContents()
           
 java.util.List<org.eclipse.emf.ecore.EPackage> getMetaModelContents(java.lang.String metaModelName)
           
 QVTrEnvironment getParent()
           
 org.eclipse.gmt.umlx.eqvtrelation.Relation getRelation(java.util.List<java.lang.String> pathName, java.lang.String name)
           
 org.eclipse.gmt.umlx.eqvtrelation.RelationalTransformation getRelationalTransformation(java.util.List<java.lang.String> pathName)
           
 org.eclipse.ocl.utilities.UMLReflection<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint> getUMLReflection()
           
 org.eclipse.ocl.expressions.Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> getVariable(java.lang.String name)
           
 org.eclipse.emf.ecore.EClassifier lookupClassifier(java.util.List<java.lang.String> names)
           
 org.eclipse.ocl.expressions.Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> lookupImplicitSourceForOperation(java.lang.String name, java.util.List<? extends org.eclipse.ocl.utilities.TypedElement<org.eclipse.emf.ecore.EClassifier>> params)
           
 org.eclipse.gmt.umlx.eqvtbase.Transformation lookUpImportedTransformation(java.lang.String name)
           
 org.eclipse.emf.ecore.EOperation lookupOperation(org.eclipse.emf.ecore.EClassifier owner, java.lang.String name, java.util.List<? extends org.eclipse.ocl.utilities.TypedElement<org.eclipse.emf.ecore.EClassifier>> args)
           
 void semanticError(org.eclipse.ocl.internal.cst.CSTNode cstNode, java.lang.String rule, java.lang.String errorMessage)
           
 
Methods inherited from class org.eclipse.ocl.ecore.EcoreEnvironment
defineAttribute, defineOperation, findPackage, findPackage, getDefinition, getFactory, getOCLStandardLibrary, getStates, getTypeFactory, getTypeResolver, isInPostcondition, lookupPackage, setParent, undefine
 
Methods inherited from class org.eclipse.ocl.AbstractEnvironment
addElement, deleteElement, getAdditionalAttributes, getAdditionalOperations, getBodyCondition, getContextClassifier, getContextOperation, getContextPackage, getContextProperty, getDeriveConstraint, getInitConstraint, getSelfVariable, getVariables, isEmpty, lookup, lookupAssociationClassReference, lookupImplicitSourceForAssociationClass, lookupImplicitSourceForProperty, lookupImplicitSourceForSignal, lookupImplicitSourceForState, lookupLocal, lookupProperty, lookupSignal, lookupState, setBodyCondition, setDeriveConstraint, setInitConstraint, setSelfVariable
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

checkFeatureCompatibility

public boolean checkFeatureCompatibility(org.eclipse.ocl.internal.cst.CSTNode cstNode,
                                         org.eclipse.emf.ecore.EClassifier featureType,
                                         org.eclipse.ocl.expressions.OCLExpression<org.eclipse.emf.ecore.EClassifier> oclExpression)

createVariableDeclaration

public org.eclipse.ocl.expressions.Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> createVariableDeclaration(IdentifierCS identifierCS,
                                                                                                                                          org.eclipse.emf.ecore.EClassifier type)

formatName

public java.lang.String formatName(org.eclipse.emf.ecore.EObject object)

formatPath

public java.lang.String formatPath(java.util.List<java.lang.String> names)

formatString

public java.lang.String formatString(java.lang.String string)

formatType

public java.lang.String formatType(java.lang.Object type)

getCSTNode

public org.eclipse.ocl.internal.cst.CSTNode getCSTNode()

getErrorHandler

public ErrorHandler getErrorHandler()

getMetaModelClassifier

public org.eclipse.emf.ecore.EClassifier getMetaModelClassifier(java.util.List<java.lang.String> metaModelThenPackageThenClassifierPath)

getMetaModelClassifiers

public java.util.List<org.eclipse.emf.ecore.EClassifier> getMetaModelClassifiers(java.util.List<java.lang.String> names)

getMetaModelContents

public java.util.Map<java.lang.String,java.util.List<org.eclipse.emf.ecore.EPackage>> getMetaModelContents()

getMetaModelContents

public java.util.List<org.eclipse.emf.ecore.EPackage> getMetaModelContents(java.lang.String metaModelName)

getParent

public QVTrEnvironment getParent()
Specified by:
getParent in interface org.eclipse.ocl.Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
Overrides:
getParent in class org.eclipse.ocl.AbstractEnvironment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>

getRelation

public org.eclipse.gmt.umlx.eqvtrelation.Relation getRelation(java.util.List<java.lang.String> pathName,
                                                              java.lang.String name)

getRelationalTransformation

public org.eclipse.gmt.umlx.eqvtrelation.RelationalTransformation getRelationalTransformation(java.util.List<java.lang.String> pathName)

getUMLReflection

public org.eclipse.ocl.utilities.UMLReflection<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint> getUMLReflection()
Specified by:
getUMLReflection in interface org.eclipse.ocl.Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
Overrides:
getUMLReflection in class org.eclipse.ocl.ecore.EcoreEnvironment

getVariable

public org.eclipse.ocl.expressions.Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> getVariable(java.lang.String name)

lookupClassifier

public org.eclipse.emf.ecore.EClassifier lookupClassifier(java.util.List<java.lang.String> names)
Specified by:
lookupClassifier in interface org.eclipse.ocl.Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
Overrides:
lookupClassifier in class org.eclipse.ocl.ecore.EcoreEnvironment

lookUpImportedTransformation

public org.eclipse.gmt.umlx.eqvtbase.Transformation lookUpImportedTransformation(java.lang.String name)

lookupImplicitSourceForOperation

public org.eclipse.ocl.expressions.Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> lookupImplicitSourceForOperation(java.lang.String name,
                                                                                                                                                 java.util.List<? extends org.eclipse.ocl.utilities.TypedElement<org.eclipse.emf.ecore.EClassifier>> params)
Specified by:
lookupImplicitSourceForOperation in interface org.eclipse.ocl.Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
Overrides:
lookupImplicitSourceForOperation in class org.eclipse.ocl.AbstractEnvironment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>

lookupOperation

public org.eclipse.emf.ecore.EOperation lookupOperation(org.eclipse.emf.ecore.EClassifier owner,
                                                        java.lang.String name,
                                                        java.util.List<? extends org.eclipse.ocl.utilities.TypedElement<org.eclipse.emf.ecore.EClassifier>> args)
Specified by:
lookupOperation in interface org.eclipse.ocl.Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>
Overrides:
lookupOperation in class org.eclipse.ocl.AbstractEnvironment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,org.eclipse.ocl.ecore.CallOperationAction,org.eclipse.ocl.ecore.SendSignalAction,org.eclipse.ocl.ecore.Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>

semanticError

public void semanticError(org.eclipse.ocl.internal.cst.CSTNode cstNode,
                          java.lang.String rule,
                          java.lang.String errorMessage)