org.eclipse.ocl.examples.pivot.executor
Class PivotReflectiveFragment

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

All Implemented Interfaces:

DomainFragment

public class PivotReflectiveFragment
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

PivotReflectiveFragment(TypeServer derivedInheritance, DomainInheritance baseInheritance)

Method Summary

protected DomainOperation

getOperationOverload(DomainOperation baseOperation)

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

PivotReflectiveFragment

public PivotReflectiveFragment(@NonNull
                               TypeServer derivedInheritance,
                               @NonNull
                               DomainInheritance baseInheritance)

Method Detail

getOperationOverload

@NonNull
protected DomainOperation getOperationOverload(@NonNull
                                                       DomainOperation baseOperation)

Specified by:

getOperationOverload in class ReflectiveFragment