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

Packages that use DomainInheritance

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.executor
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.manager

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

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

static DomainInheritance[]

DomainInheritance.EMPTY_ARRAY

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

DomainInheritance	DomainFragment.getBaseInheritance()
DomainInheritance	DomainInheritance.getCommonInheritance(DomainInheritance inheritance)
DomainInheritance	DomainFragment.getDerivedInheritance()
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.
DomainInheritance	DomainStandardLibrary.getInheritance(DomainType type) Return the Inheritance dispatch table for a given type.

Methods in org.eclipse.ocl.examples.domain.elements with parameters of type DomainInheritance

DomainInheritance	DomainInheritance.getCommonInheritance(DomainInheritance inheritance)
DomainFragment	DomainInheritance.getFragment(DomainInheritance thatInheritance)
boolean	DomainInheritance.isSubInheritanceOf(DomainInheritance inheritance)
boolean	DomainInheritance.isSuperInheritanceOf(DomainStandardLibrary standardLibrary, DomainInheritance inheritance)
DomainOperation	DomainInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)

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

Classes in org.eclipse.ocl.examples.domain.types that implement DomainInheritance

class

AbstractInheritance

Fields in org.eclipse.ocl.examples.domain.types declared as DomainInheritance

DomainInheritance	AbstractFragment.baseInheritance
DomainInheritance	AbstractFragment.derivedInheritance

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

DomainInheritance	AbstractFragment.getBaseInheritance()
DomainInheritance	AbstractInheritance.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	AbstractFragment.getDerivedInheritance()
DomainInheritance	AbstractInheritance.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	AbstractType.getInheritance(DomainStandardLibrary standardLibrary)
protected DomainInheritance	AbstractInheritance.getOclAnyInheritance()

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

DomainInheritance	AbstractInheritance.getCommonInheritance(DomainInheritance thatInheritance)
DomainFragment	AbstractInheritance.getFragment(DomainInheritance thatInheritance)
boolean	AbstractInheritance.isSubInheritanceOf(DomainInheritance thatInheritance)
boolean	AbstractInheritance.isSuperInheritanceOf(DomainStandardLibrary standardLibrary, DomainInheritance thatInheritance)
DomainOperation	AbstractInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainInheritance... argumentTypes)

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

AbstractFragment(DomainInheritance derivedInheritance, DomainInheritance baseInheritance)

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

Classes in org.eclipse.ocl.examples.library.ecore that implement DomainInheritance

class	EcoreExecutorEnumeration
class	EcoreExecutorInvalidType
class	EcoreExecutorType
class	EcoreExecutorVoidType
class	EcoreReflectiveEnumeration
class	EcoreReflectiveType

Fields in org.eclipse.ocl.examples.library.ecore with type parameters of type DomainInheritance

static java.util.List<DomainInheritance>	EcoreReflectiveType.EMPTY_INHERITANCES
protected java.util.Map<org.eclipse.emf.ecore.EClassifier,DomainInheritance>	EcoreReflectivePackage.types

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

DomainInheritance	EcoreIdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier)
DomainInheritance	EcoreExecutorPackage.getType(java.lang.String typeName)
DomainInheritance	EcoreReflectivePackage.getType(java.lang.String typeName)

Methods in org.eclipse.ocl.examples.library.ecore that return types with arguments of type DomainInheritance

protected java.util.Map<org.eclipse.emf.ecore.EClassifier,DomainInheritance>	EcoreReflectivePackage.computeClasses()
java.lang.Iterable<? extends DomainInheritance>	EcoreReflectiveType.getInitialSuperInheritances()
java.util.List<DomainInheritance>	EcoreExecutorPackage.getOwnedType()
java.util.List<DomainInheritance>	EcoreReflectivePackage.getOwnedType()

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

protected AbstractFragment

EcoreReflectiveType.createFragment(DomainInheritance baseInheritance)

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

EcoreExecutorProperty(org.eclipse.emf.ecore.EStructuralFeature eFeature, DomainInheritance executorType, int propertyIndex)

EcoreReflectiveFragment(EcoreReflectiveType derivedInheritance, DomainInheritance baseInheritance)

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

Classes in org.eclipse.ocl.examples.library.executor that implement DomainInheritance

class	DomainReflectiveType
class	ExecutorType An ExecutorType defines a Type using a compact representation suitable for efficient execution and static construction.
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 DomainInheritance

protected DomainInheritance	AbstractExecutorProperty.executorType
protected DomainInheritance	DomainProperties.inheritance
protected DomainInheritance	ExecutorOperation.inheritance

Fields in org.eclipse.ocl.examples.library.executor with type parameters of type DomainInheritance

protected java.util.Map<DomainType,DomainInheritance>

ReflectivePackage.types

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

protected abstract DomainInheritance	ReflectivePackage.createExecutorType(DomainType domainType)
DomainInheritance	AbstractExecutorProperty.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	ExecutorOperation.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	JavaType.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	ExecutorStandardLibrary.getInheritance(DomainType type)
DomainInheritance	ReflectivePackage.getInheritance(DomainType type)
DomainInheritance	ExecutorStandardLibrary.getOclType(java.lang.String typeName)

Methods in org.eclipse.ocl.examples.library.executor that return types with arguments of type DomainInheritance

protected java.util.Map<DomainType,DomainInheritance>	ReflectivePackage.computeClasses()
java.lang.Iterable<? extends DomainInheritance>	DomainReflectiveType.getInitialSuperInheritances()
protected abstract java.lang.Iterable<? extends DomainInheritance>	ReflectiveType.getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.

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

protected AbstractFragment	DomainReflectiveType.createFragment(DomainInheritance baseInheritance)
protected abstract AbstractFragment	ReflectiveType.createFragment(DomainInheritance baseInheritance)

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

AbstractExecutorProperty(java.lang.String name, DomainInheritance executorType, int propertyIndex)

DomainProperties(DomainInheritance inheritance)

DomainReflectiveFragment(DomainReflectiveType derivedInheritance, DomainInheritance baseInheritance)

ExecutorFragment(ExecutorType derivedInheritance, DomainInheritance baseInheritance)

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

ExecutorProperty(java.lang.String name, DomainInheritance executorType, int propertyIndex)

ExecutorProperty(java.lang.String name, DomainInheritance executorType, int propertyIndex, LibraryProperty implementation)
Deprecated.

ExecutorPropertyWithImplementation(java.lang.String name, DomainInheritance executorType, int propertyIndex, LibraryProperty implementation)

ReflectiveFragment(DomainInheritance derivedInheritance, DomainInheritance baseInheritance)

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

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

DomainInheritance

PivotExecutorStandardLibrary.getInheritance(DomainType type)

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

PivotReflectiveFragment(TypeServer derivedInheritance, DomainInheritance baseInheritance)

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

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

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)

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

Subinterfaces of DomainInheritance 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 DomainInheritance

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 with type parameters of type DomainInheritance

protected java.util.Map<java.lang.String,DomainInheritance>

AbstractTypeServer.QualifiedName2DomainInheritance.name2superclasses

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

DomainInheritance	AbstractTypeServer.QualifiedName2DomainInheritance.apply(java.lang.String qualifiedClassName)
protected DomainInheritance	PackageServer.createExecutorType(DomainType domainType)
DomainInheritance	AnyTypeServer.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	InvalidTypeServer.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	MetaModelManager.getInheritance(DomainType type)

Methods in org.eclipse.ocl.examples.pivot.manager that return types with arguments of type DomainInheritance

java.lang.Iterable<? extends DomainInheritance>	AbstractTypeServer.getAllSuperClasses()
java.lang.Iterable<? extends DomainInheritance>	TypeServer.getAllSuperClasses()
java.lang.Iterable<? extends DomainInheritance>	AbstractTypeServer.getAllSuperClasses(java.lang.String className)
java.lang.Iterable<? extends DomainInheritance>	TypeServer.getAllSuperClasses(java.lang.String className)
java.util.Set<DomainInheritance>	MetaModelManager.getCommonClasses(Type leftClass, Type rightClass, java.util.Set<DomainInheritance> commonClasses)
java.lang.Iterable<? extends DomainInheritance>	AbstractTypeServer.getInitialSuperInheritances()
java.lang.Iterable<? extends DomainInheritance>	AnyTypeServer.getInitialSuperInheritances()
protected java.util.Map<java.lang.String,DomainInheritance>	AbstractTypeServer.initSuperClasses()

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

protected AbstractFragment	AbstractTypeServer.createFragment(DomainInheritance baseInheritance)
DomainInheritance	AnyTypeServer.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	InvalidTypeServer.getCommonInheritance(DomainInheritance thatInheritance)
boolean	FinalAnalysis.isFinal(DomainInheritance domainInheritance)
DomainOperation	FinalAnalysis.isFinal(DomainOperation operation, DomainInheritance domainInheritance)

Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type DomainInheritance

java.util.Set<DomainInheritance>	MetaModelManager.getCommonClasses(Type leftClass, Type rightClass, java.util.Set<DomainInheritance> commonClasses)
protected java.util.Map<java.lang.String,java.util.List<java.lang.String>>	AbstractTypeServer.initSuperClassesWithAmbiguousNames(java.util.Map<java.lang.String,DomainInheritance> name2superclasses2, java.util.Map<java.lang.String,java.util.List<java.lang.String>> name2qualifiedNames2)

Constructor parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type DomainInheritance

AbstractTypeServer.QualifiedName2DomainInheritance(java.util.Map<java.lang.String,DomainInheritance> name2superclasses)