Uses of Class
org.eclipse.ocl.examples.domain.elements.DomainTypeParameters

Packages that use DomainTypeParameters

org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.manager

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

Fields in org.eclipse.ocl.examples.domain.elements declared as DomainTypeParameters

static DomainTypeParameters

DomainTypeParameters.EMPTY_LIST

Methods in org.eclipse.ocl.examples.domain.elements that return DomainTypeParameters

DomainTypeParameters	DomainOperation.getTypeParameters() Return the ordered list of type parameters of this operation.
DomainTypeParameters	DomainType.getTypeParameters() Return the ordered list of type parameters of this type.

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

Methods in org.eclipse.ocl.examples.domain.types that return DomainTypeParameters

DomainTypeParameters

AbstractType.getTypeParameters()

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

Fields in org.eclipse.ocl.examples.library.ecore declared as DomainTypeParameters

protected DomainTypeParameters

EcoreReflectiveType.typeParameters

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

DomainTypeParameters

EcoreReflectiveType.getTypeParameters()

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

Fields in org.eclipse.ocl.examples.library.executor declared as DomainTypeParameters

protected DomainTypeParameters

ExecutorOperation.typeParameters

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

DomainTypeParameters	DomainReflectiveType.getTypeParameters()
DomainTypeParameters	ExecutorOperation.getTypeParameters()
DomainTypeParameters	ExecutorType.getTypeParameters()

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

ExecutorOperation(java.lang.String name, DomainParameterTypes parameterTypes, DomainInheritance inheritance, int index, DomainTypeParameters typeParameters, LibraryFeature implementation)

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

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return DomainTypeParameters

DomainTypeParameters	OperationImpl.getTypeParameters()
DomainTypeParameters	TypeImpl.getTypeParameters()
static DomainTypeParameters	TemplateSignatureImpl.getTypeParameters(TemplateSignature templateSignature)

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

Methods in org.eclipse.ocl.examples.pivot.manager that return DomainTypeParameters

DomainTypeParameters

AbstractTypeServer.getTypeParameters()

Methods in org.eclipse.ocl.examples.pivot.manager with parameters of type DomainTypeParameters

protected Type	TemplateableTypeServer.createSpecialization(DomainTypeParameters templateArguments)
Type	TemplateableTypeServer.findSpecializedType(DomainTypeParameters templateArguments)
Type	TemplateableTypeServer.getSpecializedType(DomainTypeParameters templateArguments)