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

Packages that use DomainStandardLibrary

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
org.eclipse.ocl.examples.domain.values.impl
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.iterator
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.library.validators
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.utilities

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

java.lang.Object	DomainEnumerationLiteral.asEcoreObject(DomainStandardLibrary standardLibrary)
boolean	DomainType.conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType) Return true if this type conform to thatType within standardLibrary.
DomainType	DomainType.getCommonType(DomainStandardLibrary standardLibrary, DomainType thatType) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainInheritance	DomainOperation.getInheritance(DomainStandardLibrary standardLibrary) Return the Inheritance dispatch table for the owning type.
DomainInheritance	DomainProperty.getInheritance(DomainStandardLibrary standardLibrary) Return the Inheritance dispatch table for the owning type.
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()

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

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

LibraryValidator	AbstractFeature.getValidator(DomainStandardLibrary standardLibrary)
LibraryValidator	LibraryFeature.getValidator(DomainStandardLibrary standardLibrary) Return a validator for a CallExp using this feature.
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()

Methods in org.eclipse.ocl.examples.domain.types with parameters of type DomainStandardLibrary

boolean	AbstractClassifierType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractCollectionType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractTupleType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractClassifierType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractCollectionType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractInheritance.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	AbstractTupleType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
abstract DomainType	AbstractType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainInheritance	AbstractInheritance.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	AbstractType.getInheritance(DomainStandardLibrary standardLibrary)
DomainType	AbstractInheritance.getNormalizedType(DomainStandardLibrary standardLibrary)
DomainType	AbstractType.getNormalizedType(DomainStandardLibrary standardLibrary)
boolean	AbstractClassifierType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractCollectionType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractInheritance.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	AbstractTupleType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
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)
DomainOperation	AbstractInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)

Constructors in org.eclipse.ocl.examples.domain.types with parameters of type DomainStandardLibrary

AbstractClassifierType(DomainStandardLibrary standardLibrary, DomainType containerType, DomainType instanceType)

AbstractCollectionType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType, DomainType elementType)

AbstractSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType)

AbstractTupleType(DomainStandardLibrary standardLibrary, java.util.List<? extends DomainTypedElement> parts)

AbstractType(DomainStandardLibrary standardLibrary, java.lang.String name)

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

Methods in org.eclipse.ocl.examples.domain.values that return DomainStandardLibrary

DomainStandardLibrary

ValueFactory.getStandardLibrary()

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

Fields in org.eclipse.ocl.examples.domain.values.impl declared as DomainStandardLibrary

protected DomainStandardLibrary

AbstractValueFactory.standardLibrary

Methods in org.eclipse.ocl.examples.domain.values.impl that return DomainStandardLibrary

DomainStandardLibrary

AbstractValueFactory.getStandardLibrary()

Constructors in org.eclipse.ocl.examples.domain.values.impl with parameters of type DomainStandardLibrary

AbstractValueFactory(DomainStandardLibrary standardLibrary)

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

Methods in org.eclipse.ocl.examples.library.ecore that return DomainStandardLibrary

DomainStandardLibrary

EcoreReflectiveType.getStandardLibrary()

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

java.lang.Object	EcoreExecutorEnumerationLiteral.asEcoreObject(DomainStandardLibrary standardLibrary)
protected static ValueFactory	EcoreExecutorManager.getValueFactory(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap, DomainStandardLibrary standardLibrary)

Constructors in org.eclipse.ocl.examples.library.ecore with parameters of type DomainStandardLibrary

EcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject, DomainStandardLibrary standardLibrary)

EcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap, DomainStandardLibrary standardLibrary)

EcoreValueFactory(DomainStandardLibrary standardLibrary)

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	DomainReflectivePackage.standardLibrary
protected DomainStandardLibrary	DomainReflectiveType.standardLibrary

Methods in org.eclipse.ocl.examples.library.executor that return DomainStandardLibrary

protected DomainStandardLibrary	DomainReflectivePackage.getStandardLibrary()
DomainStandardLibrary	DomainReflectiveType.getStandardLibrary()
DomainStandardLibrary	ExecutorType.getStandardLibrary()
protected abstract DomainStandardLibrary	ReflectivePackage.getStandardLibrary()

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

java.lang.Object	ExecutorEnumerationLiteral.asEcoreObject(DomainStandardLibrary standardLibrary)
boolean	ExecutorLambdaType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorSpecializedType.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTypeParameter.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorLambdaType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorSpecializedType.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	ExecutorTypeParameter.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainInheritance	ExecutorOperation.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	ExecutorProperty.getInheritance(DomainStandardLibrary standardLibrary)
boolean	ExecutorLambdaType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorSpecializedType.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ExecutorTypeParameter.isEqualTo(DomainStandardLibrary standardLibrary, DomainType type)
LibraryFeature	ExecutorLambdaType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	ExecutorSpecializedType.lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
LibraryFeature	ExecutorTypeParameter.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	ExecutorTypeParameter.lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)

Constructors in org.eclipse.ocl.examples.library.executor with parameters of type DomainStandardLibrary

DomainReflectivePackage(DomainStandardLibrary standardLibrary, DomainPackage domainPackage)

ExecutorLambdaType(DomainStandardLibrary standardLibrary, java.lang.String name, ExecutorTypeArgument... typeArguments)

ExecutorSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, ExecutorTypeArgument... typeArguments)

ExecutorTypeParameter(DomainStandardLibrary standardLibrary, java.lang.String name)

ExecutorValueFactory(DomainStandardLibrary standardLibrary)

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

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

LibraryValidator	ClosureIteration.getValidator(DomainStandardLibrary standardLibrary)
LibraryValidator	SortedByIteration.getValidator(DomainStandardLibrary standardLibrary)

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

Methods in org.eclipse.ocl.examples.pivot.executor that return DomainStandardLibrary

protected DomainStandardLibrary	PivotReflectivePackage.getStandardLibrary()
DomainStandardLibrary	PivotReflectiveType.getStandardLibrary()

Constructors in org.eclipse.ocl.examples.pivot.executor with parameters of type DomainStandardLibrary

PivotEcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap, DomainStandardLibrary standardLibrary, MetaModelManager metaModelManager)

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

java.lang.Object	EnumerationLiteralImpl.asEcoreObject(DomainStandardLibrary standardLibrary)
boolean	AnyTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	ClassifierTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	CollectionTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	EnumerationImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	InvalidTypeImpl.conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
boolean	LambdaTypeImpl.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)
DomainType	CollectionTypeImpl.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainType	TypeImpl.getCommonType(DomainStandardLibrary standardLibrary, DomainType type)
DomainInheritance	DataTypeImpl.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.library.validators

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

org.eclipse.emf.common.util.Diagnostic	ValidateClosureIteration.validate(DomainStandardLibrary standardLibrary, DomainCallExp callExp)
org.eclipse.emf.common.util.Diagnostic	ValidateSortedByIteration.validate(DomainStandardLibrary standardLibrary, DomainCallExp callExp)

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

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()