Package org.eclipse.ocl.pivot.internal.manager

Interface Summary

Interface	Description
MetamodelManagerInternal
MetamodelManagerInternal.MetamodelManagerInternalExtension
MetamodelManagerInternal.MetamodelManagerInternalExtension2
OperationArguments

Class Summary

Class	Description
FinalAnalysis
FlowAnalysis	The (static) FlowAnalysis of some context OCLExpression exploits the hierarchy of the encompassing AS expression to identify expressions that are necessarily true/false when the context expression evaluates.
LambdaTypeManager	LambdaTypeManager encapsulates the knowledge about known lambda types.
Orphanage	An Orphanage provides a Package that weakly contains elements such as type specializations that should require a container for the purposes of validation, but which should be eligible for garbage collection whenever no longer in use.
PivotExecutorManager	A PivotExecutorManager instance provides the bridge between a conventional EMF execution context and the richer OCL Pivot concepts.
PivotIdResolver
PivotMetamodelManager
PrecedenceManager	PrecedenceManager encapsulates the knowledge about known precedences.
TemplateParameterSubstitutionHelper	TemplateParameterSubstitutionHelper instances support irregular TemplateParameterSubstitution deduction for difficult to model operations such as flatten().
TemplateParameterSubstitutionVisitor	A TemplateParameterSubstitutionVisitor traverses a CallExp to identify the formal/actual TemplateParameterSubstitutions associated with that CallExp.
TemplateSpecialisation	A TemplateSpecialisation supports resolution of template parameter within an element referenced from an OCL expression.
TupleTypeManager	TupleTypeManager encapsulates the knowledge about known tuple types.
TupleTypeManager.TuplePart	TuplePart provides a convenient descriptor for a tuple part complying with the full EMF model protocols.