Package | Description |
---|---|
org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
org.eclipse.ocl.ecore |
Implementation of an OCL binding for the Ecore metamodel.
|
org.eclipse.ocl.ecore.impl |
Implementation of the Ecore binding of the the Types package of the
OCL Abstract Syntax.
|
org.eclipse.ocl.ecore.internal | |
org.eclipse.ocl.ecore.util |
Generated utilities for working with instances the Ecore binding of the
Types package of the OCL Abstract Syntax.
|
org.eclipse.ocl.ecore.utilities | |
org.eclipse.ocl.expressions |
Specification of the Expressions package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
org.eclipse.ocl.expressions.util |
Generated utilities for working with instances the Expressions model.
|
org.eclipse.ocl.internal.evaluation | |
org.eclipse.ocl.parser | |
org.eclipse.ocl.types.impl |
Implementation of the Types package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
org.eclipse.ocl.uml |
Implementation of an OCL binding for the UML metamodel.
|
org.eclipse.ocl.uml.internal | |
org.eclipse.ocl.uml.util |
Miscellaneous utilities in support of the UML environment for OCL.
|
org.eclipse.ocl.util |
Miscellaneous utilities in support of the OCL parser and environment
implementations.
|
org.eclipse.ocl.utilities |
Abstract API for OCL AST utilities and extensions of the UML metamodel.
|
org.eclipse.ocl.utilities.util |
Generated utilities for working with instances the OCL utilities package.
|
Modifier and Type | Method and Description |
---|---|
protected TupleType<O,P> |
AbstractTypeResolver.createTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Creates a new tuple type from the specified
parts , assuming that
it does not already exist. |
O |
AbstractTypeChecker.findOperationMatching(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
O |
TypeChecker.findOperationMatching(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Finds an operation by signature in the specified classifier.
|
C |
AbstractTypeChecker.findSignalMatching(C receiver,
java.util.List<C> signals,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
C |
TypeChecker.findSignalMatching(C receiver,
java.util.List<C> signals,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Find a matching signal in the specified list.
|
protected TupleType<O,P> |
AbstractTypeResolver.findTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Finds an existing tuple type matching the specified
parts , if any
has already been created. |
protected java.util.List<O> |
AbstractTypeChecker.getBestMatchingOperations(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
C |
AbstractTypeChecker.getResultType(java.lang.Object problemObject,
C owner,
O operation,
java.util.List<? extends TypedElement<C>> args) |
C |
TypeChecker.getResultType(java.lang.Object problemObject,
C owner,
O operation,
java.util.List<? extends TypedElement<C>> args)
Obtains the effective result type of the specified operation, which may
or may not have parameters type by generic type variables.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForOperation(java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
Variable<C,PM> |
Environment.lookupImplicitSourceForOperation(java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Return an implicit variable declaration that defines the specified
operation signature.
|
Variable<C,PM> |
AbstractEnvironment.lookupImplicitSourceForSignal(java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
Variable<C,PM> |
Environment.lookupImplicitSourceForSignal(java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Return an implicit variable declaration that defines the specified
signal reception signature.
|
O |
AbstractEnvironment.lookupOperation(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
O |
Environment.lookupOperation(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Find an operation in the specified class.
|
C |
AbstractEnvironment.lookupSignal(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
C |
Environment.lookupSignal(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Finds a received signal in the specified classifier.
|
boolean |
AbstractTypeChecker.matchArgs(C owner,
java.util.List<?> paramsOrProperties,
java.util.List<? extends TypedElement<C>> args) |
boolean |
TypeChecker.matchArgs(C owner,
java.util.List<?> paramsOrProperties,
java.util.List<? extends TypedElement<C>> args)
Compares an actual argument list against the signature of an operation or
a signal.
|
protected int |
AbstractTypeChecker.matchArgsWithExactitude(C owner,
java.util.List<?> paramsOrProperties,
java.util.List<? extends TypedElement<C>> args)
Return the number of arguments with exact type matches, or -ve if there is no match.
|
protected abstract TupleType<O,P> |
AbstractTypeChecker.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Resolves the specified signature of tuple parts to a tuple type already
available in the current environment, or else a new one.
|
TupleType<O,P> |
AbstractTypeResolver.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) |
TupleType<O,P> |
TypeResolver.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Resolves the tuple type consisting of the specified
parts ,
in no particular order, either created anew or previously created. |
O |
AbstractEnvironment.tryLookupOperation(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
This default implementation simply delegates to the
Environment.lookupOperation(Object, String, List) method. |
O |
Environment.Lookup.tryLookupOperation(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Find an operation in the specified class.
|
C |
AbstractEnvironment.tryLookupSignal(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
This default implementation simply delegates to the
Environment.lookupSignal(Object, String, List) method. |
C |
Environment.Lookup.tryLookupSignal(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Finds a received signal in the specified classifier.
|
Modifier and Type | Interface and Description |
---|---|
interface |
OppositePropertyCallExp
A representation of the model object 'Opposite Property Call Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
AssociationClassCallExpImpl
An implementation of the model object 'Association Class Call Exp'.
|
class |
BooleanLiteralExpImpl
An implementation of the model object 'Boolean Literal Exp'.
|
class |
CallExpImpl
An implementation of the model object 'Call Exp'.
|
class |
CollectionItemImpl
An implementation of the model object 'Collection Item'.
|
class |
CollectionLiteralExpImpl
An implementation of the model object 'Collection Literal Exp'.
|
class |
CollectionLiteralPartImpl
An implementation of the model object 'Collection Literal Part'.
|
class |
CollectionRangeImpl
An implementation of the model object 'Collection Range'.
|
class |
EnumLiteralExpImpl
An implementation of the model object 'Enum Literal Exp'.
|
class |
FeatureCallExpImpl
An implementation of the model object 'Feature Call Exp'.
|
class |
IfExpImpl
An implementation of the model object 'If Exp'.
|
class |
IntegerLiteralExpImpl
An implementation of the model object 'Integer Literal Exp'.
|
class |
InvalidLiteralExpImpl
An implementation of the model object 'Invalid Literal Exp'.
|
class |
IterateExpImpl
An implementation of the model object 'Iterate Exp'.
|
class |
IteratorExpImpl
An implementation of the model object 'Iterator Exp'.
|
class |
LetExpImpl
An implementation of the model object 'Let Exp'.
|
class |
LiteralExpImpl
An implementation of the model object 'Literal Exp'.
|
class |
LoopExpImpl
An implementation of the model object 'Loop Exp'.
|
class |
MessageExpImpl
An implementation of the model object 'Message Exp'.
|
class |
NavigationCallExpImpl
An implementation of the model object 'Navigation Call Exp'.
|
class |
NullLiteralExpImpl
An implementation of the model object 'Null Literal Exp'.
|
class |
NumericLiteralExpImpl
An implementation of the model object 'Numeric Literal Exp'.
|
class |
OCLExpressionImpl
An implementation of the model object 'OCL Expression'.
|
class |
OperationCallExpImpl
An implementation of the model object 'Operation Call Exp'.
|
class |
OppositePropertyCallExpImpl
An implementation of the model object 'Opposite Property Call Exp'.
|
class |
PrimitiveLiteralExpImpl
An implementation of the model object 'Primitive Literal Exp'.
|
class |
PropertyCallExpImpl
An implementation of the model object 'Property Call Exp'.
|
class |
RealLiteralExpImpl
An implementation of the model object 'Real Literal Exp'.
|
class |
StateExpImpl
An implementation of the model object 'State Exp'.
|
class |
StringLiteralExpImpl
An implementation of the model object 'String Literal Exp'.
|
class |
TupleLiteralExpImpl
An implementation of the model object 'Tuple Literal Exp'.
|
class |
TupleLiteralPartImpl
An implementation of the model object 'Tuple Literal Part'.
|
class |
TypeExpImpl
An implementation of the model object 'Type Exp'.
|
class |
UnlimitedNaturalLiteralExpImpl
An implementation of the model object 'Unlimited Natural Literal Exp'.
|
class |
UnspecifiedValueExpImpl
An implementation of the model object 'Unspecified Value Exp'.
|
class |
VariableExpImpl
An implementation of the model object 'Variable Exp'.
|
class |
VariableImpl
An implementation of the model object 'Variable'.
|
Modifier and Type | Method and Description |
---|---|
void |
UMLReflectionImpl.setName(TypedElement<org.eclipse.emf.ecore.EClassifier> element,
java.lang.String name) |
void |
UMLReflectionImpl.setType(TypedElement<org.eclipse.emf.ecore.EClassifier> element,
org.eclipse.emf.ecore.EClassifier type) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
<C> T |
EcoreSwitch.caseTypedElement(TypedElement<C> object)
Returns the result of interpreting the object as an instance of 'Typed Element'.
|
Modifier and Type | Method and Description |
---|---|
static ToStringVisitor |
ToStringVisitor.getInstance(TypedElement<org.eclipse.emf.ecore.EClassifier> element)
Obtains an instance of the toString() visitor for the specified
expression or other typed element.
|
Modifier and Type | Interface and Description |
---|---|
interface |
CallExp<C>
A representation of the model object 'Call Exp'.
|
interface |
CollectionItem<C>
A representation of the model object 'Collection Item'.
|
interface |
CollectionLiteralExp<C>
A representation of the model object 'Collection Literal Exp'.
|
interface |
CollectionLiteralPart<C>
A representation of the model object 'Collection Literal Part'.
|
interface |
CollectionRange<C>
A representation of the model object 'Collection Range'.
|
interface |
EnumLiteralExp<C,EL>
A representation of the model object 'Enum Literal Exp'.
|
interface |
FeatureCallExp<C>
A representation of the model object 'Feature Call Exp'.
|
interface |
IfExp<C>
A representation of the model object 'If Exp'.
|
interface |
InvalidLiteralExp<C>
A representation of the model object 'Invalid Literal Exp'.
|
interface |
LetExp<C,PM>
A representation of the model object 'Let Exp'.
|
interface |
LiteralExp<C>
A representation of the model object 'Literal Exp'.
|
interface |
LoopExp<C,PM>
A representation of the model object 'Loop Exp'.
|
interface |
MessageExp<C,COA,SSA>
A representation of the model object 'Message Exp'.
|
interface |
NullLiteralExp<C>
A representation of the model object 'Null Literal Exp'.
|
interface |
OCLExpression<C>
A representation of the model object 'OCL Expression'.
|
interface |
PrimitiveLiteralExp<C>
A representation of the model object 'Primitive Literal Exp'.
|
interface |
StateExp<C,S>
A representation of the model object 'State Exp'.
|
interface |
TupleLiteralExp<C,P>
A representation of the model object 'Tuple Literal Exp'.
|
interface |
TupleLiteralPart<C,P>
A representation of the model object 'Tuple Literal Part'.
|
interface |
TypeExp<C>
A representation of the model object 'Type Exp'.
|
interface |
UnspecifiedValueExp<C>
A representation of the model object 'Unspecified Value Exp'.
|
interface |
Variable<C,PM>
A representation of the model object 'Variable'.
|
interface |
VariableExp<C,PM>
A representation of the model object 'Variable Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C> T |
ExpressionsSwitch.caseTypedElement(TypedElement<C> object)
Returns the result of interpreting the object as an instance of 'Typed Element'.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.List<O> |
CachedTypeChecker.getBestMatchingOperations(C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
protected TupleType<O,P> |
BasicTypeChecker.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
AbstractOCLAnalyzer.isErrorNode(TypedElement<C> expr)
Queries whether the specified expression is a placeholder that was
created for an expression that failed to parse.
|
protected boolean |
OCLAnalyzer.isErrorNode(TypedElement<C> expr) |
protected void |
AbstractOCLAnalyzer.markAsErrorNode(TypedElement<C> expr)
Marks the specified (sub)expression as a placeholder for an expression
that could not be parsed.
|
protected void |
OCLAnalyzer.markAsErrorNode(TypedElement<C> expr) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryWithHistory.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
protected C |
AbstractOCLAnalyzer.getTupleType(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) |
protected O |
AbstractOCLAnalyzer.lookupOperation(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
protected C |
AbstractOCLAnalyzer.lookupSignal(CSTNode cstNode,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args) |
protected java.lang.String |
AbstractOCLAnalyzer.operationString(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
java.lang.String operName,
java.util.List<? extends TypedElement<C>> args)
Constructs the string representation of an operation call.
|
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
TypesFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Interface and Description |
---|---|
interface |
AssociationClassCallExp
A representation of the model object 'Association Class Call Exp'.
|
interface |
BooleanLiteralExp
A representation of the model object 'Boolean Literal Exp'.
|
interface |
IntegerLiteralExp
A representation of the model object 'Integer Literal Exp'.
|
interface |
IterateExp
A representation of the model object 'Iterate Exp'.
|
interface |
IteratorExp
A representation of the model object 'Iterator Exp'.
|
interface |
NavigationCallExp
A representation of the model object 'Navigation Call Exp'.
|
interface |
NumericLiteralExp
A representation of the model object 'Numeric Literal Exp'.
|
interface |
OperationCallExp
A representation of the model object 'Operation Call Exp'.
|
interface |
PropertyCallExp
A representation of the model object 'Property Call Exp'.
|
interface |
RealLiteralExp
A representation of the model object 'Real Literal Exp'.
|
interface |
StringLiteralExp
A representation of the model object 'String Literal Exp'.
|
interface |
UnlimitedNaturalLiteralExp
A representation of the model object 'Unlimited Natural Literal Exp'.
|
Modifier and Type | Method and Description |
---|---|
void |
UMLReflectionImpl.setName(TypedElement<org.eclipse.uml2.uml.Classifier> element,
java.lang.String name) |
void |
UMLReflectionImpl.setType(TypedElement<org.eclipse.uml2.uml.Classifier> element,
org.eclipse.uml2.uml.Classifier type) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
<C> T |
UMLSwitch.caseUtilities_TypedElement(TypedElement<C> object)
Returns the result of interpreting the object as an instance of 'Typed Element'.
|
Modifier and Type | Method and Description |
---|---|
static <C,O,P,EL,PM,S,COA,SSA,CT> |
ToStringVisitor.getInstance(TypedElement<C> element)
Obtains an instance of the toString() visitor for the specified
expression or other typed element.
|
Modifier and Type | Method and Description |
---|---|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.findOperationMatching(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Finds the most specific (re)definition of an operation by signature in the
specified classifier.
|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.findSignalMatching(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C receiver,
java.util.List<C> signals,
java.lang.String name,
java.util.List<? extends TypedElement<C>> args)
Find a matching signal in the specified list.
|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.getResultType(java.lang.Object problemObject,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
O operation,
java.util.List<? extends TypedElement<C>> args)
Obtains the effective result type of the specified operation, which may
or may not have parameters type by generic type variables.
|
static <PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> |
OCLStandardLibraryUtil.getResultTypeOf(Environment<PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> env,
C sourceType,
int opcode,
java.util.List<? extends TypedElement<C>> args)
Deprecated.
Use the
OCLStandardLibraryUtil.getResultTypeOf(Object, Environment, Object, int, List)
method, instead, which doesn't fail on the first problem |
static <PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> |
OCLStandardLibraryUtil.getResultTypeOf(java.lang.Object problemObject,
Environment<PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> env,
C sourceType,
int opcode,
java.util.List<? extends TypedElement<C>> args)
Obtains the result type of the specified operation from the OCL Standard
Library.
|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.matchArgs(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C owner,
java.util.List<?> paramsOrProperties,
java.util.List<? extends TypedElement<C>> args)
Compares an actual argument list against the signature of an operation
or a signal.
|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.resolveTupleType(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Resolves a tuple type against the tuple types previously generated
and persisted in the environment.
|
Modifier and Type | Method and Description |
---|---|
void |
UMLReflection.setName(TypedElement<C> element,
java.lang.String name)
Sets the name of the specified typed element.
|
void |
UMLReflection.setType(TypedElement<C> element,
C type)
Sets the type of the specified typed element.
|
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactory.createTupleType(java.util.List<? extends TypedElement<C>> parts)
Creates a tuple type based on tthe specified part descriptions.
|
Modifier and Type | Method and Description |
---|---|
<C> T1 |
UtilitiesSwitch.caseTypedElement(TypedElement<C> object)
Returns the result of interpreting the object as an instance of 'Typed Element'.
|