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(PivotReflectiveType derivedInheritance, DomainInheritance baseInheritance)

Method Summary

protected DomainOperation

getOperationOverload(DomainOperation baseOperation)

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

getImplementation

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(PivotReflectiveType derivedInheritance,
                               DomainInheritance baseInheritance)

Method Detail

getOperationOverload

protected DomainOperation getOperationOverload(DomainOperation baseOperation)

Specified by:

getOperationOverload in class ReflectiveFragment