## 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.util: Generated utilities for working with instances the Ecore binding of the `Types` package of the OCL Abstract Syntax.
org.eclipse.ocl.expressions: Specification of the `Expressions` package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.impl: Implementation 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.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.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(EList<? extends TypedElement<C>> parts)` Creates a new tuple type from the specified `parts`, assuming that it does not already exist.
`O` `TypeChecker.findOperationMatching(C owner, String name, List<? extends TypedElement<C>> args)` Finds an operation by signature in the specified classifier.
`O` `AbstractTypeChecker.findOperationMatching(C owner, String name, List<? extends TypedElement<C>> args)`
`C` `TypeChecker.findSignalMatching(C receiver, List<C> signals, String name, List<? extends TypedElement<C>> args)` Find a matching signal in the specified list.
`C` `AbstractTypeChecker.findSignalMatching(C receiver, List<C> signals, String name, List<? extends TypedElement<C>> args)`
`protected TupleType<O,P>` `AbstractTypeResolver.findTupleType(EList<? extends TypedElement<C>> parts)` Finds an existing tuple type matching the specified `parts`, if any has already been created.
`C` `TypeChecker.getResultType(Object problemObject, C owner, O operation, 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.
`C` `AbstractTypeChecker.getResultType(Object problemObject, C owner, O operation, List<? extends TypedElement<C>> args)`
`Variable<C,PM>` `Environment.lookupImplicitSourceForOperation(String name, List<? extends TypedElement<C>> args)` Return an implicit variable declaration that defines the specified operation signature.
`Variable<C,PM>` `AbstractEnvironment.lookupImplicitSourceForOperation(String name, List<? extends TypedElement<C>> args)`
`Variable<C,PM>` `Environment.lookupImplicitSourceForSignal(String name, List<? extends TypedElement<C>> args)` Return an implicit variable declaration that defines the specified signal reception signature.
`Variable<C,PM>` `AbstractEnvironment.lookupImplicitSourceForSignal(String name, List<? extends TypedElement<C>> args)`
`O` `Environment.lookupOperation(C owner, String name, List<? extends TypedElement<C>> args)` Find an operation in the specified class.
`O` `AbstractEnvironment.lookupOperation(C owner, String name, List<? extends TypedElement<C>> args)`
`C` `Environment.lookupSignal(C owner, String name, List<? extends TypedElement<C>> args)` Finds a received signal in the specified classifier.
`C` `AbstractEnvironment.lookupSignal(C owner, String name, List<? extends TypedElement<C>> args)`
`boolean` `TypeChecker.matchArgs(C owner, List<?> paramsOrProperties, List<? extends TypedElement<C>> args)` Compares an actual argument list against the signature of an operation or a signal.
`boolean` `AbstractTypeChecker.matchArgs(C owner, List<?> paramsOrProperties, List<? extends TypedElement<C>> args)`
`TupleType<O,P>` `TypeResolver.resolveTupleType(EList<? extends TypedElement<C>> parts)` Resolves the tuple type consisting of the specified `parts`, in no particular order, either created anew or previously created.
`TupleType<O,P>` `AbstractTypeResolver.resolveTupleType(EList<? extends TypedElement<C>> parts)`
`protected abstract TupleType<O,P>` `AbstractTypeChecker.resolveTupleType(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.
`O` `Environment.Lookup.tryLookupOperation(C owner, String name, List<? extends TypedElement<C>> args)` Find an operation in the specified class.
`O` `AbstractEnvironment.tryLookupOperation(C owner, String name, List<? extends TypedElement<C>> args)` This default implementation simply delegates to the `Environment.lookupOperation(Object, String, List)` method.
`C` `Environment.Lookup.tryLookupSignal(C owner, String name, List<? extends TypedElement<C>> args)` Finds a received signal in the specified classifier.
`C` `AbstractEnvironment.tryLookupSignal(C owner, String name, List<? extends TypedElement<C>> args)` This default implementation simply delegates to the `Environment.lookupSignal(Object, String, List)` method.

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

Subinterfaces of TypedElement in org.eclipse.ocl.expressions
`interface` `AssociationClassCallExp<C,P>` A representation of the model object 'Association Class Call Exp'
`interface` `BooleanLiteralExp<C>` A representation of the model object 'Boolean Literal Exp'
`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` `IntegerLiteralExp<C>` A representation of the model object 'Integer Literal Exp'
`interface` `InvalidLiteralExp<C>` A representation of the model object 'Invalid Literal Exp'
`interface` `IterateExp<C,PM>` A representation of the model object 'Iterate Exp'
`interface` `IteratorExp<C,PM>` A representation of the model object 'Iterator 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` `NavigationCallExp<C,P>` A representation of the model object 'Navigation Call Exp'
`interface` `NullLiteralExp<C>` A representation of the model object 'Null Literal Exp'
`interface` `NumericLiteralExp<C>` A representation of the model object 'Numeric Literal Exp'
`interface` `OCLExpression<C>` A representation of the model object 'OCL Expression'
`interface` `OperationCallExp<C,O>` A representation of the model object 'Operation Call Exp'
`interface` `PrimitiveLiteralExp<C>` A representation of the model object 'Primitive Literal Exp'
`interface` `PropertyCallExp<C,P>` A representation of the model object 'Property Call Exp'
`interface` `RealLiteralExp<C>` A representation of the model object 'Real Literal Exp'
`interface` `StateExp<C,S>` A representation of the model object 'State Exp'
`interface` `StringLiteralExp<C>` A representation of the model object 'String Literal 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` `UnlimitedNaturalLiteralExp<C>` A representation of the model object 'Unlimited Natural Literal 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.impl

Classes in org.eclipse.ocl.expressions.impl that implement TypedElement
`class` `AssociationClassCallExpImpl<C,P>` An implementation of the model object 'Association Class Call Exp'
`class` `BooleanLiteralExpImpl<C>` An implementation of the model object 'Boolean Literal Exp'
`class` `CallExpImpl<C>` An implementation of the model object 'Call Exp'
`class` `CollectionItemImpl<C>` An implementation of the model object 'Collection Item'
`class` `CollectionLiteralExpImpl<C>` An implementation of the model object 'Collection Literal Exp'
`class` `CollectionLiteralPartImpl<C>` An implementation of the model object 'Collection Literal Part'
`class` `CollectionRangeImpl<C>` An implementation of the model object 'Collection Range'
`class` `EnumLiteralExpImpl<C,EL>` An implementation of the model object 'Enum Literal Exp'
`class` `FeatureCallExpImpl<C>` An implementation of the model object 'Feature Call Exp'
`class` `IfExpImpl<C>` An implementation of the model object 'If Exp'
`class` `IntegerLiteralExpImpl<C>` An implementation of the model object 'Integer Literal Exp'
`class` `InvalidLiteralExpImpl<C>` An implementation of the model object 'Invalid Literal Exp'
`class` `IterateExpImpl<C,PM>` An implementation of the model object 'Iterate Exp'
`class` `IteratorExpImpl<C,PM>` An implementation of the model object 'Iterator Exp'
`class` `LetExpImpl<C,PM>` An implementation of the model object 'Let Exp'
`class` `LiteralExpImpl<C>` An implementation of the model object 'Literal Exp'
`class` `LoopExpImpl<C,PM>` An implementation of the model object 'Loop Exp'
`class` `MessageExpImpl<C,COA,SSA>` An implementation of the model object 'Message Exp'
`class` `NavigationCallExpImpl<C,P>` An implementation of the model object 'Navigation Call Exp'
`class` `NullLiteralExpImpl<C>` An implementation of the model object 'Null Literal Exp'
`class` `NumericLiteralExpImpl<C>` An implementation of the model object 'Numeric Literal Exp'
`class` `OCLExpressionImpl<C>` An implementation of the model object 'OCL Expression'
`class` `OperationCallExpImpl<C,O>` An implementation of the model object 'Operation Call Exp'
`class` `PrimitiveLiteralExpImpl<C>` An implementation of the model object 'Primitive Literal Exp'
`class` `PropertyCallExpImpl<C,P>` An implementation of the model object 'Property Call Exp'
`class` `RealLiteralExpImpl<C>` An implementation of the model object 'Real Literal Exp'
`class` `StateExpImpl<C,S>` An implementation of the model object 'State Exp'
`class` `StringLiteralExpImpl<C>` An implementation of the model object 'String Literal Exp'
`class` `TupleLiteralExpImpl<C,P>` An implementation of the model object 'Tuple Literal Exp'
`class` `TupleLiteralPartImpl<C,P>` An implementation of the model object 'Tuple Literal Part'
`class` `TypeExpImpl<C>` An implementation of the model object 'Type Exp'
`class` `UnlimitedNaturalLiteralExpImpl<C>` An implementation of the model object 'Unlimited Natural Literal Exp'
`class` `UnspecifiedValueExpImpl<C>` An implementation of the model object 'Unspecified Value Exp'
`class` `VariableExpImpl<C,PM>` An implementation of the model object 'Variable Exp'
`class` `VariableImpl<C,PM>` An implementation of the model object 'Variable'

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

Methods in org.eclipse.ocl.parser with parameters of type TypedElement
`protected boolean` `OCLAnalyzer.isErrorNode(TypedElement<C> expr)`
`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 void` `OCLAnalyzer.markAsErrorNode(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.

Method parameters in org.eclipse.ocl.parser with type arguments of type TypedElement
`protected C` `AbstractOCLAnalyzer.getTupleType(CSTNode cstNode, Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, 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, String name, 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, String name, List<? extends TypedElement<C>> args)`
`protected String` `AbstractOCLAnalyzer.operationString(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, String operName, 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(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, String name, 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, List<C> signals, String name, 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(Object problemObject, Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env, C owner, O operation, 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, 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(Object problemObject, Environment<PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> env, C sourceType, int opcode, 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, List<?> paramsOrProperties, 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, 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, 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(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'

Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved.