org.eclipse.ocl.uml
Class UMLEnvironment

java.lang.Object
  org.eclipse.ocl.lpg.AbstractBasicEnvironment
      org.eclipse.ocl.AbstractEnvironment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>
          org.eclipse.ocl.uml.UMLEnvironment

All Implemented Interfaces:

Environment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>, Environment.Internal<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>, Environment.Lookup<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property>, BasicEnvironment, BasicEnvironment2, Customizable, Adaptable

public class UMLEnvironment
extends AbstractEnvironment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>

Implementation of the Environment for parsing OCL expressions on UML models. The UMLEnvironment uses a client-supplied resource set to look up UML Packages in UML resources. It also uses an EPackage registry to find the corresponding Ecore definitions of packages when evaluating expressions on instances of the UML model (in the case of evaluation on UML2-generated API objects).

Author:

Christian W. Damus (cdamus)

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.AbstractEnvironment

AbstractEnvironment.VariableEntry

Nested classes/interfaces inherited from interface org.eclipse.ocl.Environment

Environment.Internal<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>, Environment.Lookup<PK,C,O,P>, Environment.Registry

Field Summary

static java.lang.String

OCL_STANDARD_LIBRARY_NS_URI The namespace URI of the UML representation of the OCL Standard Library.

Fields inherited from interface org.eclipse.ocl.Environment

OCL_NAMESPACE_URI, RESULT_VARIABLE_NAME, SELF_VARIABLE_NAME

Constructor Summary

protected	UMLEnvironment(Environment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> parent) Initializes me with a parent environment.
protected	UMLEnvironment(org.eclipse.emf.ecore.EPackage.Registry registry, org.eclipse.emf.ecore.resource.ResourceSet rset) Initializes me with a package registry for looking up the Ecore representations of UML packages and a resource set for looking up UML packages in UML resources.
protected	UMLEnvironment(org.eclipse.emf.ecore.EPackage.Registry registry, org.eclipse.emf.ecore.resource.ResourceSet rset, org.eclipse.emf.ecore.resource.Resource resource) Initializes me with a package registry for looking up the Ecore representations of UML packages, a resource set for looking up UML packages in UML resources, and a resource from which to load myself.

Method Summary

protected TypeResolver<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property>	createTypeResolver() Deprecated. Override the createTypeResolver(Resource) method, instead, handling the case where the resource is null
protected TypeResolver<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property>	createTypeResolver(org.eclipse.emf.ecore.resource.Resource resource) Creates a new type resolver for use with this environment.
org.eclipse.uml2.uml.Property	defineAttribute(org.eclipse.uml2.uml.Classifier owner, Variable<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Parameter> variable, org.eclipse.uml2.uml.Constraint constraint) In processing an additional attribute definition, constructs the property and associates it with its definition constraint.
org.eclipse.uml2.uml.Operation	defineOperation(org.eclipse.uml2.uml.Classifier owner, java.lang.String name, org.eclipse.uml2.uml.Classifier type, java.util.List<Variable<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Parameter>> params, org.eclipse.uml2.uml.Constraint constraint) In processing an additional operation definition, constructs the operation and associates it with its definition constraint.
protected void	findNonNavigableAssociationEnds(org.eclipse.uml2.uml.Classifier classifier, java.lang.String name, java.util.List<org.eclipse.uml2.uml.Property> ends) Searches for non-navigable association ends with the specified name at the given classifier's end of an association.
protected void	findUnnamedAssociationEnds(org.eclipse.uml2.uml.Classifier classifier, java.lang.String name, java.util.List<org.eclipse.uml2.uml.Property> ends) Searches for unnamed association ends using the specified name at the given classifier's end of an association.
org.eclipse.uml2.uml.Constraint	getDefinition(java.lang.Object feature) Obtains the definition constraint of the specified feature, if it is an additional attribute or operation defined via an OCL constraint.
org.eclipse.emf.ecore.EClassifier	getEClassifier(org.eclipse.uml2.uml.Classifier type, java.lang.Object element) Looks up the Ecore definition of the specified UML classifier, using the specified element as a context for finding profile applications in the case that the classifier is a stereotype or some other type in a Profile.
EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>	getFactory() Obtains the factory that created me, or an appropriate default factory if I was not created using a factory.
FormattingHelper	getFormatter() I provide a custom formatting helper for UML metamodel.
OCLFactory	getOCLFactory() Obtains a factory for the creation of types that are parameterized by model elements.
OCLStandardLibrary<org.eclipse.uml2.uml.Classifier>	getOCLStandardLibrary() Obtains the collection of core types representing the OCL Standard Library.
protected org.eclipse.emf.ecore.resource.ResourceSet	getResourceSet() Obtains the resource set in which I look for UML packages when resolving package names.
java.util.List<org.eclipse.uml2.uml.State>	getStates(org.eclipse.uml2.uml.Classifier owner, java.util.List<java.lang.String> pathPrefix) Retrieves a list of all possible states of the specified owner whose paths are prefixed by the specified partial name.
TypeResolver<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property>	getTypeResolver() Obtains a type resolver to be used to create (and cache) concrete bindings for the generic OCL types, based on the user model types provided by this environment.
protected org.eclipse.uml2.uml.Package	getUMLMetamodel() Obtains the UML metamodel library, loaded in my resource set.
UMLReflection<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint>	getUMLReflection() Obtains a utility for for reflection on the UML metaclasses that are used by the OCL abstract syntax.
boolean	isInPostcondition(OCLExpression<org.eclipse.uml2.uml.Classifier> exp) Checks whether the specified OCL expression is in an operation postcondition constraint.
protected boolean	isUnnamed(org.eclipse.uml2.uml.Property associationEnd) Queries whether the specified association end has no name.
org.eclipse.uml2.uml.Classifier	lookupClassifier(java.util.List<java.lang.String> names) Finds the classifier identified by the specified sequence of names (a qualified name).
org.eclipse.uml2.uml.Package	lookupPackage(java.util.List<java.lang.String> path) Finds the package identified by the specified sequence of names (a qualified name).
protected void	setFactory(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> factory) Sets the factory that created me.
void	setParent(Environment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> env) Sets my parent environment.
void	undefine(java.lang.Object feature) Removes the definition of an additional operation or property.

Methods inherited from class org.eclipse.ocl.AbstractEnvironment

addedVariable, addElement, addHelperOperation, addHelperProperty, addOperation, addProperty, createTypeChecker, deleteElement, dispose, getAdapter, getAdditionalAttributes, getAdditionalOperations, getBodyCondition, getContextClassifier, getContextOperation, getContextPackage, getContextProperty, getDeriveConstraint, getElement, getElementsSize, getInitConstraint, getInternalParent, getParent, getResource, getSelfVariable, getTypeChecker, getVariables, initialLower, isEmpty, lookup, lookupAssociationClassReference, lookupImplicitSourceForAssociationClass, lookupImplicitSourceForOperation, lookupImplicitSourceForProperty, lookupImplicitSourceForSignal, lookupImplicitSourceForState, lookupLocal, lookupNonNavigableEnd, lookupOperation, lookupProperty, lookupSignal, lookupState, notOK, removedVariable, resetTypeCaches, setBodyCondition, setContextOperation, setContextPackage, setContextProperty, setDeriveConstraint, setInitConstraint, setInternalParent, setParent, setSelfVariable, tryLookupAssociationClassReference, tryLookupClassifier, tryLookupOperation, tryLookupPackage, tryLookupProperty, tryLookupSignal

Methods inherited from class org.eclipse.ocl.lpg.AbstractBasicEnvironment

analyzerError, analyzerError, analyzerError, analyzerWarning, basicGetOptions, clearOptions, createDefaultProblemHandler, createFormattingHelper, getASTMapping, getASTNodeToCSTNodeMap, getOptions, getParser, getProblemHandler, getValue, initASTMapping, initASTMapping, isEnabled, lexerError, parserError, problem, putOptions, removeOption, removeOptions, setASTNodeToCSTNodeMap, setOption, setParent, setParser, setProblemHandler, utilityError, validatorError

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.lpg.BasicEnvironment

analyzerError, analyzerError, analyzerError, analyzerWarning, getASTMapping, getParser, getProblemHandler, initASTMapping, lexerError, parserError, problem, setParser, setProblemHandler, utilityError, validatorError

Methods inherited from interface org.eclipse.ocl.options.Customizable

clearOptions, getOptions, getValue, isEnabled, putOptions, removeOption, removeOptions, setOption

Field Detail

OCL_STANDARD_LIBRARY_NS_URI

public static final java.lang.String OCL_STANDARD_LIBRARY_NS_URI

The namespace URI of the UML representation of the OCL Standard Library.

Since:

2.0

See Also:

Constant Field Values

Constructor Detail

UMLEnvironment

protected UMLEnvironment(org.eclipse.emf.ecore.EPackage.Registry registry,
                         org.eclipse.emf.ecore.resource.ResourceSet rset)

Initializes me with a package registry for looking up the Ecore representations of UML packages and a resource set for looking up UML packages in UML resources.

Parameters:

registry - the Ecore package registry to use

rset - the resource set to use

UMLEnvironment

protected UMLEnvironment(org.eclipse.emf.ecore.EPackage.Registry registry,
                         org.eclipse.emf.ecore.resource.ResourceSet rset,
                         org.eclipse.emf.ecore.resource.Resource resource)

Initializes me with a package registry for looking up the Ecore representations of UML packages, a resource set for looking up UML packages in UML resources, and a resource from which to load myself.

Parameters:

registry - the Ecore package registry to use

rset - the resource set to use

resource - my resource for persistence

UMLEnvironment

protected UMLEnvironment(Environment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> parent)

Initializes me with a parent environment. I inherit my package registry, resource set, and resource from it.

Parameters:

parent - my parent environment

Method Detail

getFactory

public EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> getFactory()

Description copied from interface: Environment

Obtains the factory that created me, or an appropriate default factory if I was not created using a factory. This factory can be used to create nested environments within me.

Returns:

my originating factory

See Also:

EnvironmentFactory.createEnvironment(Environment)

setFactory

protected void setFactory(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> factory)

Sets the factory that created me. This method should only be invoked by that factory.

Parameters:

factory - my originating factory

getEClassifier

public org.eclipse.emf.ecore.EClassifier getEClassifier(org.eclipse.uml2.uml.Classifier type,
                                                        java.lang.Object element)

Looks up the Ecore definition of the specified UML classifier, using the specified element as a context for finding profile applications in the case that the classifier is a stereotype or some other type in a Profile. Finding the Ecore definition of a profile type requires finding the actual applied version of the profile.

Parameters:

type - a UML classifier

element - an element in the context of which the OCL evaluation is being performed

Returns:

the corresponding Ecore classifier, or null if not found

Since:

3.0

setParent

public void setParent(Environment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> env)

Description copied from interface: Environment

Sets my parent environment. The parent environment should not generally be set to null if it was not already null.

Parameters:

env - my new parent environment

getOCLStandardLibrary

public OCLStandardLibrary<org.eclipse.uml2.uml.Classifier> getOCLStandardLibrary()

Description copied from interface: Environment

Obtains the collection of core types representing the OCL Standard Library. These are the singleton or generic instances of the OCL-defined classifiers such as OclAny, Collection(T), etc. Implementers of OCL metamodel bindings are encouraged to share a single instance of the standard library amonst all of the Environments constructed by a particular EnvironmentFactory.

Returns:

the OCL Standard Library implementation for this environment

getResourceSet

protected final org.eclipse.emf.ecore.resource.ResourceSet getResourceSet()

Obtains the resource set in which I look for UML packages when resolving package names.

Returns:

my resource set

getUMLMetamodel

protected org.eclipse.uml2.uml.Package getUMLMetamodel()

Obtains the UML metamodel library, loaded in my resource set.

Returns:

the UML metamodel

getTypeResolver

public TypeResolver<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property> getTypeResolver()

Description copied from interface: Environment

Obtains a type resolver to be used to create (and cache) concrete bindings for the generic OCL types, based on the user model types provided by this environment. These are the types that are parameterized by particular user model elements: collections of particular classifiers, meta-types for particular classifiers, message types for particular operations or signals, and tuple types.

Returns:

the type resolver

getOCLFactory

public OCLFactory getOCLFactory()

Description copied from interface: Environment

Obtains a factory for the creation of types that are parameterized by model elements. This type factory must create types that are instances of the metaclass describing classifiers in the client metamodel.

Returns:

the appropriate type factory

getUMLReflection

public UMLReflection<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint> getUMLReflection()

Description copied from interface: Environment

Obtains a utility for for reflection on the UML metaclasses that are used by the OCL abstract syntax.

Returns:

the appropriate reflection instance

createTypeResolver

@Deprecated
protected TypeResolver<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property> createTypeResolver()

Deprecated. Override the createTypeResolver(Resource) method, instead, handling the case where the resource is null

Creates a new type resolver for use with this environment, persisted in a default resource.

Returns:

a new type resolver

createTypeResolver

protected TypeResolver<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property> createTypeResolver(org.eclipse.emf.ecore.resource.Resource resource)

Creates a new type resolver for use with this environment.

Subclasses may override.

Parameters:

resource - the resource for the type resolver's persistence

Returns:

a new type resolver

Since:

1.2

lookupPackage

public org.eclipse.uml2.uml.Package lookupPackage(java.util.List<java.lang.String> path)

Finds the package identified by the specified sequence of names (a qualified name).

Implements the inherited specification by looking in my resource set for a resource containing the specified package.

Parameters:

path - the qualified name

Returns:

the matching package, or null if not found

lookupClassifier

public org.eclipse.uml2.uml.Classifier lookupClassifier(java.util.List<java.lang.String> names)

Description copied from interface: Environment

Finds the classifier identified by the specified sequence of names (a qualified name).

Parameters:

names - the qualified name

Returns:

the matching classifier, or null if not found

findNonNavigableAssociationEnds

protected void findNonNavigableAssociationEnds(org.eclipse.uml2.uml.Classifier classifier,
                                               java.lang.String name,
                                               java.util.List<org.eclipse.uml2.uml.Property> ends)

Description copied from class: AbstractEnvironment

Searches for non-navigable association ends with the specified name at the given classifier's end of an association. Subclasses should reimplement this method if they support non-navigable association ends.

Overrides:

findNonNavigableAssociationEnds in class AbstractEnvironment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>

Parameters:

classifier - a classifier at an association end

name - the non-navigable end name to look for

ends - collects the ends found by the subclass implementation

findUnnamedAssociationEnds

protected void findUnnamedAssociationEnds(org.eclipse.uml2.uml.Classifier classifier,
                                          java.lang.String name,
                                          java.util.List<org.eclipse.uml2.uml.Property> ends)

Description copied from class: AbstractEnvironment

Searches for unnamed association ends using the specified name at the given classifier's end of an association. Subclasses should reimplement this method if they support non-navigable association ends. It is expected, in OCL, that the supplied name is the initial-lower-case name of the type of the unnamed end.

Overrides:

findUnnamedAssociationEnds in class AbstractEnvironment<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject>

Parameters:

classifier - a classifier at an association end

name - the initial-lower classifier name to look for

ends - collects the ends found by the subclass implementation

isUnnamed

protected boolean isUnnamed(org.eclipse.uml2.uml.Property associationEnd)

Queries whether the specified association end has no name.

Parameters:

associationEnd - an association end

Returns:

whether it is unnamed

getStates

public java.util.List<org.eclipse.uml2.uml.State> getStates(org.eclipse.uml2.uml.Classifier owner,
                                                            java.util.List<java.lang.String> pathPrefix)

Description copied from interface: Environment

Retrieves a list of all possible states of the specified owner whose paths are prefixed by the specified partial name. If the owner is null, then the target of the oclIsInState() operation call is implicit and must be looked up in the usual way for implicit operation call targets. This method is used for content-assist.

Parameters:

owner - the classifier for which states are being sought. Can be null in the case of an oclIsInState() call on an implicit target

pathPrefix - partial path name of the states being sought. This can be empty to find the first level of state names

Returns:

the list of all possible states directly contained in the namespace indicated by the path prefix (i.e., only one level of state nesting)

defineAttribute

public org.eclipse.uml2.uml.Property defineAttribute(org.eclipse.uml2.uml.Classifier owner,
                                                     Variable<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Parameter> variable,
                                                     org.eclipse.uml2.uml.Constraint constraint)

Description copied from interface: Environment

In processing an additional attribute definition, constructs the property and associates it with its definition constraint. The operation definition is local to this environment.

Parameters:

owner - the context classifier of the property definition constraint

variable - the name and type of the property (conveniently encapsulated in a variable)

constraint - the definition constraint

Returns:

the defined property

defineOperation

public org.eclipse.uml2.uml.Operation defineOperation(org.eclipse.uml2.uml.Classifier owner,
                                                      java.lang.String name,
                                                      org.eclipse.uml2.uml.Classifier type,
                                                      java.util.List<Variable<org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Parameter>> params,
                                                      org.eclipse.uml2.uml.Constraint constraint)

Description copied from interface: Environment

In processing an additional operation definition, constructs the operation and associates it with its definition constraint. The operation definition is local to this environment.

Parameters:

owner - the context classifier of the property definition constraint

name - the operation name

params - the names and types of the parameters, if any (conveniently encapsulated in variables)

constraint - the definition constraint

Returns:

the defined operation

undefine

public void undefine(java.lang.Object feature)

Description copied from interface: Environment

Removes the definition of an additional operation or property.

Parameters:

feature - an additional property or operation

getDefinition

public org.eclipse.uml2.uml.Constraint getDefinition(java.lang.Object feature)

Description copied from interface: Environment

Obtains the definition constraint of the specified feature, if it is an additional attribute or operation defined via an OCL constraint.

Parameters:

feature - a property or operation

Returns:

the definition constraint that defines it, or null if this feature is not defined by OCL

isInPostcondition

public boolean isInPostcondition(OCLExpression<org.eclipse.uml2.uml.Classifier> exp)

Description copied from interface: Environment

Checks whether the specified OCL expression is in an operation postcondition constraint. This is used in validating the usage of constructs that are only valid in postconditions (e.g., oclIsNew()).

Parameters:

exp - an OCL expression

Returns:

true if it is in a postcondition constraint; false, otherwise (including case of no constraint at all)

getFormatter

public FormattingHelper getFormatter()

I provide a custom formatting helper for UML metamodel.

Specified by:

getFormatter in interface BasicEnvironment

Overrides:

getFormatter in class AbstractBasicEnvironment

Returns:

non-null message formatter

Since:

1.2