Package 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:
Generated class or method.

  • Field Details

    • 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:
      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_ACTION
      The code 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_COUNT
      A 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 identifierValidator
      The cached base package validator.
      Generated class or method.

    • STOP_ACTION__STOP_ACTION_SUCCESSOR_MUST_NOT_BE_DEFINED__EEXPRESSION

      protected static final String 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

      protected static final String 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

      protected static final String 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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

      protected static final String 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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__EEXPRESSION
      The 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

      protected EPackage getEPackage()
      Returns the package of this validator switch.
      Overrides:
      getEPackage in class EObjectValidator
      Generated class or method.

    • validate

      protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)
      Calls validateXXX for the corresponding classifier of the model.
      Overrides:
      validate in class EObjectValidator
      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

      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.