org.eclipse.ocl.examples.library.executor
Class ExecutorFragment

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractFragment
      org.eclipse.ocl.examples.library.executor.ExecutorFragment

All Implemented Interfaces:

DomainFragment

public class ExecutorFragment
extends AbstractFragment

An ExecutorFragment provides the description of the properties and operations defined by some class when accessed by the same or another class. The descriptions are normally built by direct static construction from auto-generated code, with instnaces defined in isolation during construction then cross-references defined later by calls to init().

Field Summary

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractFragment

baseInheritance, derivedInheritance

Constructor Summary

ExecutorFragment(ExecutorType derivedInheritance, DomainInheritance baseInheritance)

Method Summary

LibraryFeature	getImplementation(DomainOperation staticOperation) Return the implementation of the operation within this fragment that has the same signature as staticOperation.
DomainOperation	getLocalOperation(DomainOperation staticOperation) Return the operation within this fragment that has the same signature as staticOperation.
java.util.List<? extends DomainOperation>	getLocalOperations() Return the operations within this fragment in operation index order.
java.util.List<? extends DomainProperty>	getLocalProperties() Return the properties within this fragment in property index order.
java.util.List<? extends DomainType>	getLocalSuperTypes()
void	initOperations(ExecutorOperation[] operations)
void	initProperties(ExecutorProperty[] properties)

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractFragment

getBaseFragment, getBaseInheritance, getDerivedInheritance, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExecutorFragment

public ExecutorFragment(@NonNull
                        ExecutorType derivedInheritance,
                        @NonNull
                        DomainInheritance baseInheritance)

Method Detail

getImplementation

@NonNull
public LibraryFeature getImplementation(@NonNull
                                                DomainOperation staticOperation)

Description copied from interface: DomainFragment

Return the implementation of the operation within this fragment that has the same signature as staticOperation. If there is no local overload, returns an inherited operation if unambiguous or OclAnyUnsupportedOperation.AMBIGUOUS if ambiguous.

getLocalOperation

@Nullable
public DomainOperation getLocalOperation(@NonNull
                                                  DomainOperation staticOperation)

Description copied from interface: DomainFragment

Return the operation within this fragment that has the same signature as staticOperation. Returns null if none.

getLocalOperations

@NonNull
public java.util.List<? extends DomainOperation> getLocalOperations()

Description copied from interface: DomainFragment

Return the operations within this fragment in operation index order.

getLocalProperties

@NonNull
public java.util.List<? extends DomainProperty> getLocalProperties()

Description copied from interface: DomainFragment

Return the properties within this fragment in property index order.

getLocalSuperTypes

@NonNull
public java.util.List<? extends DomainType> getLocalSuperTypes()

initOperations

public void initOperations(@NonNull
                           ExecutorOperation[] operations)

initProperties

public void initProperties(@NonNull
                           ExecutorProperty[] properties)