|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of DomainType in org.eclipse.ocl.examples.codegen.analyzer |
---|
Methods in org.eclipse.ocl.examples.codegen.analyzer with parameters of type DomainType | |
---|---|
protected java.lang.String |
NameManager.getTypeNameHint(DomainType aType)
|
Uses of DomainType in org.eclipse.ocl.examples.debug.evaluator |
---|
Methods in org.eclipse.ocl.examples.debug.evaluator that return DomainType | |
---|---|
DomainType |
OCLVMEvaluationVisitor.getStaticTypeOf(java.lang.Object value)
|
DomainType |
OCLVMEvaluationVisitorDecorator.getStaticTypeOf(java.lang.Object value)
Delegates to my decorated visitor. |
DomainType |
OCLVMEvaluationVisitor.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
OCLVMEvaluationVisitorDecorator.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
Delegates to my decorated visitor. |
DomainType |
OCLVMEvaluationVisitor.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
DomainType |
OCLVMEvaluationVisitorDecorator.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
Delegates to my decorated visitor. |
Methods in org.eclipse.ocl.examples.debug.evaluator with parameters of type DomainType | |
---|---|
java.util.Set<org.eclipse.emf.ecore.EObject> |
OCLVMModelManager.get(DomainType type)
|
protected boolean |
OCLVMModelManager.isInstance(DomainType requiredType,
org.eclipse.emf.ecore.EObject eObject)
Implemented by subclasses to determine whether the specified element is an instance of the specified class, according to the metamodel semantics implemented by the environment that created this extent map. |
Uses of DomainType in org.eclipse.ocl.examples.debug.vm |
---|
Methods in org.eclipse.ocl.examples.debug.vm with parameters of type DomainType | |
---|---|
static void |
VariableFinder.setValueAndType(VMVariableData variable,
java.lang.Object value,
DomainType optDeclaredType,
EvaluationEnvironment evalEnv)
|
Uses of DomainType in org.eclipse.ocl.examples.domain.elements |
---|
Subinterfaces of DomainType in org.eclipse.ocl.examples.domain.elements | |
---|---|
interface |
DomainCollectionType
|
interface |
DomainEnumeration
|
interface |
DomainInheritance
An Inheritance provides access to the transitive inheritance relationships of a type with respect to a particular type regime, noting that the complexities of CompleteOCL allow for different inheritance for different applications. |
interface |
DomainInvalidType
|
interface |
DomainLambdaType
|
interface |
DomainMetaclass
|
interface |
DomainTupleType
|
Fields in org.eclipse.ocl.examples.domain.elements declared as DomainType | |
---|---|
protected DomainType |
DomainParameterTypes.DomainParameter.type
|
Methods in org.eclipse.ocl.examples.domain.elements that return DomainType | |
---|---|
DomainType[] |
DomainParameterTypes.get()
|
DomainType |
DomainParameterTypes.get(int index)
|
DomainType |
DomainStandardLibrary.getBagType()
Obtains the generic instance of the BagType metatype, named
Bag(T). |
DomainType |
DomainStandardLibrary.getBooleanType()
Obtains the instance of the PrimitiveType metatype, named
Boolean. |
DomainType |
DomainStandardLibrary.getCollectionType()
Obtains the generic instance of the CollectionType metatype, named
Collection(T). |
DomainType |
DomainType.getCommonType(IdResolver idResolver,
DomainType thatType)
Return the most derived type com mon to this type and thatType within standardLibrary. |
DomainType |
DomainCollectionType.getContainerType()
|
DomainType |
DomainMetaclass.getContainerType()
|
DomainType |
DomainLambdaType.getContextType()
|
DomainType |
DomainCollectionType.getElementType()
|
DomainType |
DomainStandardLibrary.getEnumerationType()
Obtains the single instance of the EnumerationType metatype, named
Enumeration. |
DomainType |
DomainMetaclass.getInstanceType()
|
DomainType |
DomainStandardLibrary.getIntegerType()
Obtains the instance of the PrimitiveType metatype, named
Integer. |
DomainType |
DomainStandardLibrary.getMetaclassType()
Obtains the single instance of the DomainMetaclass metatype, named
Metaclass. |
DomainType |
DomainStandardLibrary.getMetaType(DomainType type)
Returns the meta-type of a given type. |
DomainType |
DomainStandardLibrary.getNestedType(DomainPackage parentPackage,
java.lang.String name)
|
DomainType |
DomainType.getNormalizedType(DomainStandardLibrary standardLibrary)
Return the unique executable form of this type within standardLibrary. |
DomainType |
DomainStandardLibrary.getOclAnyType()
Obtains the single instance of the AnyType metatype, named
OclAny. |
DomainType |
DomainStandardLibrary.getOclComparableType()
Obtains the single instance of the OclComparable metatype, named
OclAny. |
DomainType |
DomainStandardLibrary.getOclElementType()
Obtains the single instance of the Class metatype, named
OclElement. |
DomainType |
DomainStandardLibrary.getOclInvalidType()
Obtains the single instance of the InvalidType metatype, named
OclInvalid. |
DomainType |
DomainStandardLibrary.getOclMessageType()
Obtains the generic instance of the MessageType metatype, named
OclMessage. |
DomainType |
DomainStandardLibrary.getOclSelfType()
Obtains the single instance of the OclSelf pseudo-metatype, named
OclSelf. |
DomainType |
DomainStandardLibrary.getOclSummableType()
Obtains the single instance of the OclSummable metatype, named
OclAny. |
DomainType |
DomainStandardLibrary.getOclTupleType()
Obtains the single instance of the OclTupleType metatype, named
OclVoid. |
DomainType |
DomainStandardLibrary.getOclType(java.lang.String typeName)
|
DomainType |
DomainStandardLibrary.getOclVoidType()
Obtains the single instance of the VoidType metatype, named
OclVoid. |
DomainType |
DomainStandardLibrary.getOrderedCollectionType()
Obtains the generic instance of the OrderedCollection metatype, named
OrderedCollection(T). |
DomainType |
DomainStandardLibrary.getOrderedSetType()
Obtains the generic instance of the OrderedSetType metatype, named
OrderedSet(T). |
DomainType |
DomainFeature.getOwningType()
Return the owner this feature. |
DomainType |
DomainStandardLibrary.getPrimitiveType(PrimitiveTypeId id)
|
DomainType |
DomainStandardLibrary.getRealType()
Obtains the instance of the PrimitiveType metatype, named
Real. |
DomainType |
DomainLambdaType.getResultType()
|
DomainType |
DomainStandardLibrary.getSequenceType()
Obtains the generic instance of the SequenceType metatype, named
Sequence(T). |
DomainType |
DomainStandardLibrary.getSetType()
Obtains the generic instance of the SetType metatype, named
Set(T). |
DomainType |
DomainStandardLibrary.getStringType()
Obtains the instance of the PrimitiveType metatype, named
String. |
DomainType |
DomainParameterTypes.DomainParameter.getType()
|
DomainType |
DomainTypedElement.getType()
|
DomainType |
DomainStandardLibrary.getUniqueCollectionType()
Obtains the generic instance of the UniqueCollection metatype, named
Set(T). |
DomainType |
DomainStandardLibrary.getUnlimitedNaturalType()
Obtains the instance of the PrimitiveType metatype,
named UnlimitedNatural. |
DomainType |
DomainType.specializeIn(DomainCallExp expr,
DomainType selfType)
|
Methods in org.eclipse.ocl.examples.domain.elements that return types with arguments of type DomainType | |
---|---|
java.util.List<? extends DomainType> |
DomainType.getLocalSuperTypes()
|
java.util.List<? extends DomainType> |
DomainPackage.getOwnedType()
|
java.util.List<? extends DomainType> |
DomainLambdaType.getParameterTypes()
|
Methods in org.eclipse.ocl.examples.domain.elements with parameters of type DomainType | |
---|---|
boolean |
DomainType.conformsTo(DomainStandardLibrary standardLibrary,
DomainType thatType)
Return true if this type conform to thatType within standardLibrary. |
DomainCollectionType |
DomainStandardLibrary.getBagType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the Bag metatype whose elements are of elementType. |
DomainCollectionType |
DomainStandardLibrary.getCollectionType(DomainType containerType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the specialized collection type for the containerType for elementType. |
DomainType |
DomainType.getCommonType(IdResolver idResolver,
DomainType thatType)
Return the most derived type com mon to this type and thatType within standardLibrary. |
DomainInheritance |
DomainStandardLibrary.getInheritance(DomainType type)
Return the Inheritance dispatch table for a given type. |
DomainMetaclass |
DomainStandardLibrary.getMetaclass(DomainType classType)
Return the instance of the Metaclass metatype whose class is classType. |
DomainType |
DomainStandardLibrary.getMetaType(DomainType type)
Returns the meta-type of a given type. |
DomainCollectionType |
DomainStandardLibrary.getOrderedSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the OrderedSet metatype whose elements are of elementType. |
DomainCollectionType |
DomainStandardLibrary.getSequenceType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the Sequence metatype whose elements are of elementType. |
DomainCollectionType |
DomainStandardLibrary.getSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the Set metatype whose elements are of elementType. |
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)
|
DomainType |
DomainType.specializeIn(DomainCallExp expr,
DomainType selfType)
|
Constructors in org.eclipse.ocl.examples.domain.elements with parameters of type DomainType | |
---|---|
DomainParameterTypes.DomainParameter(java.lang.String name,
DomainType type)
|
|
DomainParameterTypes(DomainType... parameterTypes)
|
Uses of DomainType in org.eclipse.ocl.examples.domain.evaluation |
---|
Methods in org.eclipse.ocl.examples.domain.evaluation that return DomainType | |
---|---|
DomainType |
DomainEvaluator.getStaticTypeOf(java.lang.Object value)
|
DomainType |
DomainEvaluator.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
DomainEvaluator.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
Methods in org.eclipse.ocl.examples.domain.evaluation with parameters of type DomainType | |
---|---|
DomainTypedElement |
DomainEvaluationEnvironment.createVariable(java.lang.String name,
DomainType type)
|
java.util.Set<org.eclipse.emf.ecore.EObject> |
DomainModelManager.get(DomainType type)
|
Uses of DomainType in org.eclipse.ocl.examples.domain.ids |
---|
Methods in org.eclipse.ocl.examples.domain.ids with parameters of type DomainType | |
---|---|
static BindingsId |
IdManager.getBindingsId(DomainType... types)
|
static ClassId |
IdManager.getClassId(DomainType aType)
Return the classId for aType. |
static DataTypeId |
IdManager.getDataTypeId(DomainType aType)
Return the dataTypeId for aType. |
static ParametersId |
IdManager.getParametersId(DomainType[] parameterTypes)
|
static UnspecifiedIdImpl |
IdManager.getUnspecifiedTypeId(DomainType aType)
Return the typeId for aType. |
Uses of DomainType in org.eclipse.ocl.examples.domain.ids.impl |
---|
Fields in org.eclipse.ocl.examples.domain.ids.impl declared as DomainType | |
---|---|
protected DomainType |
UnspecifiedIdImpl.type
|
Constructors in org.eclipse.ocl.examples.domain.ids.impl with parameters of type DomainType | |
---|---|
UnspecifiedIdImpl(IdManager idManager,
DomainType type)
|
Uses of DomainType in org.eclipse.ocl.examples.domain.types |
---|
Classes in org.eclipse.ocl.examples.domain.types that implement DomainType | |
---|---|
class |
AbstractCollectionType
|
class |
AbstractInheritance
|
class |
AbstractMetaclass
|
class |
AbstractSpecializedType
|
class |
AbstractTupleType
|
class |
AbstractType
|
class |
DomainInvalidTypeImpl
|
Fields in org.eclipse.ocl.examples.domain.types declared as DomainType | |
---|---|
protected DomainType |
AbstractSpecializedType.containerType
|
protected DomainType |
AbstractCollectionType.elementType
|
protected DomainType |
AbstractMetaclass.instanceType
|
protected DomainType |
AbstractTuplePart.type
|
Methods in org.eclipse.ocl.examples.domain.types that return DomainType | |
---|---|
DomainType |
IdResolver.getCollectionType(CollectionTypeId typeId)
|
DomainType |
AbstractCollectionType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractInheritance.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractMetaclass.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractTupleType.getCommonType(IdResolver idResolver,
DomainType type)
|
abstract DomainType |
AbstractType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
DomainInvalidTypeImpl.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractCollectionType.getContainerType()
|
DomainType |
AbstractSpecializedType.getContainerType()
|
DomainType |
IdResolver.getDynamicTypeOf(java.lang.Iterable<?> values)
|
DomainType |
IdResolver.getDynamicTypeOf(java.lang.Object... values)
|
DomainType |
IdResolver.getDynamicTypeOf(java.lang.Object value)
|
DomainType |
AbstractCollectionType.getElementType()
|
DomainType |
AbstractMetaclass.getInstanceType()
|
DomainType |
IdResolver.getJavaType(java.lang.Class<?> javaClass)
|
DomainType |
IdResolver.getMetaclass(MetaclassId metaclassId)
|
protected DomainType |
AbstractMetaclass.getMetaType()
|
DomainType |
AbstractStandardLibrary.getMetaType(DomainType instanceType)
|
DomainType |
AbstractStandardLibrary.getNestedType(DomainPackage parentPackage,
java.lang.String name)
|
protected DomainType |
AbstractMetaclass.getNormalizedInstanceType()
|
DomainType |
AbstractInheritance.getNormalizedType(DomainStandardLibrary standardLibrary)
|
DomainType |
AbstractType.getNormalizedType(DomainStandardLibrary standardLibrary)
|
DomainType |
AbstractStandardLibrary.getPrimitiveType(PrimitiveTypeId typeId)
|
DomainType |
IdResolver.getStaticTypeOf(java.lang.Object value)
|
DomainType |
IdResolver.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
IdResolver.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
DomainType |
AbstractTuplePart.getType()
|
DomainType |
IdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
|
DomainType |
IdResolver.getType(TypeId typeId,
java.lang.Object context)
|
DomainType |
AbstractInheritance.specializeIn(DomainCallExp expr,
DomainType selfType)
|
DomainType |
AbstractType.specializeIn(DomainCallExp expr,
DomainType selfType)
|
Methods in org.eclipse.ocl.examples.domain.types that return types with arguments of type DomainType | |
---|---|
java.util.List<? extends DomainType> |
AbstractType.getLocalSuperTypes()
|
Methods in org.eclipse.ocl.examples.domain.types with parameters of type DomainType | |
---|---|
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)
|
DomainCollectionType |
AbstractStandardLibrary.getBagType(DomainType elementType)
|
DomainCollectionType |
AbstractStandardLibrary.getCollectionType(DomainType elementType)
|
DomainCollectionType |
AbstractStandardLibrary.getCollectionType(DomainType containerType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainType |
AbstractCollectionType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractInheritance.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractMetaclass.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractTupleType.getCommonType(IdResolver idResolver,
DomainType type)
|
abstract DomainType |
AbstractType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
DomainInvalidTypeImpl.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractStandardLibrary.getMetaType(DomainType instanceType)
|
DomainCollectionType |
AbstractStandardLibrary.getOrderedSetType(DomainType elementType)
|
DomainCollectionType |
AbstractStandardLibrary.getSequenceType(DomainType elementType)
|
DomainCollectionType |
AbstractStandardLibrary.getSetType(DomainType elementType)
|
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)
|
DomainType |
AbstractInheritance.specializeIn(DomainCallExp expr,
DomainType selfType)
|
DomainType |
AbstractType.specializeIn(DomainCallExp expr,
DomainType selfType)
|
Constructors in org.eclipse.ocl.examples.domain.types with parameters of type DomainType | |
---|---|
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)
|
|
AbstractTuplePart(DomainType type,
java.lang.String name)
|
Uses of DomainType in org.eclipse.ocl.examples.domain.utilities |
---|
Methods in org.eclipse.ocl.examples.domain.utilities that return DomainType | |
---|---|
static DomainType[] |
DomainUtil.getLambdaParameterTypes(DomainLambdaType lambdaType)
|
static DomainType[] |
DomainUtil.getOperationParameterTypes(DomainOperation anOperation)
|
Uses of DomainType in org.eclipse.ocl.examples.domain.values.impl |
---|
Methods in org.eclipse.ocl.examples.domain.values.impl that return DomainType | |
---|---|
DomainType |
UndefinedValueImpl.getElement()
|
DomainType |
UndefinedValueImpl.getInstanceType()
|
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 DomainType in org.eclipse.ocl.examples.domain.values.util |
---|
Methods in org.eclipse.ocl.examples.domain.values.util that return DomainType | |
---|---|
static DomainType |
ValuesUtil.asType(java.lang.Object value)
|
static DomainType |
ValuesUtil.createTypeValue(DomainType type)
Deprecated. |
Methods in org.eclipse.ocl.examples.domain.values.util with parameters of type DomainType | |
---|---|
static DomainType |
ValuesUtil.createTypeValue(DomainType type)
Deprecated. |
Uses of DomainType in org.eclipse.ocl.examples.library.classifier |
---|
Methods in org.eclipse.ocl.examples.library.classifier that return DomainType | |
---|---|
DomainType |
MetaclassInstanceTypeProperty.evaluate(DomainEvaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue)
|
Uses of DomainType in org.eclipse.ocl.examples.library.collection |
---|
Methods in org.eclipse.ocl.examples.library.collection that return DomainType | |
---|---|
DomainType |
CollectionElementTypeProperty.evaluate(DomainEvaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue)
|
Uses of DomainType in org.eclipse.ocl.examples.library.ecore |
---|
Classes in org.eclipse.ocl.examples.library.ecore that implement DomainType | |
---|---|
class |
EcoreExecutorEnumeration
|
class |
EcoreExecutorInvalidType
|
class |
EcoreExecutorType
|
class |
EcoreExecutorVoidType
|
class |
EcoreReflectiveEnumeration
|
class |
EcoreReflectiveType
|
Methods in org.eclipse.ocl.examples.library.ecore that return DomainType | |
---|---|
DomainType |
EcoreExecutorManager.getDynamicTypeOf(java.lang.Object value)
|
DomainType |
EcoreExecutorManager.getStaticTypeOf(java.lang.Object value)
|
DomainType |
EcoreExecutorManager.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
EcoreExecutorManager.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
Methods in org.eclipse.ocl.examples.library.ecore that return types with arguments of type DomainType | |
---|---|
java.util.List<? extends DomainType> |
EcoreReflectiveType.getLocalSuperTypes()
|
Methods in org.eclipse.ocl.examples.library.ecore with parameters of type DomainType | |
---|---|
boolean |
EcoreExecutorInvalidType.conformsTo(DomainStandardLibrary standardLibrary,
DomainType type)
|
boolean |
EcoreExecutorVoidType.conformsTo(DomainStandardLibrary standardLibrary,
DomainType type)
|
Uses of DomainType in org.eclipse.ocl.examples.library.executor |
---|
Classes in org.eclipse.ocl.examples.library.executor with type parameters of type DomainType | |
---|---|
class |
CollectionTypeParameters<T extends DomainType>
|
Subinterfaces of DomainType in org.eclipse.ocl.examples.library.executor | |
---|---|
interface |
ExecutorTypeArgument
|
Classes in org.eclipse.ocl.examples.library.executor that implement DomainType | |
---|---|
class |
DomainReflectiveType
|
class |
ExecutorLambdaType
|
class |
ExecutorSpecializedType
|
class |
ExecutorTupleType
|
class |
ExecutorType
An ExecutorType defines a Type using a compact representation suitable for efficient execution and static construction. |
class |
ExecutorTypeParameter
|
class |
JavaType
JavaType supports the usage of Java Class to define the type of an object. |
class |
ReflectiveType
A ReflectiveType defines a Type using a compact representation suitable for efficient execution. |
Fields in org.eclipse.ocl.examples.library.executor declared as DomainType | |
---|---|
protected DomainType |
DomainReflectiveType.domainType
|
Fields in org.eclipse.ocl.examples.library.executor with type parameters of type DomainType | |
---|---|
protected java.util.Map<DomainType,DomainInheritance> |
ReflectivePackage.types
|
Methods in org.eclipse.ocl.examples.library.executor that return DomainType | |
---|---|
DomainType |
ExecutableStandardLibrary.getBagType()
|
DomainType |
ExecutableStandardLibrary.getBooleanType()
|
DomainType |
ExecutableStandardLibrary.getCollectionType()
|
DomainType |
AbstractIdResolver.getCollectionType(CollectionTypeId typeId)
|
DomainType |
AbstractIdResolver.getCollectionType(CollectionTypeId typeId,
IntegerValue lower,
IntegerValue upper)
|
DomainType |
ExecutorLambdaType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
ExecutorSpecializedType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
ExecutorTupleType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
ExecutorTypeParameter.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
JavaType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
AbstractIdResolver.getDynamicTypeOf(java.lang.Iterable<?> values)
|
DomainType |
AbstractIdResolver.getDynamicTypeOf(java.lang.Object... values)
|
DomainType |
AbstractIdResolver.getDynamicTypeOf(java.lang.Object value)
|
DomainType |
ExecutorManager.getDynamicTypeOf(java.lang.Object value)
|
DomainType |
ExecutorStandardLibrary.getEnumerationType()
|
DomainType |
ExecutableStandardLibrary.getIntegerType()
|
DomainType |
AbstractIdResolver.getJavaType(java.lang.Class<?> javaClass)
|
DomainType |
AbstractIdResolver.getMetaclass(MetaclassId metaclassId)
|
DomainType |
ExecutorStandardLibrary.getMetaclassType()
|
DomainType |
ExecutorStandardLibrary.getNestedType(DomainPackage parentPackage,
java.lang.String name)
|
DomainType |
ExecutableStandardLibrary.getOclAnyType()
|
DomainType |
ExecutableStandardLibrary.getOclComparableType()
|
DomainType |
ExecutableStandardLibrary.getOclElementType()
|
DomainType |
ExecutableStandardLibrary.getOclInvalidType()
|
DomainType |
ExecutableStandardLibrary.getOclMessageType()
|
DomainType |
ExecutableStandardLibrary.getOclSelfType()
|
DomainType |
ExecutableStandardLibrary.getOclSummableType()
|
DomainType |
ExecutableStandardLibrary.getOclTupleType()
|
DomainType |
ExecutableStandardLibrary.getOclVoidType()
|
DomainType |
ExecutableStandardLibrary.getOrderedCollectionType()
|
DomainType |
ExecutableStandardLibrary.getOrderedSetType()
|
DomainType |
AbstractExecutorProperty.getOwningType()
|
DomainType |
ExecutorOperation.getOwningType()
|
DomainType |
ExecutableStandardLibrary.getRealType()
|
DomainType |
ExecutableStandardLibrary.getSequenceType()
|
DomainType |
ExecutableStandardLibrary.getSetType()
|
DomainType |
AbstractIdResolver.getStaticTypeOf(java.lang.Object value)
|
DomainType |
ExecutorManager.getStaticTypeOf(java.lang.Object value)
|
DomainType |
AbstractIdResolver.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
ExecutorManager.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
AbstractIdResolver.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
DomainType |
ExecutorManager.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
DomainType |
ExecutableStandardLibrary.getStringType()
|
DomainType |
AbstractExecutorProperty.getType()
|
DomainType |
ExecutorOperation.getType()
|
DomainType |
ExecutorType.getType()
|
DomainType |
ExecutorTypedElement.getType()
|
DomainType |
ReflectiveType.getType()
|
abstract DomainType |
AbstractIdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
|
DomainType |
ExecutorPackage.getType(java.lang.String typeName)
|
DomainType |
AbstractIdResolver.getType(TypeId typeId,
java.lang.Object context)
|
DomainType |
ExecutableStandardLibrary.getUniqueCollectionType()
|
DomainType |
ExecutableStandardLibrary.getUnlimitedNaturalType()
|
DomainType |
AbstractIdResolver.visitClassId(ClassId id)
|
DomainType |
AbstractIdResolver.visitCollectedId(CollectionTypeId id)
|
DomainType |
AbstractIdResolver.visitCollectionTypeId(CollectionTypeId id)
|
DomainType |
AbstractIdResolver.visitDataTypeId(DataTypeId id)
|
DomainType |
AbstractIdResolver.visitInvalidId(OclInvalidTypeId id)
|
DomainType |
AbstractIdResolver.visitLambdaTypeId(LambdaTypeId id)
|
DomainType |
AbstractIdResolver.visitMetaclassId(MetaclassId id)
|
DomainType |
AbstractIdResolver.visitNullId(OclVoidTypeId id)
|
DomainType |
AbstractIdResolver.visitPrimitiveTypeId(PrimitiveTypeId id)
|
DomainType |
AbstractIdResolver.visitTemplateableTypeId(TemplateableTypeId id)
|
DomainType |
AbstractIdResolver.visitTupleTypeId(TupleTypeId id)
|
DomainType |
AbstractIdResolver.visitUnspecifiedId(UnspecifiedId id)
|
Methods in org.eclipse.ocl.examples.library.executor that return types with arguments of type DomainType | |
---|---|
protected java.util.Map<DomainType,DomainInheritance> |
ReflectivePackage.computeClasses()
|
protected java.lang.Iterable<? extends DomainType> |
DomainReflectivePackage.getDomainTypes()
|
protected abstract java.lang.Iterable<? extends DomainType> |
ReflectivePackage.getDomainTypes()
|
java.util.List<? extends DomainType> |
DomainReflectiveType.getLocalSuperTypes()
|
java.util.List<? extends DomainType> |
ExecutorFragment.getLocalSuperTypes()
|
java.util.List<? extends DomainType> |
ExecutorType.getLocalSuperTypes()
|
abstract java.util.List<? extends DomainType> |
ExecutorPackage.getOwnedType()
|
java.util.List<? extends DomainType> |
ReflectivePackage.getOwnedType()
|
Methods in org.eclipse.ocl.examples.library.executor with parameters of type DomainType | |
---|---|
protected static int |
ReflectiveType.computeFlags(DomainType type)
|
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)
|
protected ReflectiveType |
DomainReflectivePackage.createExecutorType(DomainType domainType)
|
protected abstract DomainInheritance |
ReflectivePackage.createExecutorType(DomainType domainType)
|
protected abstract DomainMetaclass |
ExecutableStandardLibrary.createMetaclass(DomainType classType)
|
protected DomainMetaclass |
ExecutorStandardLibrary.createMetaclass(DomainType classType)
|
DomainTypedElement |
ExecutorEvaluationEnvironment.createVariable(java.lang.String name,
DomainType type)
|
Value |
ExecutorManager.evaluateIteration(DomainType returnType,
CollectionValue sourceVal,
DomainTypedElement accumulator,
DomainExpression body,
DomainTypedElement[] iterators)
|
java.util.Set<org.eclipse.emf.ecore.EObject> |
LazyModelManager.get(DomainType type)
Lazily computes the extent of the specified class key . |
DomainCollectionType |
ExecutableStandardLibrary.getBagType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainCollectionType |
ExecutableStandardLibrary.getCollectionType(DomainType genericType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainType |
ExecutorLambdaType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
ExecutorSpecializedType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
ExecutorTupleType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
ExecutorTypeParameter.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
JavaType.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainInheritance |
ExecutorStandardLibrary.getInheritance(DomainType type)
|
DomainInheritance |
ReflectivePackage.getInheritance(DomainType type)
|
DomainMetaclass |
ExecutableStandardLibrary.getMetaclass(DomainType classType)
|
DomainCollectionType |
ExecutableStandardLibrary.getOrderedSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainCollectionType |
ExecutableStandardLibrary.getSequenceType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainCollectionType |
ExecutableStandardLibrary.getSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainTypedElement |
AbstractIdResolver.getTuplePart(java.lang.String name,
DomainType type)
|
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)
|
protected abstract boolean |
LazyModelManager.isInstance(DomainType type,
org.eclipse.emf.ecore.EObject element)
Implemented by subclasses to determine whether the specified element is an instance of the specified class, according to the metamodel semantics implemented by the environment that created this extent map. |
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 DomainType | |
---|---|
DomainReflectiveType(DomainReflectivePackage evaluationPackage,
DomainType domainType)
|
|
ExecutorTypedElement(java.lang.String name,
DomainType type)
|
Uses of DomainType in org.eclipse.ocl.examples.library.oclany |
---|
Methods in org.eclipse.ocl.examples.library.oclany that return DomainType | |
---|---|
DomainType |
OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator,
java.lang.Object sourceVal)
|
Uses of DomainType in org.eclipse.ocl.examples.pivot |
---|
Subinterfaces of DomainType in org.eclipse.ocl.examples.pivot | |
---|---|
interface |
AnyType
A representation of the model object 'Any Type'. |
interface |
AssociationClass
A representation of the model object 'Association Class'. |
interface |
BagType
A representation of the model object 'Bag Type'. |
interface |
Behavior
A representation of the model object 'Behavior'. |
interface |
Class
A representation of the model object 'Class'. |
interface |
CollectionType
A representation of the model object 'Collection Type'. |
interface |
DataType
A representation of the model object 'Data Type'. |
interface |
DynamicType
A representation of the model object 'Dynamic Type'. |
interface |
ElementExtension
A representation of the model object 'Applied Stereotype'. |
interface |
Enumeration
A representation of the model object 'Enumeration'. |
interface |
InvalidType
A representation of the model object 'Invalid Type'. |
interface |
LambdaType
A representation of the model object 'Lambda Type'. |
interface |
MessageType
A representation of the model object 'Message Type'. |
interface |
Metaclass<T>
A representation of the model object 'Classifier Type'. |
interface |
OrderedSetType
A representation of the model object 'Ordered Set Type'. |
interface |
PrimitiveType
A representation of the model object 'Primitive Type'. |
interface |
SelfType
A representation of the model object 'Self Type'. |
interface |
SequenceType
A representation of the model object 'Sequence Type'. |
interface |
SetType
A representation of the model object 'Set Type'. |
interface |
StateMachine
A representation of the model object 'State Machine'. |
interface |
Stereotype
A representation of the model object 'Stereotype'. |
interface |
TemplateParameterType
A representation of the model object 'Template Parameter Type'. |
interface |
TupleType
A representation of the model object 'Tuple Type'. |
interface |
Type
A representation of the model object 'Type'. |
interface |
UnspecifiedType
A representation of the model object 'Unspecified Type'. |
interface |
VoidType
A representation of the model object 'Void Type'. |
Methods in org.eclipse.ocl.examples.pivot that return DomainType | |
---|---|
DomainType |
PropertyCallExp.getSpecializedReferredPropertyOwningType()
|
DomainType |
PropertyCallExp.getSpecializedReferredPropertyType()
|
Uses of DomainType in org.eclipse.ocl.examples.pivot.evaluation |
---|
Methods in org.eclipse.ocl.examples.pivot.evaluation that return DomainType | |
---|---|
DomainType |
AbstractEvaluationVisitor.getStaticTypeOf(java.lang.Object value)
|
DomainType |
TracingEvaluationVisitor.getStaticTypeOf(java.lang.Object value)
|
DomainType |
AbstractEvaluationVisitor.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
TracingEvaluationVisitor.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
AbstractEvaluationVisitor.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
DomainType |
TracingEvaluationVisitor.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type DomainType | |
---|---|
DomainTypedElement |
PivotEvaluationEnvironment.createVariable(java.lang.String name,
DomainType type)
Ecore implementation of the enumeration literal value. |
protected boolean |
PivotModelManager.isInstance(DomainType requiredType,
org.eclipse.emf.ecore.EObject eObject)
|
LibraryFeature |
EvaluationVisitorImpl.lookupImplementation(DomainType dynamicType,
DomainOperation staticOperation)
|
Uses of DomainType in org.eclipse.ocl.examples.pivot.executor |
---|
Methods in org.eclipse.ocl.examples.pivot.executor that return DomainType | |
---|---|
DomainType |
PivotExecutorStandardLibrary.getOclType(java.lang.String typeName)
|
DomainType |
PivotExecutorStandardLibrary.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
|
Methods in org.eclipse.ocl.examples.pivot.executor with parameters of type DomainType | |
---|---|
protected DomainMetaclass |
PivotExecutorStandardLibrary.createMetaclass(DomainType typeType)
|
protected Type |
PivotExecutorStandardLibrary.createType(DomainType domainType)
|
DomainInheritance |
PivotExecutorStandardLibrary.getInheritance(DomainType type)
|
protected Type |
PivotExecutorStandardLibrary.getType(DomainType typeType)
|
Uses of DomainType in org.eclipse.ocl.examples.pivot.internal.impl |
---|
Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement DomainType | |
---|---|
class |
AnyTypeImpl
An implementation of the model object 'Any Type'. |
class |
AssociationClassImpl
An implementation of the model object 'Association Class'. |
class |
BagTypeImpl
An implementation of the model object 'Bag Type'. |
class |
BehaviorImpl
An implementation of the model object 'Behavior'. |
class |
ClassImpl
An implementation of the model object 'Class'. |
class |
CollectionTypeImpl
An implementation of the model object 'Collection Type'. |
class |
DataTypeImpl
An implementation of the model object 'Data Type'. |
class |
DynamicTypeImpl
An implementation of the model object 'Dynamic Type'. |
class |
ElementExtensionImpl
An implementation of the model object 'Applied Stereotype'. |
class |
EnumerationImpl
An implementation of the model object 'Enumeration'. |
class |
InvalidTypeImpl
An implementation of the model object 'Invalid Type'. |
class |
LambdaTypeImpl
An implementation of the model object 'Lambda Type'. |
class |
MessageTypeImpl
An implementation of the model object 'Message Type'. |
class |
MetaclassImpl<T>
An implementation of the model object 'Classifier Type'. |
class |
OrderedSetTypeImpl
An implementation of the model object 'Ordered Set Type'. |
class |
PrimitiveTypeImpl
An implementation of the model object 'Primitive Type'. |
class |
SelfTypeImpl
An implementation of the model object 'Self Type'. |
class |
SequenceTypeImpl
An implementation of the model object 'Sequence Type'. |
class |
SetTypeImpl
An implementation of the model object 'Set Type'. |
class |
StateMachineImpl
An implementation of the model object 'State Machine'. |
class |
StereotypeImpl
An implementation of the model object 'Stereotype'. |
class |
TemplateParameterTypeImpl
An implementation of the model object 'Template Parameter Type'. |
class |
TupleTypeImpl
An implementation of the model object 'Tuple Type'. |
class |
TypeImpl
An implementation of the model object 'Type'. |
class |
UnspecifiedTypeImpl
An implementation of the model object 'Unspecified Type'. |
class |
VoidTypeImpl
An implementation of the model object 'Void Type'. |
Methods in org.eclipse.ocl.examples.pivot.internal.impl that return DomainType | |
---|---|
DomainType |
CollectionTypeImpl.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
TypeImpl.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
MetaclassImpl.getContainerType()
|
DomainType |
TypeImpl.getNormalizedType(DomainStandardLibrary standardLibrary)
|
DomainType |
PropertyCallExpImpl.getSpecializedReferredPropertyOwningType()
|
DomainType |
PropertyCallExpImpl.getSpecializedReferredPropertyType()
|
DomainType |
SelfTypeImpl.specializeIn(DomainCallExp expr,
DomainType selfType)
|
DomainType |
TypeImpl.specializeIn(DomainCallExp expr,
DomainType selfType)
|
Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type DomainType | |
---|---|
java.util.List<? extends DomainType> |
TypeImpl.getLocalSuperTypes()
|
java.util.List<? extends DomainType> |
LambdaTypeImpl.getParameterTypes()
|
Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type DomainType | |
---|---|
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)
|
DomainType |
CollectionTypeImpl.getCommonType(IdResolver idResolver,
DomainType type)
|
DomainType |
TypeImpl.getCommonType(IdResolver idResolver,
DomainType type)
|
boolean |
CollectionTypeImpl.isEqualTo(DomainStandardLibrary standardLibrary,
DomainType type)
|
boolean |
TypeImpl.isEqualTo(DomainStandardLibrary standardLibrary,
DomainType type)
|
boolean |
TypeImpl.isEqualToUnspecializedType(DomainStandardLibrary standardLibrary,
DomainType type)
|
DomainType |
SelfTypeImpl.specializeIn(DomainCallExp expr,
DomainType selfType)
|
DomainType |
TypeImpl.specializeIn(DomainCallExp expr,
DomainType selfType)
|
Uses of DomainType in org.eclipse.ocl.examples.pivot.library |
---|
Methods in org.eclipse.ocl.examples.pivot.library that return DomainType | |
---|---|
DomainType |
StaticProperty.evaluate(DomainEvaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue)
|
Uses of DomainType in org.eclipse.ocl.examples.pivot.manager |
---|
Subinterfaces of DomainType in org.eclipse.ocl.examples.pivot.manager | |
---|---|
interface |
TypeServer
A TypeServer serves coordinated behavior of one or more merged Types as required for Complete OCL type extension. |
Classes in org.eclipse.ocl.examples.pivot.manager that implement DomainType | |
---|---|
class |
AbstractTypeServer
An AbstractTypeServer provides the co-ordinated operation, property and superclass lookup caches for one or more merged types. |
class |
AnyTypeServer
|
class |
CollectionTypeServer
An CollectionTypeServer supports one or more merged collection types as the source for operations, properties or superclasses and additionally supports their specializations. |
class |
EnumerationTypeServer
|
class |
ExtensibleTypeServer
An ExtensibleTypeServer supports one or more merged types as the source for operations, properties or superclasses. |
class |
ExtensionTypeServer
An ExtensionTypeServer supports the type for the extension of a class by a stereotype application. |
class |
InvalidTypeServer
|
class |
MetaclassServer
A MetaclassServer supports one or more merged types as the source for operations, properties or superclasses and additionally supports their specializations. |
class |
OrphanTypeServer
An OrphanTypeServer provides a 'merge' type behaviour for a synthesized type that forms part of the OrphanPackage rather than a true package. |
class |
PrimitiveTypeServer
A PrimitiveTypeServer supports one or more merged primitive types. |
class |
TemplateableTypeServer
An TemplateableTypeServer supports one or more merged types as the source for operations, properties or superclasses and additionally supports their specializations. |
Fields in org.eclipse.ocl.examples.pivot.manager declared as DomainType | |
---|---|
protected DomainType |
AbstractTypeServer.domainType
|
Fields in org.eclipse.ocl.examples.pivot.manager with type parameters of type DomainType | |
---|---|
protected java.util.Map<DomainTemplateParameter,DomainType> |
TemplateSpecialisation.bindings
|
Methods in org.eclipse.ocl.examples.pivot.manager that return DomainType | |
---|---|
DomainType |
PivotExecutorManager.getDynamicTypeOf(java.lang.Object value)
|
DomainType |
PivotIdResolver.getDynamicTypeOf(java.lang.Object value)
|
DomainType |
MetaModelManager.getMetaType(DomainType instanceType)
|
DomainType |
MetaModelManager.getNestedType(DomainPackage domainPackage,
java.lang.String name)
|
DomainType |
MetaModelManager.getOclType(java.lang.String typeName)
|
DomainType |
TemplateSpecialisation.getSpecialisation(DomainType referredType)
|
DomainType |
PivotExecutorManager.getStaticTypeOf(java.lang.Object value)
|
DomainType |
PivotIdResolver.getStaticTypeOf(java.lang.Object value)
|
DomainType |
PivotExecutorManager.getStaticTypeOf(java.lang.Object value,
java.lang.Iterable<?> values)
|
DomainType |
PivotExecutorManager.getStaticTypeOf(java.lang.Object value,
java.lang.Object... values)
|
DomainType |
PivotIdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
|
DomainType |
TemplateParameterSubstitutionVisitor.specialize(TemplateableElement templateableElement)
|
DomainType |
TemplateParameterSubstitutionVisitor.specialize(TemplateParameter templateParameter)
|
Methods in org.eclipse.ocl.examples.pivot.manager that return types with arguments of type DomainType | |
---|---|
java.lang.Iterable<? extends DomainType> |
MetaModelManager.getAllSuperClasses(DomainType type)
|
protected java.lang.Iterable<? extends DomainType> |
PackageServer.getDomainTypes()
|
java.util.List<? extends DomainType> |
AbstractTypeServer.getLocalSuperTypes()
|
java.lang.Iterable<DomainType> |
ExtensibleTypeServer.getPartialTypes()
|
java.lang.Iterable<? extends DomainType> |
TypeServer.getPartialTypes()
|
java.lang.Iterable<? extends DomainType> |
MetaModelManager.getPartialTypes(DomainType pivotType)
|
Methods in org.eclipse.ocl.examples.pivot.manager with parameters of type DomainType | |
---|---|
protected DomainInheritance |
PackageServer.createExecutorType(DomainType domainType)
|
ExtensibleTypeServer |
PackageManager.findTypeServer(DomainType pivotType)
|
java.lang.Iterable<? extends DomainOperation> |
MetaModelManager.getAllOperations(DomainType type,
FeatureFilter featureFilter)
|
java.lang.Iterable<? extends DomainOperation> |
MetaModelManager.getAllOperations(DomainType type,
FeatureFilter featureFilter,
java.lang.String name)
|
java.lang.Iterable<? extends DomainProperty> |
MetaModelManager.getAllProperties(DomainType type,
FeatureFilter featureFilter)
|
java.lang.Iterable<? extends DomainProperty> |
MetaModelManager.getAllProperties(DomainType type,
FeatureFilter featureFilter,
java.lang.String name)
|
java.lang.Iterable<? extends DomainType> |
MetaModelManager.getAllSuperClasses(DomainType type)
|
CollectionType |
MetaModelManager.getBagType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
CollectionType |
MetaModelManager.getCollectionType(DomainType containerType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainInheritance |
MetaModelManager.getInheritance(DomainType type)
|
Metaclass<?> |
MetaModelManager.getMetaclass(DomainType domainInstanceType)
|
DomainType |
MetaModelManager.getMetaType(DomainType instanceType)
|
CollectionType |
MetaModelManager.getOrderedSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
java.lang.Iterable<? extends DomainType> |
MetaModelManager.getPartialTypes(DomainType pivotType)
|
Type |
MetaModelManager.getPrimaryType(DomainType type)
|
CollectionType |
MetaModelManager.getSequenceType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
CollectionType |
MetaModelManager.getSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
|
DomainType |
TemplateSpecialisation.getSpecialisation(DomainType referredType)
|
Type |
MetaModelManager.getType(DomainType dType)
|
TypeServer |
MetaModelManager.getTypeServer(DomainType pivotType)
|
TypeServer |
OrphanPackageServer.getTypeServer(DomainType type)
|
TypeServer |
PackageManager.getTypeServer(DomainType pivotType)
|
org.eclipse.ocl.examples.pivot.manager.TypeTracker |
ExtensibleTypeServer.getTypeTracker(DomainType pivotType)
|
protected void |
AbstractTypeServer.initMemberFeaturesFrom(DomainType pivotType)
|
protected void |
AbstractTypeServer.initMemberPropertiesFrom(DomainType asType)
|
void |
TemplateSpecialisation.installEquivalence(DomainType resolvedType,
DomainType referencedType)
|
boolean |
MetaModelManager.isTypeServeable(DomainType type)
|
static boolean |
TemplateSpecialisation.needsSpecialisation(DomainType referencedType)
Return true if a referencedType needs specialisation to resolve a template parameter. |
protected void |
TemplateParameterSubstitutionVisitor.visit(Type newFormal,
DomainType newActual)
|
Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type DomainType | |
---|---|
protected void |
TemplateParameterSubstitutionVisitor.visitAllTypes(java.util.List<? extends Type> formalElements,
java.util.List<? extends DomainType> actualElements)
|
Constructors in org.eclipse.ocl.examples.pivot.manager with parameters of type DomainType | |
---|---|
AbstractTypeServer(PackageServer packageServer,
DomainType domainType)
|
|
ExtensibleTypeServer(PackageServer packageServer,
DomainType domainType)
|
|
TemplateableTypeServer(PackageServer packageServer,
DomainType domainType)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |