org.eclipse.ocl.examples.xtext.console
Class OCLConsolePage.CancelableTypeManager

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.PivotStandardLibrary
      org.eclipse.ocl.examples.pivot.utilities.TypeCaches
          org.eclipse.ocl.examples.pivot.utilities.TypeManager
              org.eclipse.ocl.examples.xtext.console.OCLConsolePage.CancelableTypeManager

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter, StandardLibrary

Enclosing class:

OCLConsolePage

protected static class OCLConsolePage.CancelableTypeManager
extends TypeManager

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.utilities.TypeManager

TypeManager.Factory, TypeManager.TuplePart

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.utilities.TypeCaches

TypeCaches.CompleteClassOperationsIterable, TypeCaches.CompleteClassPropertiesIterable, TypeCaches.CompleteClassSuperClassesIterable, TypeCaches.CompleteElementConstraintsIterable, TypeCaches.CompletePackagePackagesIterable, TypeCaches.CompletePackageTypesIterable, TypeCaches.OrphanNode

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.utilities.TypeManager

externalResourceSet, pivotLibraries, pivotLibraryResource, pivotResourceSet

Fields inherited from class org.eclipse.ocl.examples.pivot.utilities.TypeCaches

pivotMetaModel

Fields inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotStandardLibrary

DEFAULT_OCL_STDLIB_URI, defaultStandardLibraryURI

Constructor Summary

OCLConsolePage.CancelableTypeManager()

Method Summary

protected void	checkMonitor()
ValueFactory	getValueFactory()
void	setMonitor(org.eclipse.core.runtime.IProgressMonitor monitor)

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.TypeManager

addExternalResource, addFactory, addGlobalNamespace, addGlobalTypes, compareOperationMatches, compilePrecedenceOperation, compilePrecedencePackage, compilePrecedences, compilePrecedenceType, computeOperationImplementation, computePivotRootPackages, computePropertyImplementation, conformsTo, conformsTo, conformsToClassifierType, conformsToCollectionType, conformsToLambdaType, conformsToTupleType, createInvalidExpression, createOrphanage, createPackage, createPackage, createResource, createUnspecifiedType, dispose, findAdapter, getAdapter, getClassifierType, getCollectionType, getCollectionType, getCollectionType, getCommonClasses, getCommonTupleType, getCommonType, getCommonType, getDefaultStandardLibraryURI, getExternalResourceSet, getGlobalNamespaces, getGlobalTypes, getImplementation, getImplementation, getImplementation, getInfixPrecedence, getLambdaType, getLibraries, getLibraryResource, getLibraryType, getLibraryType, getPivotMetaModel, getPivotOfEcore, getPivotResourceSet, getPivotType, getPrecedences, getPrefixPrecedence, getResourceIdentifier, getSetType, getSpecializedLambdaType, getSpecializedMoniker, getSpecializedOperation, getSpecializedOperationMoniker, getSpecializedTupleType, getSpecializedType, getTarget, getTupleType, getTypeWithMultiplicity, initializePivotResourceSet, installLibrary, installPackage, installResource, isAdapterForType, isLibraryType, isSuperClassOf, isUnderspecified, isUnspecialized, lazyLoadPivotMetaModel, loadDefaultLibrary, loadLibrary, loadLibraryPackage, loadResource, notifyChanged, resolveLocalOperation, resolveOperation, resolveOperations, resolveSpecializationBaseClasses, resolveSuperClasses, resolveSuperClasses, setDefaultStandardLibraryURI, setMonikerAsID, setTarget

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.TypeCaches

addOrphanClass, addOrphanOperation, addPackage, computeMoniker2PivotMap, findOrphanClass, findOrphanOperation, getAllClasses, getAllConstraints, getAllConstraints, getAllOperations, getAllPackages, getAllPackages, getAllProperties, getDynamicOperation, getLocalClasses, getLocalConstraints, getLocalConstraints, getLocalConstraints, getLocalOperations, getLocalPackages, getLocalProperties, getOrphanClass, getOrphanPackage, getPackageMoniker, getPrimaryClass, getPrimaryClass, getPrimaryElement, getPrimaryOperation, getPrimaryOperation, getPrimaryPackage, getPrimaryPackage, getPrimaryProperty, getSuperClasses, installPackageMoniker, installPropertyDeclaration, isInOrphanage, loadPivotMetaModel

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotStandardLibrary

defineLibraryType, getBagType, getBooleanType, getClassifierType, getCollectionType, getEnumerationType, getIntegerType, getLibraryType, getOclAnyType, getOclInvalidType, getOclMessageType, getOclVoidType, getOrderedSetType, getRealType, getRequiredLibraryType, getSequenceType, getSetType, getStringType, getTupleType, getUnlimitedNaturalType, isOrdered, isUnique, resetLibrary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OCLConsolePage.CancelableTypeManager

public OCLConsolePage.CancelableTypeManager()

Method Detail

checkMonitor

protected void checkMonitor()

getValueFactory

public ValueFactory getValueFactory()

Overrides:

getValueFactory in class TypeManager

setMonitor

public void setMonitor(org.eclipse.core.runtime.IProgressMonitor monitor)