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)

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

Method Summary

LibraryFeature	getImplementation(DomainOperation staticOperation)
java.lang.Iterable<? extends DomainOperation>	getLocalOperations()
java.lang.Iterable<? extends DomainProperty>	getLocalProperties()
java.lang.Iterable<? 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(ExecutorType derivedInheritance,
                        DomainInheritance baseInheritance)

ExecutorFragment

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

Deprecated.

Method Detail

getImplementation

public LibraryFeature getImplementation(DomainOperation staticOperation)

getLocalOperations

public java.lang.Iterable<? extends DomainOperation> getLocalOperations()

getLocalProperties

public java.lang.Iterable<? extends DomainProperty> getLocalProperties()

getLocalSuperTypes

public java.lang.Iterable<? extends DomainType> getLocalSuperTypes()

initOperations

public void initOperations(ExecutorOperation[] operations)

initProperties

public void initProperties(ExecutorProperty[] properties)