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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractFragment
      extended by org.eclipse.ocl.examples.library.executor.ReflectiveFragment
          extended by 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
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

DomainReflectiveFragment

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

getOperationOverload

@NonNull
protected DomainOperation getOperationOverload(@NonNull
                                                       DomainOperation baseOperation)
Specified by:
getOperationOverload in class ReflectiveFragment