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

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

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.
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.
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	EcoreExecutorType
class	EcoreReflectiveType

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

java.lang.Iterable<? extends DomainInheritance>

EcoreReflectiveType.getInitialSuperInheritances()

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

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
class	ReflectiveType

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

protected DomainInheritance	ExecutorProperty.executorType
protected DomainInheritance	ExecutorOperation.inheritance

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

DomainInheritance	ExecutorOperation.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	ExecutorProperty.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	ExecutorStandardLibrary.getInheritance(DomainType type)

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

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

DomainReflectiveFragment(DomainReflectiveType derivedInheritance, DomainInheritance baseInheritance)

ExecutorFragment(ExecutorType derivedInheritance, DomainInheritance baseInheritance)

ExecutorFragment(ExecutorType derivedInheritance, DomainInheritance baseInheritance, ExecutorOperation[] operations, ExecutorProperty[] properties)
Deprecated.

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

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

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

class	PivotReflectiveAnyType
class	PivotReflectiveEnumerationType
class	PivotReflectiveInvalidType
class	PivotReflectiveType
class	PivotReflectiveVoidType

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

DomainInheritance	PivotReflectiveAnyType.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	PivotReflectiveInvalidType.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	PivotReflectiveVoidType.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	PivotExecutorStandardLibrary.getInheritance(DomainType type)

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

java.lang.Iterable<? extends DomainInheritance>	PivotReflectiveAnyType.getInitialSuperInheritances()
java.lang.Iterable<? extends DomainInheritance>	PivotReflectiveType.getInitialSuperInheritances()

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

protected AbstractFragment	PivotReflectiveType.createFragment(DomainInheritance baseInheritance)
DomainInheritance	PivotReflectiveAnyType.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	PivotReflectiveInvalidType.getCommonInheritance(DomainInheritance thatInheritance)
DomainInheritance	PivotReflectiveVoidType.getCommonInheritance(DomainInheritance thatInheritance)

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

PivotReflectiveFragment(PivotReflectiveType 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	OperationImpl.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	PropertyImpl.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	TupleTypeImpl.getInheritance(DomainStandardLibrary standardLibrary)
DomainInheritance	TypeImpl.getInheritance(DomainStandardLibrary standardLibrary)