org.eclipse.ocl.examples.library.ecore
Class EcoreReflectiveFragment

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractFragment
      org.eclipse.ocl.examples.library.executor.ReflectiveFragment
          org.eclipse.ocl.examples.library.ecore.EcoreReflectiveFragment

All Implemented Interfaces:

DomainFragment

public class EcoreReflectiveFragment
extends ReflectiveFragment

Field Summary

protected org.eclipse.emf.ecore.EClassifier

eClassifier

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

EcoreReflectiveFragment(EcoreReflectiveType derivedInheritance, DomainInheritance baseInheritance)

Method Summary

org.eclipse.emf.ecore.EClassifier	getEClassifier()
DomainOperation	getLocalOperation(DomainOperation baseOperation) Return the operation within this fragment that has the same signature as staticOperation.
java.lang.Iterable<? extends DomainProperty>	getLocalProperties() Return the properties within this fragment in property index order.
protected java.util.Map<DomainProperty,LibraryFeature>	initProperties()

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

getImplementation, getLocalOperations

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

Field Detail

eClassifier

@NonNull
protected final org.eclipse.emf.ecore.EClassifier eClassifier

Constructor Detail

EcoreReflectiveFragment

public EcoreReflectiveFragment(@NonNull
                               EcoreReflectiveType derivedInheritance,
                               @NonNull
                               DomainInheritance baseInheritance)

Method Detail

getEClassifier

@NonNull
public final org.eclipse.emf.ecore.EClassifier getEClassifier()

getLocalProperties

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

Description copied from interface: DomainFragment

Return the properties within this fragment in property index order.

Specified by:

getLocalProperties in interface DomainFragment

Overrides:

getLocalProperties in class ReflectiveFragment

getLocalOperation

@Nullable
public DomainOperation getLocalOperation(@NonNull
                                                  DomainOperation baseOperation)

Description copied from interface: DomainFragment

Return the operation within this fragment that has the same signature as staticOperation. Returns null if none.

initProperties

@NonNull
protected java.util.Map<DomainProperty,LibraryFeature> initProperties()