Uses of Class
org.eclipse.ocl.pivot.internal.library.executor.ExecutorFragment

Packages that use ExecutorFragment

Package	Description
org.eclipse.ocl.pivot.internal.library.ecore
org.eclipse.ocl.pivot.internal.library.executor

Uses of ExecutorFragment in org.eclipse.ocl.pivot.internal.library.ecore

Methods in org.eclipse.ocl.pivot.internal.library.ecore with parameters of type ExecutorFragment

Modifier and Type	Method and Description
EcoreExecutorType	EcoreExecutorType.initFragments(ExecutorFragment[] fragments, int[] depthCounts, EClassifier eClassifier) Define the EClassifier associated with an executable type.

Uses of ExecutorFragment in org.eclipse.ocl.pivot.internal.library.executor

Methods in org.eclipse.ocl.pivot.internal.library.executor that return ExecutorFragment

Modifier and Type	Method and Description
ExecutorFragment	ExecutorType.getFragment(int fragmentNumber)
ExecutorFragment	ExecutorType.getSelfFragment()

Methods in org.eclipse.ocl.pivot.internal.library.executor with parameters of type ExecutorFragment

Modifier and Type	Method and Description
void	ExecutorType.initFragments(ExecutorFragment[] fragments, int[] depthCounts)