org.palladiosimulator.pcm.seff.util

Class SeffValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.pcm.seff.util.SeffValidator

All Implemented Interfaces:

EValidator

public class SeffValidator
extends EObjectValidator

The Validator for the model.

See Also:

SeffPackage

Generated class or method.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator

EObjectValidator.DynamicEClassValidator, EObjectValidator.DynamicEDataTypeValidator

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate

Field Summary

Fields

Modifier and Type	Field and Description
static int	ACQUIRE_ACTION__TIMEOUT_VALUE_OF_ACQUIRE_ACTION_MUST_NOT_BE_NEGATIVE The code for constraint 'Timeout Value Of Acquire Action Must Not Be Negative' of 'Acquire Action'.
static int	BRANCH_ACTION__ALL_PROBABILISTIC_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1 The code for constraint 'All Probabilistic Branch Probabilities Must Sum Up To1' of 'Branch Action'.
static int	BRANCH_ACTION__EITHER_GUARDED_BRANCHES_OR_PROBABILISITIC_BRANCH_TRANSITIONS The code for constraint 'Either Guarded Branches Or Probabilisitic Branch Transitions' of 'Branch Action'.
static String	copyright
static String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static int	EXTERNAL_CALL_ACTION__OPERATION_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_CONTAINER The code for constraint 'Operation Required Role Must Be Referenced By Container' of 'External Call Action'.
static int	EXTERNAL_CALL_ACTION__SIGNATURE_BELONGS_TO_ROLE The code for constraint 'Signature Belongs To Role' of 'External Call Action'.
static SeffValidator	INSTANCE The cached model package
static int	INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED The code for constraint 'Multiple Internal Occurrence Descriptions Per Failure Type Not Allowed' of 'Internal Action'.
static int	INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1 The code for constraint 'Sum Of Internal Action Failure Probabilities Must Not Exceed1' of 'Internal Action'.
static int	RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR The code for constraint 'Each Action Except Start Actionand Stop Action Must Hhave APredecessor And Successor' of 'Resource Demanding Behaviour'.
static int	RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_START_ACTION The code for constraint 'Exactly One Start Action' of 'Resource Demanding Behaviour'.
static int	RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_STOP_ACTION The code for constraint 'Exactly One Stop Action' of 'Resource Demanding Behaviour'.
static int	SERVICE_EFFECT_SPECIFICATION__REFERENCED_SIGNATURE_MUST_BELONG_TO_INTERFACE_REFERENCED_BY_PROVIDED_ROLE The code for constraint 'Referenced Signature Must Belong To Interface Referenced By Provided Role' of 'Service Effect Specification'.
static int	START_ACTION__START_ACTION_PREDECESSOR_MUST_NOT_BE_DEFINED The code for constraint 'Start Action Predecessor Must Not Be Defined' of 'Start Action'.
static int	STOP_ACTION__STOP_ACTION_SUCCESSOR_MUST_NOT_BE_DEFINED The code for constraint 'Stop Action Successor Must Not Be Defined' of 'Stop Action'.

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator

DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor and Description
SeffValidator() Creates an instance of the switch.

Method Summary

Modifier and Type	Method and Description
ResourceLocator	getResourceLocator() Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
boolean	validateAbstractAction(AbstractAction abstractAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAbstractBranchTransition(AbstractBranchTransition abstractBranchTransition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAbstractInternalControlFlowAction(AbstractInternalControlFlowAction abstractInternalControlFlowAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAbstractLoopAction(AbstractLoopAction abstractLoopAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAcquireAction_TimeoutValueOfAcquireActionMustNotBeNegative(AcquireAction acquireAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the TimeoutValueOfAcquireActionMustNotBeNegative constraint of 'Acquire Action'.
boolean	validateAcquireAction(AcquireAction acquireAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBranchAction_AllProbabilisticBranchProbabilitiesMustSumUpTo1(BranchAction branchAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the AllProbabilisticBranchProbabilitiesMustSumUpTo1 constraint of 'Branch Action'.
boolean	validateBranchAction_EitherGuardedBranchesOrProbabilisiticBranchTransitions(BranchAction branchAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the EitherGuardedBranchesOrProbabilisiticBranchTransitions constraint of 'Branch Action'.
boolean	validateBranchAction(BranchAction branchAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCallAction(CallAction callAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCallReturnAction(CallReturnAction callReturnAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCollectionIteratorAction(CollectionIteratorAction collectionIteratorAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEmitEventAction(EmitEventAction emitEventAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExternalCallAction_OperationRequiredRoleMustBeReferencedByContainer(ExternalCallAction externalCallAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the OperationRequiredRoleMustBeReferencedByContainer constraint of 'External Call Action'.
boolean	validateExternalCallAction_SignatureBelongsToRole(ExternalCallAction externalCallAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the SignatureBelongsToRole constraint of 'External Call Action'.
boolean	validateExternalCallAction(ExternalCallAction externalCallAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateForkAction(ForkAction forkAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateForkedBehaviour(ForkedBehaviour forkedBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGuardedBranchTransition(GuardedBranchTransition guardedBranchTransition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateInternalAction_MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed(InternalAction internalAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Internal Action'.
boolean	validateInternalAction_SumOfInternalActionFailureProbabilitiesMustNotExceed1(InternalAction internalAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the SumOfInternalActionFailureProbabilitiesMustNotExceed1 constraint of 'Internal Action'.
boolean	validateInternalAction(InternalAction internalAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateInternalCallAction(InternalCallAction internalCallAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLoopAction(LoopAction loopAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProbabilisticBranchTransition(ProbabilisticBranchTransition probabilisticBranchTransition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateReleaseAction(ReleaseAction releaseAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateResourceDemandingBehaviour_EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor(ResourceDemandingBehaviour resourceDemandingBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor constraint of 'Resource Demanding Behaviour'.
boolean	validateResourceDemandingBehaviour_ExactlyOneStartAction(ResourceDemandingBehaviour resourceDemandingBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the ExactlyOneStartAction constraint of 'Resource Demanding Behaviour'.
boolean	validateResourceDemandingBehaviour_ExactlyOneStopAction(ResourceDemandingBehaviour resourceDemandingBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the ExactlyOneStopAction constraint of 'Resource Demanding Behaviour'.
boolean	validateResourceDemandingBehaviour(ResourceDemandingBehaviour resourceDemandingBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateResourceDemandingInternalBehaviour(ResourceDemandingInternalBehaviour resourceDemandingInternalBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateResourceDemandingSEFF(ResourceDemandingSEFF resourceDemandingSEFF, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateServiceEffectSpecification_ReferencedSignatureMustBelongToInterfaceReferencedByProvidedRole(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the ReferencedSignatureMustBelongToInterfaceReferencedByProvidedRole constraint of 'Service Effect Specification'.
boolean	validateServiceEffectSpecification(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSetVariableAction(SetVariableAction setVariableAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStartAction_StartActionPredecessorMustNotBeDefined(StartAction startAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the StartActionPredecessorMustNotBeDefined constraint of 'Start Action'.
boolean	validateStartAction(StartAction startAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStopAction_StopActionSuccessorMustNotBeDefined(StopAction stopAction, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the StopActionSuccessorMustNotBeDefined constraint of 'Stop Action'.
boolean	validateStopAction(StopAction stopAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSynchronisationPoint(SynchronisationPoint synchronisationPoint, DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

getFeatureLabel, getObjectLabel, getValueLabel, validate_BidirectionalReferenceIsPaired, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

copyright

public static final String copyright

See Also:

Constant Field Values

Generated class or method.

INSTANCE

public static final SeffValidator INSTANCE

The cached model package

Generated class or method.

DIAGNOSTIC_SOURCE

public static final String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values

Generated class or method.

STOP_ACTION__STOP_ACTION_SUCCESSOR_MUST_NOT_BE_DEFINED

public static final int STOP_ACTION__STOP_ACTION_SUCCESSOR_MUST_NOT_BE_DEFINED

The code for constraint 'Stop Action Successor Must Not Be Defined' of 'Stop Action'.

See Also:

Constant Field Values

Generated class or method.

RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_STOP_ACTION

public static final int RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_STOP_ACTION

The code for constraint 'Exactly One Stop Action' of 'Resource Demanding Behaviour'.

See Also:

Constant Field Values

Generated class or method.

RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_START_ACTION

public static final int RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_START_ACTION

The code for constraint 'Exactly One Start Action' of 'Resource Demanding Behaviour'.

See Also:

Constant Field Values

Generated class or method.

RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR

public static final int RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR

The code for constraint 'Each Action Except Start Actionand Stop Action Must Hhave APredecessor And Successor' of 'Resource Demanding Behaviour'.

See Also:

Constant Field Values

Generated class or method.

BRANCH_ACTION__EITHER_GUARDED_BRANCHES_OR_PROBABILISITIC_BRANCH_TRANSITIONS

public static final int BRANCH_ACTION__EITHER_GUARDED_BRANCHES_OR_PROBABILISITIC_BRANCH_TRANSITIONS

The code for constraint 'Either Guarded Branches Or Probabilisitic Branch Transitions' of 'Branch Action'.

See Also:

Constant Field Values

Generated class or method.

BRANCH_ACTION__ALL_PROBABILISTIC_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1

public static final int BRANCH_ACTION__ALL_PROBABILISTIC_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1

The code for constraint 'All Probabilistic Branch Probabilities Must Sum Up To1' of 'Branch Action'.

See Also:

Constant Field Values

Generated class or method.

START_ACTION__START_ACTION_PREDECESSOR_MUST_NOT_BE_DEFINED

public static final int START_ACTION__START_ACTION_PREDECESSOR_MUST_NOT_BE_DEFINED

The code for constraint 'Start Action Predecessor Must Not Be Defined' of 'Start Action'.

See Also:

Constant Field Values

Generated class or method.

SERVICE_EFFECT_SPECIFICATION__REFERENCED_SIGNATURE_MUST_BELONG_TO_INTERFACE_REFERENCED_BY_PROVIDED_ROLE

public static final int SERVICE_EFFECT_SPECIFICATION__REFERENCED_SIGNATURE_MUST_BELONG_TO_INTERFACE_REFERENCED_BY_PROVIDED_ROLE

The code for constraint 'Referenced Signature Must Belong To Interface Referenced By Provided Role' of 'Service Effect Specification'.

See Also:

Constant Field Values

Generated class or method.

EXTERNAL_CALL_ACTION__SIGNATURE_BELONGS_TO_ROLE

public static final int EXTERNAL_CALL_ACTION__SIGNATURE_BELONGS_TO_ROLE

The code for constraint 'Signature Belongs To Role' of 'External Call Action'.

See Also:

Constant Field Values

Generated class or method.

EXTERNAL_CALL_ACTION__OPERATION_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_CONTAINER

public static final int EXTERNAL_CALL_ACTION__OPERATION_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_CONTAINER

The code for constraint 'Operation Required Role Must Be Referenced By Container' of 'External Call Action'.

See Also:

Constant Field Values

Generated class or method.

ACQUIRE_ACTION__TIMEOUT_VALUE_OF_ACQUIRE_ACTION_MUST_NOT_BE_NEGATIVE

public static final int ACQUIRE_ACTION__TIMEOUT_VALUE_OF_ACQUIRE_ACTION_MUST_NOT_BE_NEGATIVE

The code for constraint 'Timeout Value Of Acquire Action Must Not Be Negative' of 'Acquire Action'.

See Also:

Constant Field Values

Generated class or method.

INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED

public static final int INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED

The code for constraint 'Multiple Internal Occurrence Descriptions Per Failure Type Not Allowed' of 'Internal Action'.

See Also:

Constant Field Values

Generated class or method.

INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1

public static final int INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1

The code for constraint 'Sum Of Internal Action Failure Probabilities Must Not Exceed1' of 'Internal Action'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

SeffValidator

public SeffValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

validateStopAction

public boolean validateStopAction(StopAction stopAction,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateStopAction_StopActionSuccessorMustNotBeDefined

public boolean validateStopAction_StopActionSuccessorMustNotBeDefined(StopAction stopAction,
                                                                      DiagnosticChain diagnostics,
                                                                      Map<Object,Object> context)

Validates the StopActionSuccessorMustNotBeDefined constraint of 'Stop Action'.

Generated class or method.

validateAbstractInternalControlFlowAction

public boolean validateAbstractInternalControlFlowAction(AbstractInternalControlFlowAction abstractInternalControlFlowAction,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Generated class or method.

validateAbstractAction

public boolean validateAbstractAction(AbstractAction abstractAction,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateResourceDemandingBehaviour

public boolean validateResourceDemandingBehaviour(ResourceDemandingBehaviour resourceDemandingBehaviour,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Generated class or method.

validateResourceDemandingBehaviour_ExactlyOneStopAction

public boolean validateResourceDemandingBehaviour_ExactlyOneStopAction(ResourceDemandingBehaviour resourceDemandingBehaviour,
                                                                       DiagnosticChain diagnostics,
                                                                       Map<Object,Object> context)

Validates the ExactlyOneStopAction constraint of 'Resource Demanding Behaviour'.

Generated class or method.

validateResourceDemandingBehaviour_ExactlyOneStartAction

public boolean validateResourceDemandingBehaviour_ExactlyOneStartAction(ResourceDemandingBehaviour resourceDemandingBehaviour,
                                                                        DiagnosticChain diagnostics,
                                                                        Map<Object,Object> context)

Validates the ExactlyOneStartAction constraint of 'Resource Demanding Behaviour'.

Generated class or method.

validateResourceDemandingBehaviour_EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor

public boolean validateResourceDemandingBehaviour_EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor(ResourceDemandingBehaviour resourceDemandingBehaviour,
                                                                                                                            DiagnosticChain diagnostics,
                                                                                                                            Map<Object,Object> context)

Validates the EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor constraint of 'Resource Demanding Behaviour'.

Generated class or method.

validateAbstractLoopAction

public boolean validateAbstractLoopAction(AbstractLoopAction abstractLoopAction,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateAbstractBranchTransition

public boolean validateAbstractBranchTransition(AbstractBranchTransition abstractBranchTransition,
                                                DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Generated class or method.

validateBranchAction

public boolean validateBranchAction(BranchAction branchAction,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateBranchAction_EitherGuardedBranchesOrProbabilisiticBranchTransitions

public boolean validateBranchAction_EitherGuardedBranchesOrProbabilisiticBranchTransitions(BranchAction branchAction,
                                                                                           DiagnosticChain diagnostics,
                                                                                           Map<Object,Object> context)

Validates the EitherGuardedBranchesOrProbabilisiticBranchTransitions constraint of 'Branch Action'.

Generated class or method.

validateBranchAction_AllProbabilisticBranchProbabilitiesMustSumUpTo1

public boolean validateBranchAction_AllProbabilisticBranchProbabilitiesMustSumUpTo1(BranchAction branchAction,
                                                                                    DiagnosticChain diagnostics,
                                                                                    Map<Object,Object> context)

Validates the AllProbabilisticBranchProbabilitiesMustSumUpTo1 constraint of 'Branch Action'.

Generated class or method.

validateCallAction

public boolean validateCallAction(CallAction callAction,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateStartAction

public boolean validateStartAction(StartAction startAction,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validateStartAction_StartActionPredecessorMustNotBeDefined

public boolean validateStartAction_StartActionPredecessorMustNotBeDefined(StartAction startAction,
                                                                          DiagnosticChain diagnostics,
                                                                          Map<Object,Object> context)

Validates the StartActionPredecessorMustNotBeDefined constraint of 'Start Action'.

Generated class or method.

validateServiceEffectSpecification

public boolean validateServiceEffectSpecification(ServiceEffectSpecification serviceEffectSpecification,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Generated class or method.

validateServiceEffectSpecification_ReferencedSignatureMustBelongToInterfaceReferencedByProvidedRole

public boolean validateServiceEffectSpecification_ReferencedSignatureMustBelongToInterfaceReferencedByProvidedRole(ServiceEffectSpecification serviceEffectSpecification,
                                                                                                                   DiagnosticChain diagnostics,
                                                                                                                   Map<Object,Object> context)

Validates the ReferencedSignatureMustBelongToInterfaceReferencedByProvidedRole constraint of 'Service Effect Specification'.

Generated class or method.

validateResourceDemandingSEFF

public boolean validateResourceDemandingSEFF(ResourceDemandingSEFF resourceDemandingSEFF,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Generated class or method.

validateResourceDemandingInternalBehaviour

public boolean validateResourceDemandingInternalBehaviour(ResourceDemandingInternalBehaviour resourceDemandingInternalBehaviour,
                                                          DiagnosticChain diagnostics,
                                                          Map<Object,Object> context)

Generated class or method.

validateReleaseAction

public boolean validateReleaseAction(ReleaseAction releaseAction,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateLoopAction

public boolean validateLoopAction(LoopAction loopAction,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateForkAction

public boolean validateForkAction(ForkAction forkAction,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateForkedBehaviour

public boolean validateForkedBehaviour(ForkedBehaviour forkedBehaviour,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateSynchronisationPoint

public boolean validateSynchronisationPoint(SynchronisationPoint synchronisationPoint,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Generated class or method.

validateExternalCallAction

public boolean validateExternalCallAction(ExternalCallAction externalCallAction,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateExternalCallAction_SignatureBelongsToRole

public boolean validateExternalCallAction_SignatureBelongsToRole(ExternalCallAction externalCallAction,
                                                                 DiagnosticChain diagnostics,
                                                                 Map<Object,Object> context)

Validates the SignatureBelongsToRole constraint of 'External Call Action'.

Generated class or method.

validateExternalCallAction_OperationRequiredRoleMustBeReferencedByContainer

public boolean validateExternalCallAction_OperationRequiredRoleMustBeReferencedByContainer(ExternalCallAction externalCallAction,
                                                                                           DiagnosticChain diagnostics,
                                                                                           Map<Object,Object> context)

Validates the OperationRequiredRoleMustBeReferencedByContainer constraint of 'External Call Action'.

Generated class or method.

validateCallReturnAction

public boolean validateCallReturnAction(CallReturnAction callReturnAction,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Generated class or method.

validateProbabilisticBranchTransition

public boolean validateProbabilisticBranchTransition(ProbabilisticBranchTransition probabilisticBranchTransition,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Generated class or method.

validateAcquireAction

public boolean validateAcquireAction(AcquireAction acquireAction,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateAcquireAction_TimeoutValueOfAcquireActionMustNotBeNegative

public boolean validateAcquireAction_TimeoutValueOfAcquireActionMustNotBeNegative(AcquireAction acquireAction,
                                                                                  DiagnosticChain diagnostics,
                                                                                  Map<Object,Object> context)

Validates the TimeoutValueOfAcquireActionMustNotBeNegative constraint of 'Acquire Action'.

Generated class or method.

validateCollectionIteratorAction

public boolean validateCollectionIteratorAction(CollectionIteratorAction collectionIteratorAction,
                                                DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Generated class or method.

validateGuardedBranchTransition

public boolean validateGuardedBranchTransition(GuardedBranchTransition guardedBranchTransition,
                                               DiagnosticChain diagnostics,
                                               Map<Object,Object> context)

Generated class or method.

validateSetVariableAction

public boolean validateSetVariableAction(SetVariableAction setVariableAction,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateInternalCallAction

public boolean validateInternalCallAction(InternalCallAction internalCallAction,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateEmitEventAction

public boolean validateEmitEventAction(EmitEventAction emitEventAction,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateInternalAction

public boolean validateInternalAction(InternalAction internalAction,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateInternalAction_MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed

public boolean validateInternalAction_MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed(InternalAction internalAction,
                                                                                                     DiagnosticChain diagnostics,
                                                                                                     Map<Object,Object> context)

Validates the MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Internal Action'.

Generated class or method.

validateInternalAction_SumOfInternalActionFailureProbabilitiesMustNotExceed1

public boolean validateInternalAction_SumOfInternalActionFailureProbabilitiesMustNotExceed1(InternalAction internalAction,
                                                                                            DiagnosticChain diagnostics,
                                                                                            Map<Object,Object> context)

Validates the SumOfInternalActionFailureProbabilitiesMustNotExceed1 constraint of 'Internal Action'.

Generated class or method.

getResourceLocator

public ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

getResourceLocator in class EObjectValidator

Generated class or method.