Class SeffValidator
java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
org.palladiosimulator.pcm.seff.util.SeffValidator
- All Implemented Interfaces:
EValidator
The Validator for the model.
- See Also:
- 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
Modifier and TypeFieldDescriptionprotected static final String
The cached validation expression for the timeoutValueOfAcquireActionMustNotBeNegative constraint of 'Acquire Action'.protected static final String
The cached validation expression for the allProbabilisticBranchProbabilitiesMustSumUpTo1 constraint of 'Branch Action'.protected static final String
The cached validation expression for the eitherGuardedBranchesOrProbabilisiticBranchTransitions constraint of 'Branch Action'.static final String
protected static final int
A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.static final String
protected static final String
The cached validation expression for the operationRequiredRoleMustBeReferencedByContainer constraint of 'External Call Action'.protected static final String
The cached validation expression for the signatureBelongsToRole constraint of 'External Call Action'.protected de.uka.ipd.sdq.identifier.util.IdentifierValidator
The cached base package validator.static final SeffValidator
The cached model packageprotected static final String
INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSION
The cached validation expression for the multipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Internal Action'.protected static final String
The cached validation expression for the sumOfInternalActionFailureProbabilitiesMustNotExceed1 constraint of 'Internal Action'.protected static final String
The cached validation expression for the eachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor constraint of 'Resource Demanding Behaviour'.protected static final String
The cached validation expression for the exactlyOneStartAction constraint of 'Resource Demanding Behaviour'.protected static final String
The cached validation expression for the exactlyOneStopAction constraint of 'Resource Demanding Behaviour'.static final int
Thecode
for constraint 'Start Action Needs Route To Stop Action' of 'Resource Demanding Behaviour'.protected static final String
The cached validation expression for the referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole constraint of 'Service Effect Specification'.protected static final String
The cached validation expression for the referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole constraint of 'Service Effect Specification'.protected static final String
The cached validation expression for the startActionPredecessorMustNotBeDefined constraint of 'Start Action'.protected static final String
The cached validation expression for the stopActionSuccessorMustNotBeDefined constraint 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
-
Method Summary
Modifier and TypeMethodDescriptionprotected EPackage
Returns the package of this validator switch.Returns the resource locator that will be used to fetch messages for this validator's diagnostics.protected boolean
CallsvalidateXXX
for the corresponding classifier of the model.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
(AcquireAction acquireAction, 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
validateBranchAction
(BranchAction branchAction, 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
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
(ExternalCallAction externalCallAction, 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
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
(InternalAction internalAction, 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
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
(ResourceDemandingBehaviour resourceDemandingBehaviour, 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_startActionNeedsRouteToStopAction
(ResourceDemandingBehaviour resourceDemandingBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the startActionNeedsRouteToStopAction constraint of 'Resource Demanding Behaviour'.boolean
validateResourceDemandingInternalBehaviour
(ResourceDemandingInternalBehaviour resourceDemandingInternalBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateResourceDemandingSEFF
(ResourceDemandingSEFF resourceDemandingSEFF, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateServiceEffectSpecification
(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateServiceEffectSpecification_referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole
(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole constraint of 'Service Effect Specification'.boolean
validateServiceEffectSpecification_referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole
(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole constraint of 'Service Effect Specification'.boolean
validateSetVariableAction
(SetVariableAction setVariableAction, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateStartAction
(StartAction startAction, 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
validateStopAction
(StopAction stopAction, 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
validateSynchronisationPoint
(SynchronisationPoint synchronisationPoint, DiagnosticChain diagnostics, Map<Object, Object> context) Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator
createBadDataValueDiagnostic, createDiagnostic, getAvailableChoices, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate, validate, validate, validate, validate, validate, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validatePattern, wrapEnumerationValues
-
Field Details
-
copyright
- See Also:
- Generated class or method.
-
INSTANCE
The cached model package- Generated class or method.
-
DIAGNOSTIC_SOURCE
- See Also:
- Generated class or method.
-
RESOURCE_DEMANDING_BEHAVIOUR__START_ACTION_NEEDS_ROUTE_TO_STOP_ACTION
public static final int RESOURCE_DEMANDING_BEHAVIOUR__START_ACTION_NEEDS_ROUTE_TO_STOP_ACTIONThecode
for constraint 'Start Action Needs Route To Stop Action' of 'Resource Demanding Behaviour'.- See Also:
- Generated class or method.
-
DIAGNOSTIC_CODE_COUNT
protected static final int DIAGNOSTIC_CODE_COUNTA constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.- See Also:
- Generated class or method.
-
identifierValidator
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator identifierValidatorThe cached base package validator.- Generated class or method.
-
STOP_ACTION__STOP_ACTION_SUCCESSOR_MUST_NOT_BE_DEFINED__EEXPRESSION
The cached validation expression for the stopActionSuccessorMustNotBeDefined constraint of 'Stop Action'.- See Also:
- Generated class or method.
-
RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_STOP_ACTION__EEXPRESSION
The cached validation expression for the exactlyOneStopAction constraint of 'Resource Demanding Behaviour'.- See Also:
- Generated class or method.
-
RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_START_ACTION__EEXPRESSION
The cached validation expression for the exactlyOneStartAction constraint of 'Resource Demanding Behaviour'.- See Also:
- Generated class or method.
-
RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR__EEXPRESSION
protected static final String RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR__EEXPRESSIONThe cached validation expression for the eachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor constraint of 'Resource Demanding Behaviour'.- See Also:
- Generated class or method.
-
BRANCH_ACTION__EITHER_GUARDED_BRANCHES_OR_PROBABILISITIC_BRANCH_TRANSITIONS__EEXPRESSION
protected static final String BRANCH_ACTION__EITHER_GUARDED_BRANCHES_OR_PROBABILISITIC_BRANCH_TRANSITIONS__EEXPRESSIONThe cached validation expression for the eitherGuardedBranchesOrProbabilisiticBranchTransitions constraint of 'Branch Action'.- See Also:
- Generated class or method.
-
BRANCH_ACTION__ALL_PROBABILISTIC_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1__EEXPRESSION
protected static final String BRANCH_ACTION__ALL_PROBABILISTIC_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1__EEXPRESSIONThe cached validation expression for the allProbabilisticBranchProbabilitiesMustSumUpTo1 constraint of 'Branch Action'.- See Also:
- Generated class or method.
-
START_ACTION__START_ACTION_PREDECESSOR_MUST_NOT_BE_DEFINED__EEXPRESSION
protected static final String START_ACTION__START_ACTION_PREDECESSOR_MUST_NOT_BE_DEFINED__EEXPRESSIONThe cached validation expression for the startActionPredecessorMustNotBeDefined constraint of 'Start Action'.- See Also:
- Generated class or method.
-
SERVICE_EFFECT_SPECIFICATION__REFERENCED_OPERATION_SIGNATURE_MUST_BELONG_TO_INTERFACE_REFERENCED_BY_PROVIDED_ROLE__EEXPRESSION
protected static final String SERVICE_EFFECT_SPECIFICATION__REFERENCED_OPERATION_SIGNATURE_MUST_BELONG_TO_INTERFACE_REFERENCED_BY_PROVIDED_ROLE__EEXPRESSIONThe cached validation expression for the referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole constraint of 'Service Effect Specification'.- See Also:
- Generated class or method.
-
SERVICE_EFFECT_SPECIFICATION__REFERENCED_EVENT_TYPE_MUST_BELONG_TO_EVENT_GROUP_REFERENCED_BY_PROVIDED_ROLE__EEXPRESSION
protected static final String SERVICE_EFFECT_SPECIFICATION__REFERENCED_EVENT_TYPE_MUST_BELONG_TO_EVENT_GROUP_REFERENCED_BY_PROVIDED_ROLE__EEXPRESSIONThe cached validation expression for the referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole constraint of 'Service Effect Specification'.- See Also:
- Generated class or method.
-
EXTERNAL_CALL_ACTION__SIGNATURE_BELONGS_TO_ROLE__EEXPRESSION
The cached validation expression for the signatureBelongsToRole constraint of 'External Call Action'.- See Also:
- Generated class or method.
-
EXTERNAL_CALL_ACTION__OPERATION_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_CONTAINER__EEXPRESSION
protected static final String EXTERNAL_CALL_ACTION__OPERATION_REQUIRED_ROLE_MUST_BE_REFERENCED_BY_CONTAINER__EEXPRESSIONThe cached validation expression for the operationRequiredRoleMustBeReferencedByContainer constraint of 'External Call Action'.- See Also:
- Generated class or method.
-
ACQUIRE_ACTION__TIMEOUT_VALUE_OF_ACQUIRE_ACTION_MUST_NOT_BE_NEGATIVE__EEXPRESSION
protected static final String ACQUIRE_ACTION__TIMEOUT_VALUE_OF_ACQUIRE_ACTION_MUST_NOT_BE_NEGATIVE__EEXPRESSIONThe cached validation expression for the timeoutValueOfAcquireActionMustNotBeNegative constraint of 'Acquire Action'.- See Also:
- Generated class or method.
-
INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSION
protected static final String INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSIONThe cached validation expression for the multipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Internal Action'.- See Also:
- Generated class or method.
-
INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1__EEXPRESSION
protected static final String INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1__EEXPRESSIONThe cached validation expression for the sumOfInternalActionFailureProbabilitiesMustNotExceed1 constraint of 'Internal Action'.- See Also:
- Generated class or method.
-
-
Constructor Details
-
SeffValidator
public SeffValidator()Creates an instance of the switch.- Generated class or method.
-
-
Method Details
-
getEPackage
Returns the package of this validator switch.- Overrides:
getEPackage
in classEObjectValidator
- Generated class or method.
-
validate
protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) CallsvalidateXXX
for the corresponding classifier of the model.- Overrides:
validate
in classEObjectValidator
- Generated class or method.
-
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.
-
validateResourceDemandingBehaviour_startActionNeedsRouteToStopAction
public boolean validateResourceDemandingBehaviour_startActionNeedsRouteToStopAction(ResourceDemandingBehaviour resourceDemandingBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the startActionNeedsRouteToStopAction 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_referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole
public boolean validateServiceEffectSpecification_referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the referencedOperationSignatureMustBelongToInterfaceReferencedByProvidedRole constraint of 'Service Effect Specification'.- Generated class or method.
-
validateServiceEffectSpecification_referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole
public boolean validateServiceEffectSpecification_referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole(ServiceEffectSpecification serviceEffectSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the referencedEventTypeMustBelongToEventGroupReferencedByProvidedRole 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
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.- Overrides:
getResourceLocator
in classEObjectValidator
- Generated class or method.
-