| name | class, % | method, % | block, % |
|---|
| AbstractActionImpl | 0% (0/1) | 0% (0/16) | 0% (0/386) |
| AbstractBranchTransitionImpl | 0% (0/1) | 0% (0/10) | 0% (0/148) |
| AbstractInternalControlFlowActionImpl | 0% (0/1) | 0% (0/9) | 0% (0/105) |
| AbstractLoopActionImpl | 0% (0/1) | 0% (0/10) | 0% (0/148) |
| AcquireActionImpl | 0% (0/1) | 0% (0/9) | 0% (0/118) |
| BranchActionImpl | 0% (0/1) | 0% (0/11) | 0% (0/216) |
| CollectionIteratorActionImpl | 0% (0/1) | 0% (0/9) | 0% (0/118) |
| ExternalCallActionImpl | 0% (0/1) | 0% (0/18) | 0% (0/386) |
| ForkActionImpl | 0% (0/1) | 0% (0/11) | 0% (0/197) |
| ForkedBehaviourImpl | 0% (0/1) | 0% (0/2) | 0% (0/5) |
| GuardedBranchTransitionImpl | 0% (0/1) | 0% (0/10) | 0% (0/148) |
| InternalActionImpl | 0% (0/1) | 0% (0/9) | 0% (0/110) |
| LoopActionImpl | 0% (0/1) | 0% (0/10) | 0% (0/148) |
| ProbabilisticBranchTransitionImpl | 0% (0/1) | 0% (0/9) | 0% (0/110) |
| ReleaseActionImpl | 0% (0/1) | 0% (0/9) | 0% (0/118) |
| ResourceDemandingBehaviourImpl | 0% (0/1) | 0% (0/12) | 0% (0/278) |
| ResourceDemandingSEFFImpl | 0% (0/1) | 0% (0/20) | 0% (0/499) |
| ServiceEffectSpecificationImpl | 0% (0/1) | 0% (0/12) | 0% (0/203) |
| SetVariableActionImpl | 0% (0/1) | 0% (0/8) | 0% (0/89) |
| StartActionImpl | 0% (0/1) | 0% (0/4) | 0% (0/70) |
| StopActionImpl | 0% (0/1) | 0% (0/4) | 0% (0/70) |
| SynchronisationPointImpl | 0% (0/1) | 0% (0/9) | 0% (0/138) |
| SeffFactoryImpl | 100% (1/1) | 9% (2/22) | 7% (14/196) |
| SeffPackageImpl$1 | 100% (1/1) | 50% (1/2) | 60% (3/5) |
| SeffPackageImpl | 100% (1/1) | 72% (39/54) | 97% (2254/2329) |