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)
           
 java.lang.Iterable<? extends DomainOperation> getLocalOperations()
           
 java.lang.Iterable<? extends DomainProperty> getLocalProperties()
           
 

Method Detail

getBaseFragment

@NonNull
DomainFragment getBaseFragment()

getBaseInheritance

@NonNull
DomainInheritance getBaseInheritance()

getDerivedInheritance

@NonNull
DomainInheritance getDerivedInheritance()

getImplementation

@NonNull
LibraryFeature getImplementation(@NonNull
                                         DomainOperation staticOperation)

getLocalOperations

@NonNull
java.lang.Iterable<? extends DomainOperation> getLocalOperations()

getLocalProperties

@NonNull
java.lang.Iterable<? extends DomainProperty> getLocalProperties()