Uses of Interface
org.eclipse.ocl.utilities.TypedElement

Packages that use TypedElement

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.

Uses of TypedElement in org.eclipse.ocl

Method parameters in org.eclipse.ocl with type arguments of type TypedElement

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.

Uses of TypedElement in org.eclipse.ocl.ecore

Subinterfaces of TypedElement in org.eclipse.ocl.ecore

interface

OppositePropertyCallExp A representation of the model object 'Opposite Property Call Exp'.

Uses of TypedElement in org.eclipse.ocl.ecore.impl

Classes in org.eclipse.ocl.ecore.impl that implement TypedElement

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'.

Uses of TypedElement in org.eclipse.ocl.ecore.internal

Methods in org.eclipse.ocl.ecore.internal with parameters of type TypedElement

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)

Method parameters in org.eclipse.ocl.ecore.internal with type arguments of type TypedElement

<C,O,P> TupleType<O,P>

OCLFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts)

Uses of TypedElement in org.eclipse.ocl.ecore.util

Methods in org.eclipse.ocl.ecore.util with parameters of type TypedElement

<C> T

EcoreSwitch.caseTypedElement(TypedElement<C> object) Returns the result of interpreting the object as an instance of 'Typed Element'.

Uses of TypedElement in org.eclipse.ocl.ecore.utilities

Methods in org.eclipse.ocl.ecore.utilities with parameters of type TypedElement

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.

Uses of TypedElement in org.eclipse.ocl.expressions

Subinterfaces of TypedElement in org.eclipse.ocl.expressions

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'.

Uses of TypedElement in org.eclipse.ocl.expressions.util

Methods in org.eclipse.ocl.expressions.util with parameters of type TypedElement

<C> T

ExpressionsSwitch.caseTypedElement(TypedElement<C> object) Returns the result of interpreting the object as an instance of 'Typed Element'.

Uses of TypedElement in org.eclipse.ocl.internal.evaluation

Method parameters in org.eclipse.ocl.internal.evaluation with type arguments of type TypedElement

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)

Uses of TypedElement in org.eclipse.ocl.parser

Methods in org.eclipse.ocl.parser with parameters of type TypedElement

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)

Method parameters in org.eclipse.ocl.parser with type arguments of type TypedElement

<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.

Uses of TypedElement in org.eclipse.ocl.types.impl

Method parameters in org.eclipse.ocl.types.impl with type arguments of type TypedElement

<C,O,P> TupleType<O,P>

TypesFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts)

Uses of TypedElement in org.eclipse.ocl.uml

Subinterfaces of TypedElement in org.eclipse.ocl.uml

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'.

Uses of TypedElement in org.eclipse.ocl.uml.internal

Methods in org.eclipse.ocl.uml.internal with parameters of type TypedElement

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)

Method parameters in org.eclipse.ocl.uml.internal with type arguments of type TypedElement

<C,O,P> TupleType<O,P>

OCLFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts)

Uses of TypedElement in org.eclipse.ocl.uml.util

Methods in org.eclipse.ocl.uml.util with parameters of type TypedElement

<C> T

UMLSwitch.caseUtilities_TypedElement(TypedElement<C> object) Returns the result of interpreting the object as an instance of 'Typed Element'.

Uses of TypedElement in org.eclipse.ocl.util

Methods in org.eclipse.ocl.util with parameters of type TypedElement

static <C,O,P,EL,PM,S,COA,SSA,CT> ToStringVisitor<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.

Method parameters in org.eclipse.ocl.util with type arguments of type TypedElement

static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> O	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> C	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> C	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> C	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> C	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> boolean	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> C	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.

Uses of TypedElement in org.eclipse.ocl.utilities

Methods in org.eclipse.ocl.utilities with parameters of type TypedElement

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.

Method parameters in org.eclipse.ocl.utilities with type arguments of type TypedElement

<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.

Uses of TypedElement in org.eclipse.ocl.utilities.util

Methods in org.eclipse.ocl.utilities.util with parameters of type TypedElement

<C> T1

UtilitiesSwitch.caseTypedElement(TypedElement<C> object) Returns the result of interpreting the object as an instance of 'Typed Element'.