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().
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ExecutorFragment
public ExecutorFragment(@NonNull
ExecutorType derivedInheritance,
@NonNull
DomainInheritance baseInheritance)
getImplementation
@NonNull
public LibraryFeature getImplementation(@NonNull
DomainOperation staticOperation)
getLocalOperations
@NonNull
public java.util.List<? extends DomainOperation> getLocalOperations()
getLocalProperties
@NonNull
public java.util.List<? extends DomainProperty> getLocalProperties()
getLocalSuperTypes
@NonNull
public java.util.List<? extends DomainType> getLocalSuperTypes()
initOperations
public void initOperations(@NonNull
ExecutorOperation[] operations)
initProperties
public void initProperties(@NonNull
ExecutorProperty[] properties)