Uses of Interface
org.eclipse.ocl.examples.domain.elements.DomainStandardLibrary

Packages that use DomainStandardLibrary
org.eclipse.ocl.examples.codegen.java.types   
org.eclipse.ocl.examples.debug.evaluator   
org.eclipse.ocl.examples.domain.elements   
org.eclipse.ocl.examples.domain.evaluation   
org.eclipse.ocl.examples.domain.library   
org.eclipse.ocl.examples.domain.types   
org.eclipse.ocl.examples.domain.values.impl   
org.eclipse.ocl.examples.library.ecore   
org.eclipse.ocl.examples.library.executor   
org.eclipse.ocl.examples.pivot   
org.eclipse.ocl.examples.pivot.evaluation   
org.eclipse.ocl.examples.pivot.executor   
org.eclipse.ocl.examples.pivot.internal.impl   
org.eclipse.ocl.examples.pivot.manager   
org.eclipse.ocl.examples.pivot.utilities   
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.codegen.java.types
 

Fields in org.eclipse.ocl.examples.codegen.java.types declared as DomainStandardLibrary
protected  DomainStandardLibrary UnboxedElementsDescriptor.standardLibrary
           
 

Constructors in org.eclipse.ocl.examples.codegen.java.types with parameters of type DomainStandardLibrary
UnboxedElementsDescriptor(CollectionTypeId collectionTypeId, DomainStandardLibrary standardLibrary, Type type)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.debug.evaluator
 

Methods in org.eclipse.ocl.examples.debug.evaluator that return DomainStandardLibrary
 DomainStandardLibrary OCLVMEvaluationVisitor.getStandardLibrary()
           
 DomainStandardLibrary OCLVMEvaluationVisitorDecorator.getStandardLibrary()
          Delegates to my decorated visitor.
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.domain.elements
 

Methods in org.eclipse.ocl.examples.domain.elements that return DomainStandardLibrary
 DomainStandardLibrary DomainInheritance.getStandardLibrary()
          Return the Standard Library managing the dispatch tables.
 

Methods in org.eclipse.ocl.examples.domain.elements with parameters of type DomainStandardLibrary
 boolean DomainType.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType)
          Return true if this type conform to thatType within standardLibrary.
 DomainInheritance DomainOperation.getInheritance(DomainStandardLibrary standardLibrary)
          Return the Inheritance dispatch table for the owning type, or null for am orphan property owned by an Annotation.
 DomainInheritance DomainProperty.getInheritance(DomainStandardLibrary standardLibrary)
          Return the Inheritance dispatch table for the owning type, or null for an orphan property owned by an Annotation.
 DomainInheritance DomainType.getInheritance(DomainStandardLibrary standardLibrary)
          Return the inheritance description for this type within standardLibrary.
 DomainType DomainType.getNormalizedType(DomainStandardLibrary standardLibrary)
          Return the unique executable form of this type within standardLibrary.
 boolean DomainType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType)
          Return true if this is the same type as thatType within standardLibrary.
 boolean DomainType.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean DomainInheritance.isSuperInheritanceOf(DomainStandardLibrary standardLibrary, DomainInheritance inheritance)
           
 LibraryFeature DomainType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
          Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
 DomainOperation DomainInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.domain.evaluation
 

Methods in org.eclipse.ocl.examples.domain.evaluation that return DomainStandardLibrary
 DomainStandardLibrary DomainEvaluationVisitor.getStandardLibrary()
           
 DomainStandardLibrary DomainEvaluator.getStandardLibrary()
           
 DomainStandardLibrary DomainIterationManager.getStandardLibrary()
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.domain.library
 

Methods in org.eclipse.ocl.examples.domain.library that return DomainStandardLibrary
 DomainStandardLibrary AbstractIterationManager.getStandardLibrary()
           
 

Methods in org.eclipse.ocl.examples.domain.library with parameters of type DomainStandardLibrary
 org.eclipse.emf.common.util.Diagnostic LibraryValidator.validate(DomainStandardLibrary standardLibrary, DomainCallExp callExp)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.domain.types
 

Classes in org.eclipse.ocl.examples.domain.types that implement DomainStandardLibrary
 class AbstractStandardLibrary
           
 

Fields in org.eclipse.ocl.examples.domain.types declared as DomainStandardLibrary
protected  DomainStandardLibrary AbstractType.standardLibrary
           
 

Methods in org.eclipse.ocl.examples.domain.types that return DomainStandardLibrary
 DomainStandardLibrary AbstractType.getStandardLibrary()
           
 DomainStandardLibrary IdResolver.getStandardLibrary()
           
 

Methods in org.eclipse.ocl.examples.domain.types with parameters of type DomainStandardLibrary
 boolean AbstractCollectionType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractInheritance.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractMetaclass.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractTupleType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean DomainInvalidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType)
           
 DomainInheritance AbstractInheritance.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance AbstractType.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainType AbstractInheritance.getNormalizedType(DomainStandardLibrary standardLibrary)
           
 DomainType AbstractType.getNormalizedType(DomainStandardLibrary standardLibrary)
           
 boolean AbstractCollectionType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractInheritance.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractMetaclass.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractTupleType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean DomainInvalidTypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType)
           
 boolean AbstractInheritance.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractType.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean AbstractInheritance.isSuperInheritanceOf(DomainStandardLibrary standardLibrary, DomainInheritance thatInheritance)
           
 LibraryFeature AbstractInheritance.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature AbstractSpecializedType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature AbstractTupleType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature DomainInvalidTypeImpl.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 DomainOperation AbstractInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)
           
 

Constructors in org.eclipse.ocl.examples.domain.types with parameters of type DomainStandardLibrary
AbstractCollectionType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType, DomainType elementType, IntegerValue lower, IntegerValue upper)
           
AbstractMetaclass(DomainStandardLibrary standardLibrary, DomainType instanceType)
           
AbstractSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType)
           
AbstractTupleType(DomainStandardLibrary standardLibrary, TupleTypeId typeId)
           
AbstractType(DomainStandardLibrary standardLibrary, java.lang.String name)
           
DomainInvalidTypeImpl(DomainStandardLibrary standardLibrary, java.lang.String message)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.domain.values.impl
 

Methods in org.eclipse.ocl.examples.domain.values.impl with parameters of type DomainStandardLibrary
 DomainType IntegerValueImpl.getType(DomainStandardLibrary standardLibrary)
           
 DomainType InvalidValueException.getType(DomainStandardLibrary standardLibrary)
           
 DomainType NullValueImpl.getType(DomainStandardLibrary standardLibrary)
           
 DomainType RealValueImpl.getType(DomainStandardLibrary standardLibrary)
           
 DomainType UnlimitedValueImpl.getType(DomainStandardLibrary standardLibrary)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.library.ecore
 

Methods in org.eclipse.ocl.examples.library.ecore that return DomainStandardLibrary
 DomainStandardLibrary EcoreReflectivePackage.getStandardLibrary()
           
 DomainStandardLibrary EcoreReflectiveType.getStandardLibrary()
           
 

Methods in org.eclipse.ocl.examples.library.ecore with parameters of type DomainStandardLibrary
 boolean EcoreExecutorInvalidType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean EcoreExecutorVoidType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.library.executor
 

Classes in org.eclipse.ocl.examples.library.executor that implement DomainStandardLibrary
 class ExecutableStandardLibrary
           
 class ExecutorStandardLibrary
           
 

Fields in org.eclipse.ocl.examples.library.executor declared as DomainStandardLibrary
protected  DomainStandardLibrary AbstractIdResolver.standardLibrary
           
protected  DomainStandardLibrary DomainReflectivePackage.standardLibrary
           
protected  DomainStandardLibrary DomainReflectiveType.standardLibrary
           
protected  DomainStandardLibrary ExecutorManager.standardLibrary
           
 

Methods in org.eclipse.ocl.examples.library.executor that return DomainStandardLibrary
 DomainStandardLibrary AbstractIdResolver.getStandardLibrary()
           
protected  DomainStandardLibrary DomainReflectivePackage.getStandardLibrary()
           
 DomainStandardLibrary DomainReflectiveType.getStandardLibrary()
           
 DomainStandardLibrary ExecutorManager.getStandardLibrary()
           
 DomainStandardLibrary ExecutorType.getStandardLibrary()
           
protected abstract  DomainStandardLibrary ReflectivePackage.getStandardLibrary()
           
 

Methods in org.eclipse.ocl.examples.library.executor with parameters of type DomainStandardLibrary
 boolean ExecutorLambdaType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean ExecutorSpecializedType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean ExecutorTupleType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean ExecutorTypeParameter.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean JavaType.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType)
           
 DomainInheritance AbstractExecutorProperty.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance ExecutorOperation.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance JavaType.getInheritance(DomainStandardLibrary standardLibrary)
           
 boolean ExecutorLambdaType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean ExecutorSpecializedType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean ExecutorTupleType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean ExecutorTypeParameter.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean JavaType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType)
           
 LibraryFeature ExecutorLambdaType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature ExecutorSpecializedType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature ExecutorTupleType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature ExecutorTypeParameter.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 LibraryFeature JavaType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 DomainOperation ExecutorLambdaType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
           
 DomainOperation ExecutorSpecializedType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
           
 DomainOperation ExecutorTupleType.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
           
 DomainOperation ExecutorTypeParameter.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)
           
 

Constructors in org.eclipse.ocl.examples.library.executor with parameters of type DomainStandardLibrary
AbstractIdResolver(DomainStandardLibrary standardLibrary)
           
DomainReflectivePackage(DomainStandardLibrary standardLibrary, DomainPackage domainPackage)
           
ExecutorLambdaType(DomainStandardLibrary standardLibrary, java.lang.String name, ExecutorTypeArgument... typeArguments)
           
ExecutorManager(DomainStandardLibrary standardLibrary)
           
ExecutorSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, ExecutorTypeArgument... typeArguments)
           
ExecutorTupleType(DomainStandardLibrary standardLibrary, java.lang.String name, java.util.Collection<? extends TuplePartId> parts)
           
ExecutorTypeParameter(TemplateParameterId typeid, DomainStandardLibrary standardLibrary, java.lang.String name)
           
JavaType(DomainStandardLibrary standardLibrary, java.lang.Class<?> javaClass)
           
 

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

Methods in org.eclipse.ocl.examples.pivot that return DomainStandardLibrary
 DomainStandardLibrary Environment.getOCLStandardLibrary()
          Obtains the collection of core types representing the OCL Standard Library.
 

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

Methods in org.eclipse.ocl.examples.pivot.evaluation that return DomainStandardLibrary
 DomainStandardLibrary AbstractEvaluationVisitor.getStandardLibrary()
           
 DomainStandardLibrary EvaluationVisitor.getStandardLibrary()
           
 DomainStandardLibrary TracingEvaluationVisitor.getStandardLibrary()
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.pivot.executor
 

Classes in org.eclipse.ocl.examples.pivot.executor that implement DomainStandardLibrary
 class PivotExecutorStandardLibrary
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.pivot.internal.impl
 

Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type DomainStandardLibrary
 boolean CollectionTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean InvalidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean LambdaTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean MetaclassImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean SelfTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean TypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean UnspecifiedTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean VoidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 DomainInheritance DataTypeImpl.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance ElementExtensionImpl.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance OperationImpl.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance PropertyImpl.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance TupleTypeImpl.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainInheritance TypeImpl.getInheritance(DomainStandardLibrary standardLibrary)
           
 DomainType TypeImpl.getNormalizedType(DomainStandardLibrary standardLibrary)
           
 boolean CollectionTypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean TypeImpl.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
           
 boolean TypeImpl.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
           
 LibraryFeature TypeImpl.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
           
 

Uses of DomainStandardLibrary in org.eclipse.ocl.examples.pivot.manager
 

Classes in org.eclipse.ocl.examples.pivot.manager that implement DomainStandardLibrary
 class MetaModelManager
           
 class PivotStandardLibrary
           
 

Fields in org.eclipse.ocl.examples.pivot.manager declared as DomainStandardLibrary
protected  DomainStandardLibrary TemplateSpecialisation.standardLibrary
           
 

Methods in org.eclipse.ocl.examples.pivot.manager that return DomainStandardLibrary
protected  DomainStandardLibrary PackageServer.getStandardLibrary()
           
 

Constructors in org.eclipse.ocl.examples.pivot.manager with parameters of type DomainStandardLibrary
TemplateSpecialisation(DomainStandardLibrary standardLibrary)
           
 

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

Classes in org.eclipse.ocl.examples.pivot.utilities that implement DomainStandardLibrary
 class TypeManager
          Deprecated. 
 

Methods in org.eclipse.ocl.examples.pivot.utilities that return DomainStandardLibrary
 DomainStandardLibrary PivotEnvironment.getOCLStandardLibrary()