| name | method, % | block, % |
|---|
| <static initializer> | 0% (0/1) | 0% (0/5) |
| SeffVisitor (ContextWrapper): void | 0% (0/1) | 0% (0/60) |
| caseAbstractInternalControlFlowAction (AbstractInternalControlFlowAction): Ob... | 0% (0/1) | 0% (0/35) |
| caseAcquireAction (AcquireAction): Object | 0% (0/1) | 0% (0/25) |
| caseBranchAction (BranchAction): Object | 0% (0/1) | 0% (0/43) |
| caseCollectionIteratorAction (CollectionIteratorAction): Object | 0% (0/1) | 0% (0/29) |
| caseExternalCallAction (ExternalCallAction): Object | 0% (0/1) | 0% (0/29) |
| caseForkAction (ForkAction): Object | 0% (0/1) | 0% (0/29) |
| caseGuardedBranchTransition (GuardedBranchTransition): Object | 0% (0/1) | 0% (0/6) |
| caseInternalAction (InternalAction): Object | 0% (0/1) | 0% (0/29) |
| caseLoopAction (LoopAction): Object | 0% (0/1) | 0% (0/29) |
| caseProbabilisticBranchTransition (ProbabilisticBranchTransition): Object | 0% (0/1) | 0% (0/6) |
| caseReleaseAction (ReleaseAction): Object | 0% (0/1) | 0% (0/25) |
| caseResourceDemandingBehaviour (ResourceDemandingBehaviour): Object | 0% (0/1) | 0% (0/8) |
| caseResourceDemandingSEFF (ResourceDemandingSEFF): Object | 0% (0/1) | 0% (0/10) |
| caseSetVariableAction (SetVariableAction): Object | 0% (0/1) | 0% (0/29) |
| caseStartAction (StartAction): Object | 0% (0/1) | 0% (0/25) |
| caseStopAction (StopAction): Object | 0% (0/1) | 0% (0/26) |
| 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) |