Uses of Class
org.eclipse.ocl.examples.pivot.utilities.TypeManager

Packages that use TypeManager

org.eclipse.ocl.examples.library
org.eclipse.ocl.examples.library.iterator
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.delegate
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.pivot.values
org.eclipse.ocl.examples.pivot.values.impl
org.eclipse.ocl.examples.xtext.base.cs2pivot
org.eclipse.ocl.examples.xtext.base.pivot2cs
org.eclipse.ocl.examples.xtext.base.scope
org.eclipse.ocl.examples.xtext.base.scoping.cs
org.eclipse.ocl.examples.xtext.base.scoping.pivot
org.eclipse.ocl.examples.xtext.base.utilities
org.eclipse.ocl.examples.xtext.completeocl.cs2pivot
org.eclipse.ocl.examples.xtext.completeocl.scoping
org.eclipse.ocl.examples.xtext.completeocl.utilities
org.eclipse.ocl.examples.xtext.console
org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot
org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs
org.eclipse.ocl.examples.xtext.essentialocl.scoping
org.eclipse.ocl.examples.xtext.essentialocl.utilities
org.eclipse.ocl.examples.xtext.oclinecore.cs2pivot
org.eclipse.ocl.examples.xtext.oclinecore.pivot2cs
org.eclipse.ocl.examples.xtext.oclinecore.scoping
org.eclipse.ocl.examples.xtext.oclinecore.utilities
org.eclipse.ocl.examples.xtext.oclstdlib.cs2pivot
org.eclipse.ocl.examples.xtext.oclstdlib.scoping
org.eclipse.ocl.examples.xtext.oclstdlib.utilities

Uses of TypeManager in org.eclipse.ocl.examples.library

Methods in org.eclipse.ocl.examples.library with parameters of type TypeManager

org.eclipse.emf.common.util.Diagnostic

AbstractFeature.validate(TypeManager typeManager, CallExp callExp)

Uses of TypeManager in org.eclipse.ocl.examples.library.iterator

Methods in org.eclipse.ocl.examples.library.iterator with parameters of type TypeManager

Type	SortedByIteration.SortingValue.getType(TypeManager typeManager, Type staticType)
org.eclipse.emf.common.util.Diagnostic	ClosureIteration.validate(TypeManager typeManager, CallExp callExp)
org.eclipse.emf.common.util.Diagnostic	SortedByIteration.validate(TypeManager typeManager, CallExp callExp)

Uses of TypeManager in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot that return TypeManager

TypeManager	Environment.getTypeManager()
TypeManager	OCLBase.getTypeManager()

Uses of TypeManager in org.eclipse.ocl.examples.pivot.delegate

Fields in org.eclipse.ocl.examples.pivot.delegate declared as TypeManager

protected TypeManager

OCLDelegateDomain.typeManager

Methods in org.eclipse.ocl.examples.pivot.delegate that return TypeManager

TypeManager

OCLDelegateDomain.getTypeManager()

Methods in org.eclipse.ocl.examples.pivot.delegate with parameters of type TypeManager

Constraint	ValidationBehavior.getConstraint(TypeManager typeManager, org.eclipse.emf.ecore.EClassifier eClassifier, java.lang.String constraintName)
protected ExpressionInOcl	AbstractDelegatedBehavior.getExpressionInOcl(TypeManager typeManager, NamedElement namedElement, Constraint constraint)
ExpressionInOcl	InvocationBehavior.getExpressionInOcl(TypeManager typeManager, Operation operation) Return the operation body associated with operation, if necessary using ocl to create the relevant parsing environment for a textual definition.
ExpressionInOcl	SettingBehavior.getExpressionInOcl(TypeManager typeManager, Property property) Return the feature body associated with structuralFeature, if necessary using ocl to create the relevant parsing environment for a textual definition..
static void	PivotInstaller.installDelegates(TypeManager typeManager, Package pivotPackage)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.ecore

Fields in org.eclipse.ocl.examples.pivot.ecore declared as TypeManager

protected TypeManager	Ecore2Pivot.typeManager
protected TypeManager	Pivot2Ecore.typeManager

Methods in org.eclipse.ocl.examples.pivot.ecore that return TypeManager

TypeManager	Ecore2Pivot.getTypeManager()
TypeManager	Pivot2Ecore.getTypeManager()

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type TypeManager

static java.util.List<org.eclipse.emf.ecore.EObject>	Pivot2Ecore.createResource(TypeManager typeManager, org.eclipse.emf.ecore.resource.Resource pivotResource)
static org.eclipse.emf.ecore.xmi.XMLResource	Pivot2Ecore.createResource(TypeManager typeManager, org.eclipse.emf.ecore.resource.Resource pivotResource, org.eclipse.emf.common.util.URI ecoreURI)
static Ecore2Pivot	Ecore2Pivot.findAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)
static Ecore2Pivot	Ecore2Pivot.getAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)
static Element	Ecore2Pivot.importFromEcore(TypeManager typeManager, java.lang.String alias, org.eclipse.emf.ecore.EObject eObject) Convert an (annotated) Ecore object to a pivot element.
static Package	Ecore2Pivot.importFromEcore(TypeManager typeManager, java.lang.String alias, org.eclipse.emf.ecore.resource.Resource ecoreResource) Convert an (annotated) Ecore resource to a Pivot Model.
static void	Pivot2Ecore.installDelegates(TypeManager typeManager, org.eclipse.emf.ecore.EClassifier eClassifier, Type pivotType)
org.eclipse.emf.common.util.Diagnostic	EObjectOperation.validate(TypeManager typeManager, CallExp callExp)
org.eclipse.emf.common.util.Diagnostic	EObjectProperty.validate(TypeManager typeManager, CallExp callExp)

Constructors in org.eclipse.ocl.examples.pivot.ecore with parameters of type TypeManager

Ecore2Pivot(org.eclipse.emf.ecore.resource.Resource ecoreResource, TypeManager typeManager)

Pivot2Ecore(TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.evaluation

Fields in org.eclipse.ocl.examples.pivot.evaluation declared as TypeManager

protected TypeManager	AbstractEvaluationEnvironment.typeManager
protected TypeManager	AbstractEvaluationVisitor.typeManager
protected TypeManager	PivotModelManager.typeManager

Methods in org.eclipse.ocl.examples.pivot.evaluation that return TypeManager

TypeManager	AbstractEvaluationEnvironment.getTypeManager()
TypeManager	AbstractEvaluationVisitor.getTypeManager()
TypeManager	EvaluationEnvironment.getTypeManager() Obtains the Java-language value of the specified enumeration literal.
TypeManager	EvaluationVisitor.getTypeManager()
TypeManager	TracingEvaluationVisitor.getTypeManager()

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type TypeManager

org.eclipse.emf.common.util.Diagnostic

CallableImplementation.validate(TypeManager typeManager, CallExp callExp)

Constructors in org.eclipse.ocl.examples.pivot.evaluation with parameters of type TypeManager

AbstractEvaluationEnvironment(TypeManager typeManager)

PivotEvaluationEnvironment(TypeManager typeManager)
Initializes me.

PivotModelManager(TypeManager typeManager, org.eclipse.emf.ecore.EObject context)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.library

Methods in org.eclipse.ocl.examples.pivot.library with parameters of type TypeManager

org.eclipse.emf.common.util.Diagnostic	AbstractCallableImplementation.validate(TypeManager typeManager, CallExp callExp)
org.eclipse.emf.common.util.Diagnostic	JavaComparisonOperation.validate(TypeManager typeManager, CallExp callExp)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.prettyprint

Fields in org.eclipse.ocl.examples.pivot.prettyprint declared as TypeManager

protected TypeManager

PrettyPrintNameVisitor.typeManager

Uses of TypeManager in org.eclipse.ocl.examples.pivot.uml

Fields in org.eclipse.ocl.examples.pivot.uml declared as TypeManager

protected TypeManager	Pivot2UML.typeManager
protected TypeManager	UML2Pivot.typeManager

Methods in org.eclipse.ocl.examples.pivot.uml that return TypeManager

TypeManager	Pivot2UML.getTypeManager()
protected TypeManager	UML2Pivot.getTypeManager()

Methods in org.eclipse.ocl.examples.pivot.uml with parameters of type TypeManager

static java.util.List<org.eclipse.emf.ecore.EObject>	Pivot2UML.createResource(TypeManager typeManager, org.eclipse.emf.ecore.resource.Resource pivotResource)
static UML2Ecore2Pivot	UML2Ecore2Pivot.getAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)
static UML2Pivot	UML2Pivot.getAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)
static Element	UML2Pivot.importFromUML(TypeManager typeManager, java.lang.String alias, org.eclipse.emf.ecore.EObject eObject) Convert an (annotated) Ecore object to a pivot element.
static Package	UML2Ecore2Pivot.importFromUML(TypeManager typeManager, java.lang.String alias, org.eclipse.emf.ecore.resource.Resource umlResource) Convert an (annotated) Ecore resource to a Pivot Model.
static Package	UML2Pivot.importFromUML(TypeManager typeManager, java.lang.String alias, org.eclipse.emf.ecore.resource.Resource ecoreResource) Convert an (annotated) Ecore resource to a Pivot Model.

Constructors in org.eclipse.ocl.examples.pivot.uml with parameters of type TypeManager

Pivot2UML(TypeManager typeManager)

UML2Ecore2Pivot(org.eclipse.emf.ecore.resource.Resource umlResource, TypeManager typeManager)

UML2Pivot(org.eclipse.emf.ecore.resource.Resource umlResource, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.utilities

Fields in org.eclipse.ocl.examples.pivot.utilities declared as TypeManager

protected TypeManager	PivotEnvironmentFactory.typeManager
protected TypeManager	TypeManagerResourceAdapter.typeManager
protected TypeManager	TypeManagerResourceSetAdapter.typeManager

Methods in org.eclipse.ocl.examples.pivot.utilities that return TypeManager

TypeManager	EnvironmentResourceAdapter.createTypeManager()
static TypeManager	TypeManager.findAdapter(org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
static TypeManager	TypeManager.getAdapter(org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
TypeManager	PivotEnvironment.getTypeManager()
TypeManager	PivotEnvironmentFactory.getTypeManager()
TypeManager	TypeManagerResourceAdapter.getTypeManager()
TypeManager	TypeManagerResourceSetAdapter.getTypeManager()
static TypeManager	PivotUtil.getTypeManager(org.eclipse.emf.ecore.resource.Resource resource)

Methods in org.eclipse.ocl.examples.pivot.utilities with parameters of type TypeManager

static org.eclipse.emf.ecore.resource.Resource	PivotUtil.createXtextResource(TypeManager typeManager, org.eclipse.emf.common.util.URI uri, NamedElement typeContext, java.lang.String expression) Create an Xtext resource containing the parsed expression within a typeContext and supervised by a typeManager.
static Type	PivotUtil.findTypeOf(TypeManager typeManager, org.eclipse.emf.ecore.EClassifier eClass)
static TypeManagerResourceSetAdapter	TypeManagerResourceSetAdapter.getAdapter(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, TypeManager typeManager)
static TypeManagerResourceAdapter	TypeManagerResourceAdapter.getAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)
Element	TypeManager.Factory.importFromResource(TypeManager typeManager, org.eclipse.emf.ecore.resource.Resource resource, java.lang.String uriFragment) Return the root element in the Pivot resource resulting from import of the available resource.
boolean	TypeManagedAdapter.isAdapterFor(TypeManager typeManager)
static ExpressionInOcl	PivotUtil.resolveMessage(TypeManager typeManager, org.eclipse.emf.common.util.URI uri, ExpressionInOcl specification, java.lang.String expression)
static ExpressionInOcl	PivotUtil.resolveSpecification(TypeManager typeManager, org.eclipse.emf.common.util.URI uri, NamedElement contextClassifier, java.lang.String expression)

Constructors in org.eclipse.ocl.examples.pivot.utilities with parameters of type TypeManager

PivotEnvironmentFactory(org.eclipse.emf.ecore.EPackage.Registry reg, TypeManager typeManager)
Initializes me with an EPackage.Registry that the environments I create will use to look up packages.

TypeManagerResourceAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)

TypeManagerResourceSetAdapter(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.values

Methods in org.eclipse.ocl.examples.pivot.values with parameters of type TypeManager

Type	Value.getType(TypeManager typeManager, Type staticType)

Uses of TypeManager in org.eclipse.ocl.examples.pivot.values.impl

Methods in org.eclipse.ocl.examples.pivot.values.impl with parameters of type TypeManager

Type	BagValueImpl.getType(TypeManager typeManager, Type staticType)
Type	BooleanValueImpl.getType(TypeManager typeManager, Type staticType)
Type	ElementValueImpl.getType(TypeManager typeManager, Type staticType)
Type	IntegerRangeValueImpl.getType(TypeManager typeManager, Type staticType)
Type	IntegerValueImpl.getType(TypeManager typeManager, Type staticType)
Type	InvalidValueImpl.getType(TypeManager typeManager, Type staticType)
Type	NullValueImpl.getType(TypeManager typeManager, Type staticType)
Type	ObjectValueImpl.getType(TypeManager typeManager, Type staticType)
Type	OrderedSetValueImpl.getType(TypeManager typeManager, Type staticType)
Type	RealValueImpl.getType(TypeManager typeManager, Type staticType)
Type	SequenceValueImpl.getType(TypeManager typeManager, Type staticType)
Type	SetValueImpl.getType(TypeManager typeManager, Type staticType)
Type	StringValueImpl.getType(TypeManager typeManager, Type staticType)
Type	TupleValueImpl.getType(TypeManager typeManager, Type staticType)
ClassifierType	TypeValueImpl.getType(TypeManager typeManager, Type staticType)
Type	UnlimitedValueImpl.getType(TypeManager typeManager, Type staticType)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.base.cs2pivot

Fields in org.eclipse.ocl.examples.xtext.base.cs2pivot declared as TypeManager

protected TypeManager	CS2Pivot.typeManager
protected TypeManager	CS2PivotConversion.typeManager

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot that return TypeManager

TypeManager	CS2Pivot.getTypeManager()
TypeManager	CS2PivotConversion.getTypeManager()

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot that return types with arguments of type TypeManager

BaseCSVisitor<ScopeCSAdapter,TypeManager>	CS2Pivot.Factory.createScopeVisitor(TypeManager typeManager)
BaseCSVisitor<ScopeCSAdapter,TypeManager>	CS2Pivot.getScopeVisitor(org.eclipse.emf.ecore.EPackage ePackage)

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot with parameters of type TypeManager

BaseCSVisitor<ScopeCSAdapter,TypeManager>

CS2Pivot.Factory.createScopeVisitor(TypeManager typeManager)

Constructors in org.eclipse.ocl.examples.xtext.base.cs2pivot with parameters of type TypeManager

BaseCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

BaseScopeVisitor(TypeManager context)

CS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

PivotScopeVisitor(TypeManager context)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.base.pivot2cs

Fields in org.eclipse.ocl.examples.xtext.base.pivot2cs declared as TypeManager

protected TypeManager	Pivot2CS.typeManager
protected TypeManager	Pivot2CSConversion.typeManager

Methods in org.eclipse.ocl.examples.xtext.base.pivot2cs that return TypeManager

TypeManager	Pivot2CS.getTypeManager()
TypeManager	Pivot2CSConversion.getTypeManager()

Constructors in org.eclipse.ocl.examples.xtext.base.pivot2cs with parameters of type TypeManager

BasePivot2CS(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Pivot2CS(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.base.scope

Fields in org.eclipse.ocl.examples.xtext.base.scope declared as TypeManager

protected TypeManager	BaseScopeView.typeManager
protected TypeManager	EnvironmentView.typeManager

Methods in org.eclipse.ocl.examples.xtext.base.scope that return TypeManager

TypeManager	BaseScopeView.getTypeManager()
TypeManager	EnvironmentView.getTypeManager()
TypeManager	ScopeCSAdapter.getTypeManager()

Methods in org.eclipse.ocl.examples.xtext.base.scope with parameters of type TypeManager

ScopeView	ScopeAdapter.getInnerScopeView(TypeManager typeManager, org.eclipse.emf.ecore.EReference targetReference)
ScopeView	ScopeAdapter.getOuterScopeView(TypeManager typeManager, org.eclipse.emf.ecore.EReference targetReference)

Constructors in org.eclipse.ocl.examples.xtext.base.scope with parameters of type TypeManager

AbstractRootCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)

BaseScopeView(TypeManager typeManager, ScopeAdapter scopeAdapter, org.eclipse.emf.ecore.EObject child, org.eclipse.emf.ecore.EStructuralFeature containmentFeature, org.eclipse.emf.ecore.EReference targetReference)

BaseScopeView(TypeManager typeManager, ScopeView scopeView)

EnvironmentView(TypeManager typeManager, org.eclipse.emf.ecore.EStructuralFeature reference, java.lang.String name)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.base.scoping.cs

Fields in org.eclipse.ocl.examples.xtext.base.scoping.cs declared as TypeManager

protected TypeManager

ElementCSScopeAdapter.typeManager

Methods in org.eclipse.ocl.examples.xtext.base.scoping.cs that return TypeManager

TypeManager

ElementCSScopeAdapter.getTypeManager()

Methods in org.eclipse.ocl.examples.xtext.base.scoping.cs with parameters of type TypeManager

boolean

ElementCSScopeAdapter.isAdapterFor(TypeManager typeManager)

Constructors in org.eclipse.ocl.examples.xtext.base.scoping.cs with parameters of type TypeManager

BaseCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)

BaseCSScopeAdapter(TypeManager typeManager, org.eclipse.emf.ecore.EObject csDocumentElement, CS csElement, java.lang.Class<P> pivotClass)

ClassCSScopeAdapter(TypeManager typeManager, ClassCS csElement)

ConstraintCSScopeAdapter(TypeManager typeManager, ConstraintCS csElement)

DataTypeCSScopeAdapter(TypeManager typeManager, DataTypeCS csElement)

DefaultScopeAdapter(TypeManager typeManager, org.eclipse.emf.ecore.EObject eObject)

ElementCSScopeAdapter(TypeManager typeManager, CS csElement)

ElementCSScopeAdapter(TypeManager typeManager, ScopeCSAdapter parent, CS target)

EmptyCSScopeAdapter(TypeManager typeManager, ElementCS csElement)

EnumCSScopeAdapter(TypeManager typeManager, EnumerationCS csElement)

ImportScopeAdapter(TypeManager typeManager, ImportCS csElement)

LambdaTypeCSScopeAdapter(TypeManager typeManager, LambdaTypeCS csElement)

LibraryScopeAdapter(TypeManager typeManager, LibraryCS csElement)

ModelElementCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)
Creates an instance.

ModelElementCSScopeAdapter(TypeManager typeManager, org.eclipse.emf.ecore.EObject csParent, CS csElement, java.lang.Class<P> pivotClass)

MonikeredElementCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)
Creates an instance.

MonikeredElementCSScopeAdapter(TypeManager typeManager, org.eclipse.emf.ecore.EObject csParent, CS csElement, java.lang.Class<P> pivotClass)

OperationCSScopeAdapter(TypeManager typeManager, OperationCS csElement)

PackageCSScopeAdapter(TypeManager typeManager, PackageCS csElement)

ReferenceCSScopeAdapter(TypeManager typeManager, ReferenceCS csElement)

RootPackageCSScopeAdapter(TypeManager typeManager, RootPackageCS csElement)

TemplateBindingCSScopeAdapter(TypeManager typeManager, TemplateBindingCS csElement)

TemplateParameterSubstitutionCSScopeAdapter(TypeManager typeManager, TemplateParameterSubstitutionCS csElement)

TemplateSignatureCSScopeAdapter(TypeManager typeManager, TemplateSignatureCS csElement)

TupleTypeCSScopeAdapter(TypeManager typeManager, TupleTypeCS csElement)

TypedTypeRefCSScopeAdapter(TypeManager typeManager, TypedTypeRefCS csElement)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.base.scoping.pivot

Methods in org.eclipse.ocl.examples.xtext.base.scoping.pivot with parameters of type TypeManager

static RootScopeAdapter	AbstractScopeAdapter.getDocumentScopeAdapter(TypeManager typeManager, Element context)
ScopeView	AbstractScopeAdapter.getInnerScopeView(TypeManager typeManager, org.eclipse.emf.ecore.EReference targetReference)
ScopeView	AbstractScopeAdapter.getOuterScopeView(TypeManager typeManager, org.eclipse.emf.ecore.EReference targetReference)
static ScopeAdapter	AbstractScopeAdapter.getScopeAdapter(TypeManager typeManager, Element eObject)
boolean	AbstractScopeAdapter.isAdapterFor(TypeManager typeManager)

Constructors in org.eclipse.ocl.examples.xtext.base.scoping.pivot with parameters of type TypeManager

AbstractPivotScopeAdapter(TypeManager typeManager, Element parentElement, P pivotElement)

AbstractPivotScopeAdapter(TypeManager typeManager, P pivotElement)
Creates an instance.

AbstractScopeAdapter(TypeManager typeManager, ScopeAdapter parent, T target)

ClassScopeAdapter(TypeManager typeManager, Class pivotElement)

EmptyScopeAdapter(TypeManager typeManager, Element pivotElement)

EnumerationScopeAdapter(TypeManager typeManager, Enumeration pivotElement)

ExpressionInOclScopeAdapter(TypeManager typeManager, ExpressionInOcl pivotElement)

ExpressionScopeAdapter(TypeManager typeManager, P pivotElement)

IterateExpScopeAdapter(TypeManager typeManager, IterateExp pivotElement)

IteratorExpScopeAdapter(TypeManager typeManager, IteratorExp pivotElement)

LetExpScopeAdapter(TypeManager typeManager, LetExp pivotElement)

OperationCallExpScopeAdapter(TypeManager typeManager, OperationCallExp pivotElement)

OperationScopeAdapter(TypeManager typeManager, Operation pivotElement)

PackageScopeAdapter(TypeManager typeManager, Package pivotElement)

RootPackageScopeAdapter(TypeManager typeManager, Package pivotElement)

VoidTypeScopeAdapter(TypeManager typeManager, Class pivotElement)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.base.utilities

Methods in org.eclipse.ocl.examples.xtext.base.utilities that return TypeManager

TypeManager

BaseCSResource.createTypeManager()

Methods in org.eclipse.ocl.examples.xtext.base.utilities with parameters of type TypeManager

java.util.Map<org.eclipse.emf.ecore.resource.Resource,org.eclipse.emf.ecore.resource.Resource>	CS2PivotResourceAdapter.computeCS2PivotResourceMap(org.eclipse.emf.ecore.resource.Resource csResource, TypeManager typeManager)
CS2Pivot	BaseCSResource.createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)
static CS2PivotResourceAdapter	CS2PivotResourceAdapter.getAdapter(BaseCSResource csResource, TypeManager typeManager)
static ScopeAdapter	ElementUtil.getScopeAdapter(TypeManager typeManager, Element element)

Constructors in org.eclipse.ocl.examples.xtext.base.utilities with parameters of type TypeManager

CS2PivotResourceAdapter(BaseCSResource csResource, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot

Fields in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot declared as TypeManager

protected TypeManager

CompleteOCLPreOrderVisitor.typeManager

Constructors in org.eclipse.ocl.examples.xtext.completeocl.cs2pivot with parameters of type TypeManager

CompleteOCLCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

CompleteOCLScopeVisitor(TypeManager context)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.completeocl.scoping

Constructors in org.eclipse.ocl.examples.xtext.completeocl.scoping with parameters of type TypeManager

ClassifierContextScopeAdapter(TypeManager typeManager, ClassifierContextDeclCS csElement)

CompleteOCLDocumentScopeAdapter(TypeManager typeManager, CompleteOCLDocumentCS csElement)

IncludeScopeAdapter(TypeManager typeManager, IncludeCS csElement)

OperationContextScopeAdapter(TypeManager typeManager, OperationContextDeclCS csElement)

PackageDeclarationScopeAdapter(TypeManager typeManager, PackageDeclarationCS csElement)

PostScopeAdapter(TypeManager typeManager, PostCS csElement)

PropertyContextScopeAdapter(TypeManager typeManager, PropertyContextDeclCS csElement)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.completeocl.utilities

Methods in org.eclipse.ocl.examples.xtext.completeocl.utilities with parameters of type TypeManager

CS2Pivot

CompleteOCLCSResource.createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.console

Subclasses of TypeManager in org.eclipse.ocl.examples.xtext.console

protected static class

OCLConsolePage.CancelableTypeManager

Uses of TypeManager in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot

Fields in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot declared as TypeManager

protected TypeManager	EssentialOCLLeft2RightVisitor.typeManager
protected TypeManager	EssentialOCLPostOrderVisitor.typeManager

Constructors in org.eclipse.ocl.examples.xtext.essentialocl.cs2pivot with parameters of type TypeManager

EssentialOCLCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

EssentialOCLScopeVisitor(TypeManager context)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs

Constructors in org.eclipse.ocl.examples.xtext.essentialocl.pivot2cs with parameters of type TypeManager

EssentialOCLPivot2CS(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.essentialocl.scoping

Fields in org.eclipse.ocl.examples.xtext.essentialocl.scoping declared as TypeManager

protected TypeManager

AbstractOperationFilter.typeManager

Constructors in org.eclipse.ocl.examples.xtext.essentialocl.scoping with parameters of type TypeManager

AbstractOperationFilter(TypeManager typeManager, Type sourceType)

BinaryOperationFilter(TypeManager typeManager, Type sourceType, Type argumentType)

ContextCSScopeAdapter(TypeManager typeManager, ContextCS csElement)

EssentialOCLCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)

EssentialOCLCSScopeAdapter(TypeManager typeManager, org.eclipse.emf.ecore.EObject eParent, CS csElement, java.lang.Class<P> pivotClass)

ExpCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)

ExpSpecificationCSScopeAdapter(TypeManager typeManager, ExpSpecificationCS csElement)

ImplicitCollectFilter(TypeManager typeManager, CollectionType sourceType, Type iteratorType)
Configure an OperationFilter for an implicit collect.

ImplicitCollectionFilter(TypeManager typeManager, Type sourceType)

LetExpCSScopeAdapter(TypeManager typeManager, LetExpCS csElement)

NameExpCSScopeAdapter(TypeManager typeManager, NameExpCS csElement)

NavigatingExpCSScopeAdapter(TypeManager typeManager, NavigatingExpCS eObject)

NavigationOperatorCSScopeAdapter(TypeManager typeManager, NavigationOperatorCS eObject)

OperationFilter(TypeManager typeManager, Type sourceType, NavigatingExpCS csNavigatingExp)

StandardDocumentScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)

TupleLiteralExpCSScopeAdapter(TypeManager typeManager, TupleLiteralExpCS csElement)

TypeNameExpCSScopeAdapter(TypeManager typeManager, TypeNameExpCS csElement)

UnaryOperationFilter(TypeManager typeManager, Type sourceType)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.essentialocl.utilities

Methods in org.eclipse.ocl.examples.xtext.essentialocl.utilities that return TypeManager

TypeManager

EssentialOCLCSResource.createTypeManager()

Methods in org.eclipse.ocl.examples.xtext.essentialocl.utilities with parameters of type TypeManager

CS2Pivot

EssentialOCLCSResource.createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclinecore.cs2pivot

Constructors in org.eclipse.ocl.examples.xtext.oclinecore.cs2pivot with parameters of type TypeManager

OCLinEcoreCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

OCLinEcoreScopeVisitor(TypeManager context)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclinecore.pivot2cs

Constructors in org.eclipse.ocl.examples.xtext.oclinecore.pivot2cs with parameters of type TypeManager

OCLinEcorePivot2CS(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclinecore.scoping

Constructors in org.eclipse.ocl.examples.xtext.oclinecore.scoping with parameters of type TypeManager

OCLinEcoreCSScopeAdapter(TypeManager typeManager, CS csElement, java.lang.Class<P> pivotClass)

PostconditionScopeAdapter(TypeManager typeManager, OCLinEcoreConstraintCS csElement)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclinecore.utilities

Methods in org.eclipse.ocl.examples.xtext.oclinecore.utilities with parameters of type TypeManager

CS2Pivot

OCLinEcoreCSResource.createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclstdlib.cs2pivot

Constructors in org.eclipse.ocl.examples.xtext.oclstdlib.cs2pivot with parameters of type TypeManager

OCLstdlibCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)

OCLstdlibScopeVisitor(TypeManager context)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclstdlib.scoping

Constructors in org.eclipse.ocl.examples.xtext.oclstdlib.scoping with parameters of type TypeManager

LibOperationScopeAdapter(TypeManager typeManager, OperationCS csElement)

LibRootPackageScopeAdapter(TypeManager typeManager, RootPackageCS csElement)

Uses of TypeManager in org.eclipse.ocl.examples.xtext.oclstdlib.utilities

Methods in org.eclipse.ocl.examples.xtext.oclstdlib.utilities with parameters of type TypeManager

CS2Pivot

OCLstdlibCSResource.createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)