Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.eclipse.ocl.examples.domain.elements
Interface DomainFragment

All Known Implementing Classes:
AbstractFragment, DomainReflectiveFragment, EcoreReflectiveFragment, ExecutorFragment, PivotReflectiveFragment, ReflectiveFragment
public interface DomainFragment

Method Summary
 DomainFragment getBaseFragment()
           
 DomainInheritance getBaseInheritance()
           
 DomainInheritance getDerivedInheritance()
           
 LibraryFeature getImplementation(DomainOperation staticOperation)
           
 

Method Detail

getBaseFragment

DomainFragment getBaseFragment()

getBaseInheritance

DomainInheritance getBaseInheritance()

getDerivedInheritance

DomainInheritance getDerivedInheritance()

getImplementation

LibraryFeature getImplementation(DomainOperation staticOperation)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD