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

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

All Implemented Interfaces:

DomainFragment

public class DomainReflectiveFragment
extends ReflectiveFragment

Field Summary

Fields inherited from class org.eclipse.ocl.examples.library.executor.ReflectiveFragment

operationMap, propertyMap

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

baseInheritance, derivedInheritance

Constructor Summary

DomainReflectiveFragment(DomainReflectiveType derivedInheritance, DomainInheritance baseInheritance)

Method Summary

DomainOperation

getLocalOperation(DomainOperation baseOperation) Return the operation within this fragment that has the same signature as staticOperation.

Methods inherited from class org.eclipse.ocl.examples.library.executor.ReflectiveFragment

getImplementation, getLocalOperations, getLocalProperties

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

DomainReflectiveFragment

public DomainReflectiveFragment(@NonNull
                                DomainReflectiveType derivedInheritance,
                                @NonNull
                                DomainInheritance baseInheritance)

Method Detail

getLocalOperation

@Nullable
public DomainOperation getLocalOperation(@NonNull
                                                  DomainOperation baseOperation)

Description copied from interface: DomainFragment

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