Uses of Class
org.eclipse.ocl.examples.pivot.executor.PivotReflectiveType

Packages that use PivotReflectiveType

org.eclipse.ocl.examples.pivot.executor

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

Subclasses of PivotReflectiveType in org.eclipse.ocl.examples.pivot.executor

class	PivotReflectiveAnyType
class	PivotReflectiveEnumerationType
class	PivotReflectiveInvalidType
class	PivotReflectiveVoidType

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

protected PivotReflectiveType

PivotReflectivePackage.createExecutorType(DomainType domainType)

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

PivotExecutorOperation(PivotReflectiveType inheritance, int operationIndex, Operation pivotOperation)

PivotReflectiveFragment(PivotReflectiveType derivedInheritance, DomainInheritance baseInheritance)