| name | method, % | block, % |
|---|
| <static initializer> | 0% (0/1) | 0% (0/5) |
| SeffValidator (): void | 0% (0/1) | 0% (0/6) |
| getEPackage (): EPackage | 0% (0/1) | 0% (0/2) |
| getResourceLocator (): ResourceLocator | 0% (0/1) | 0% (0/3) |
| validate (int, Object, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/193) |
| validateAbstractAction (AbstractAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateAbstractBranchTransition (AbstractBranchTransition, DiagnosticChain, ... | 0% (0/1) | 0% (0/93) |
| validateAbstractInternalControlFlowAction (AbstractInternalControlFlowAction,... | 0% (0/1) | 0% (0/93) |
| validateAbstractLoopAction (AbstractLoopAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateAcquireAction (AcquireAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateBranchAction (BranchAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/117) |
| validateBranchAction_AllProbabilisticBranchProbabilitiesMustSumUpTo1 (BranchA... | 0% (0/1) | 0% (0/5) |
| validateBranchAction_EitherGuardedBranchesOrProbabilisiticBranchTransitions (... | 0% (0/1) | 0% (0/5) |
| validateCallAction (CallAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/6) |
| validateCallReturnAction (CallReturnAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/6) |
| validateCollectionIteratorAction (CollectionIteratorAction, DiagnosticChain, ... | 0% (0/1) | 0% (0/93) |
| validateEmitEventAction (EmitEventAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateExternalCallAction (ExternalCallAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/105) |
| validateExternalCallAction_SignatureBelongsToRole (ExternalCallAction, Diagno... | 0% (0/1) | 0% (0/5) |
| validateForkAction (ForkAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateForkedBehaviour (ForkedBehaviour, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/116) |
| validateGuardedBranchTransition (GuardedBranchTransition, DiagnosticChain, Ma... | 0% (0/1) | 0% (0/93) |
| validateInternalAction (InternalAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/117) |
| validateInternalAction_Multipleusagesofsamefailuretypearenotallowed (Internal... | 0% (0/1) | 0% (0/5) |
| validateInternalAction_SumOfInternalActionFailureProbabilitiesMustNotExceed1 ... | 0% (0/1) | 0% (0/5) |
| validateInternalCallAction (InternalCallAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateLoopAction (LoopAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateProbabilisticBranchTransition (ProbabilisticBranchTransition, Diagnos... | 0% (0/1) | 0% (0/93) |
| validateReleaseAction (ReleaseAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateResourceDemandingBehaviour (ResourceDemandingBehaviour, DiagnosticCha... | 0% (0/1) | 0% (0/116) |
| validateResourceDemandingBehaviour_EachActionExceptStartActionandStopActionMu... | 0% (0/1) | 0% (0/5) |
| validateResourceDemandingBehaviour_ExactlyOneStartAction (ResourceDemandingBe... | 0% (0/1) | 0% (0/5) |
| validateResourceDemandingBehaviour_ExactlyOneStopAction (ResourceDemandingBeh... | 0% (0/1) | 0% (0/5) |
| validateResourceDemandingInternalBehaviour (ResourceDemandingInternalBehaviou... | 0% (0/1) | 0% (0/116) |
| validateResourceDemandingSEFF (ResourceDemandingSEFF, DiagnosticChain, Map): ... | 0% (0/1) | 0% (0/129) |
| validateServiceEffectSpecification (ServiceEffectSpecification, DiagnosticCha... | 0% (0/1) | 0% (0/6) |
| validateSetVariableAction (SetVariableAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/93) |
| validateStartAction (StartAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/105) |
| validateStartAction_StartActionPredecessorMustNotBeDefined (StartAction, Diag... | 0% (0/1) | 0% (0/5) |
| validateStopAction (StopAction, DiagnosticChain, Map): boolean | 0% (0/1) | 0% (0/105) |
| validateStopAction_StopActionSuccessorMustNotBeDefined (StopAction, Diagnosti... | 0% (0/1) | 0% (0/5) |
| validateSynchronisationPoint (SynchronisationPoint, DiagnosticChain, Map): bo... | 0% (0/1) | 0% (0/6) |