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

Packages that use DomainFragment

org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.pivot.executor

Uses of DomainFragment in org.eclipse.ocl.examples.domain.elements

Methods in org.eclipse.ocl.examples.domain.elements that return DomainFragment

DomainFragment	DomainFragment.getBaseFragment() Return the unoverloaded fragment, which is getBaseInheritance().getSelfFragment().
DomainFragment	DomainInheritance.getFragment(DomainInheritance thatInheritance)
DomainFragment	DomainInheritance.getFragment(int fragmentNumber)
DomainFragment	DomainInheritance.getSelfFragment()

Methods in org.eclipse.ocl.examples.domain.elements that return types with arguments of type DomainFragment

java.lang.Iterable<DomainFragment>	DomainInheritance.getAllSuperFragments() Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.
IndexableIterable<DomainFragment>	DomainInheritance.getSuperFragments(int depth) Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.

Uses of DomainFragment in org.eclipse.ocl.examples.domain.types

Classes in org.eclipse.ocl.examples.domain.types that implement DomainFragment

class

AbstractFragment

Methods in org.eclipse.ocl.examples.domain.types that return DomainFragment

DomainFragment	AbstractInheritance.FragmentIterable.get(int index)
DomainFragment	AbstractFragment.getBaseFragment()
DomainFragment	AbstractInheritance.getFragment(DomainInheritance thatInheritance)
DomainFragment	AbstractInheritance.FragmentIterable.Iterator.next()

Methods in org.eclipse.ocl.examples.domain.types that return types with arguments of type DomainFragment

java.util.Iterator<DomainFragment>

AbstractInheritance.FragmentIterable.iterator()

Constructors in org.eclipse.ocl.examples.domain.types with parameters of type DomainFragment

AbstractInheritance.FragmentIterable(DomainFragment[] array)

AbstractInheritance.FragmentIterable(DomainFragment[] array, int firstIndex, int lastIndex)

Uses of DomainFragment in org.eclipse.ocl.examples.library.ecore

Classes in org.eclipse.ocl.examples.library.ecore that implement DomainFragment

class

EcoreReflectiveFragment

Uses of DomainFragment in org.eclipse.ocl.examples.library.executor

Classes in org.eclipse.ocl.examples.library.executor that implement DomainFragment

class	DomainReflectiveFragment
class	ExecutorFragment An ExecutorFragment provides the description of the properties and operations defined by some class when accessed by the same or another class.
class	ReflectiveFragment A ReflectiveFragment provides the description of the properties and operations defined by some class when accessed by the same or another class.

Methods in org.eclipse.ocl.examples.library.executor that return DomainFragment

DomainFragment	ReflectiveType.getFragment(int fragmentNumber)
protected DomainFragment[]	ReflectiveType.getFragments()
DomainFragment	ReflectiveType.getSelfFragment()

Method parameters in org.eclipse.ocl.examples.library.executor with type arguments of type DomainFragment

protected void

DomainProperties.init(java.lang.Iterable<DomainFragment> allSuperFragments)

Uses of DomainFragment in org.eclipse.ocl.examples.pivot.executor

Classes in org.eclipse.ocl.examples.pivot.executor that implement DomainFragment

class

PivotReflectiveFragment