| name | method, % | block, % |
|---|
| <static initializer> | 0% (0/1) | 0% (0/5) |
| SeffVisitor (ContextWrapper): void | 0% (0/1) | 0% (0/48) |
| caseAcquireAction (AcquireAction): Object | 0% (0/1) | 0% (0/18) |
| caseBranchAction (BranchAction): Object | 0% (0/1) | 0% (0/36) |
| caseCollectionIteratorAction (CollectionIteratorAction): Object | 0% (0/1) | 0% (0/22) |
| caseExternalCallAction (ExternalCallAction): Object | 0% (0/1) | 0% (0/28) |
| caseGuardedBranchTransition (GuardedBranchTransition): Object | 0% (0/1) | 0% (0/6) |
| caseInternalAction (InternalAction): Object | 0% (0/1) | 0% (0/22) |
| caseLoopAction (LoopAction): Object | 0% (0/1) | 0% (0/22) |
| caseProbabilisticBranchTransition (ProbabilisticBranchTransition): Object | 0% (0/1) | 0% (0/6) |
| caseReleaseAction (ReleaseAction): Object | 0% (0/1) | 0% (0/18) |
| caseResourceDemandingBehaviour (ResourceDemandingBehaviour): Object | 0% (0/1) | 0% (0/19) |
| caseResourceDemandingSEFF (ResourceDemandingSEFF): Object | 0% (0/1) | 0% (0/21) |
| caseSetVariableAction (SetVariableAction): Object | 0% (0/1) | 0% (0/22) |
| caseStartAction (StartAction): Object | 0% (0/1) | 0% (0/18) |
| caseStopAction (StopAction): Object | 0% (0/1) | 0% (0/19) |
| getContextWrapper (): ContextWrapper | 0% (0/1) | 0% (0/3) |
| getStartAction (ResourceDemandingBehaviour): StartAction | 0% (0/1) | 0% (0/8) |
| saveContexts (): void | 0% (0/1) | 0% (0/1) |
| setContextWrapper (ContextWrapper): void | 0% (0/1) | 0% (0/4) |