Package | Description |
---|---|
org.eclipse.ocl.pivot.internal.library.executor |
Modifier and Type | Method and Description |
---|---|
AbstractInheritance.FragmentIterable |
ExecutorType.getAllProperSuperFragments() |
AbstractInheritance.FragmentIterable |
ReflectiveInheritance.getAllProperSuperFragments() |
AbstractInheritance.FragmentIterable |
ExecutorType.getAllSuperFragments() |
AbstractInheritance.FragmentIterable |
ReflectiveInheritance.getAllSuperFragments() |
AbstractInheritance.FragmentIterable |
ExecutorType.getSuperFragments(int depth) |
AbstractInheritance.FragmentIterable |
ReflectiveInheritance.getSuperFragments(int depth) |