Package org.palladiosimulator.pcm.usagemodel.util

Class UsagemodelValidator

java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
org.palladiosimulator.pcm.usagemodel.util.UsagemodelValidator
All Implemented Interfaces:
EValidator
public class UsagemodelValidator extends EObjectValidator
The Validator for the model.
See Also:
Generated class or method.

  • Field Details

    • INSTANCE

      public static final UsagemodelValidator 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.

    • SCENARIO_BEHAVIOUR__ROUTE_FROM_START_TO_STOP_ACTION

      public static final int SCENARIO_BEHAVIOUR__ROUTE_FROM_START_TO_STOP_ACTION
      The code for constraint 'Route From Start To Stop Action' of 'Scenario 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.

    • ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_MUST_REFERENCE_PROVIDED_ROLE_OF_ASYSTEM__EEXPRESSION

      protected static final String ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_MUST_REFERENCE_PROVIDED_ROLE_OF_ASYSTEM__EEXPRESSION
      The cached validation expression for the entryLevelSystemCallMustReferenceProvidedRoleOfASystem constraint of 'Entry Level System Call'.
      See Also:
      Generated class or method.

    • ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE__EEXPRESSION

      protected static final String ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE__EEXPRESSION
      The cached validation expression for the entryLevelSystemCallSignatureMustMatchItsProvidedRole constraint of 'Entry Level System Call'.
      See Also:
      Generated class or method.

    • SCENARIO_BEHAVIOUR__EACHUSERACTIONEXCEPT_STARTAND_STOPMUSTHAVEAPREDECESSORANDSUCCESSOR__EEXPRESSION

      protected static final String SCENARIO_BEHAVIOUR__EACHUSERACTIONEXCEPT_STARTAND_STOPMUSTHAVEAPREDECESSORANDSUCCESSOR__EEXPRESSION
      The cached validation expression for the eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor constraint of 'Scenario Behaviour'.
      See Also:
      Generated class or method.

    • SCENARIO_BEHAVIOUR__EXACTLYONESTART__EEXPRESSION

      protected static final String SCENARIO_BEHAVIOUR__EXACTLYONESTART__EEXPRESSION
      The cached validation expression for the exactlyonestart constraint of 'Scenario Behaviour'.
      See Also:
      Generated class or method.

    • SCENARIO_BEHAVIOUR__EXACTLYONESTOP__EEXPRESSION

      protected static final String SCENARIO_BEHAVIOUR__EXACTLYONESTOP__EEXPRESSION
      The cached validation expression for the exactlyonestop constraint of 'Scenario Behaviour'.
      See Also:
      Generated class or method.

    • BRANCH__ALL_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1__EEXPRESSION

      protected static final String BRANCH__ALL_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1__EEXPRESSION
      The cached validation expression for the allBranchProbabilitiesMustSumUpTo1 constraint of 'Branch'.
      See Also:
      Generated class or method.

    • STOP__STOP_HAS_NO_SUCCESSOR__EEXPRESSION

      protected static final String STOP__STOP_HAS_NO_SUCCESSOR__EEXPRESSION
      The cached validation expression for the stopHasNoSuccessor constraint of 'Stop'.
      See Also:
      Generated class or method.

    • START__START_HAS_NO_PREDECESSOR__EEXPRESSION

      protected static final String START__START_HAS_NO_PREDECESSOR__EEXPRESSION
      The cached validation expression for the startHasNoPredecessor constraint of 'Start'.
      See Also:
      Generated class or method.

    • OPEN_WORKLOAD__INTER_ARRIVAL_TIME_IN_OPEN_WORKLOAD_NEEDS_TO_BE_SPECIFIED__EEXPRESSION

      protected static final String OPEN_WORKLOAD__INTER_ARRIVAL_TIME_IN_OPEN_WORKLOAD_NEEDS_TO_BE_SPECIFIED__EEXPRESSION
      The cached validation expression for the interArrivalTimeInOpenWorkloadNeedsToBeSpecified constraint of 'Open Workload'.
      See Also:
      Generated class or method.

    • CLOSED_WORKLOAD__POPULATION_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_GREATER_ZERO__EEXPRESSION

      protected static final String CLOSED_WORKLOAD__POPULATION_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_GREATER_ZERO__EEXPRESSION
      The cached validation expression for the populationInClosedWorkloadNeedsToBeGreaterZero constraint of 'Closed Workload'.
      See Also:
      Generated class or method.

    • CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED__EEXPRESSION

      protected static final String CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED__EEXPRESSION
      The cached validation expression for the thinkTimeInClosedWorkloadNeedsToBeSpecified constraint of 'Closed Workload'.
      See Also:
      Generated class or method.

  • Constructor Details

    • UsagemodelValidator

      public UsagemodelValidator()
      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.

    • validateWorkload

      public boolean validateWorkload(Workload workload, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateUsageScenario

      public boolean validateUsageScenario(UsageScenario usageScenario, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateUserData

      public boolean validateUserData(UserData userData, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateUsageModel

      public boolean validateUsageModel(UsageModel usageModel, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateEntryLevelSystemCall

      public boolean validateEntryLevelSystemCall(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateEntryLevelSystemCall_entryLevelSystemCallMustReferenceProvidedRoleOfASystem

      public boolean validateEntryLevelSystemCall_entryLevelSystemCallMustReferenceProvidedRoleOfASystem(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the entryLevelSystemCallMustReferenceProvidedRoleOfASystem constraint of 'Entry Level System Call'.
      Generated class or method.

    • validateEntryLevelSystemCall_entryLevelSystemCallSignatureMustMatchItsProvidedRole

      public boolean validateEntryLevelSystemCall_entryLevelSystemCallSignatureMustMatchItsProvidedRole(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the entryLevelSystemCallSignatureMustMatchItsProvidedRole constraint of 'Entry Level System Call'.
      Generated class or method.

    • validateAbstractUserAction

      public boolean validateAbstractUserAction(AbstractUserAction abstractUserAction, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateScenarioBehaviour

      public boolean validateScenarioBehaviour(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateScenarioBehaviour_eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor

      public boolean validateScenarioBehaviour_eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor constraint of 'Scenario Behaviour'.
      Generated class or method.

    • validateScenarioBehaviour_exactlyonestart

      public boolean validateScenarioBehaviour_exactlyonestart(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the exactlyonestart constraint of 'Scenario Behaviour'.
      Generated class or method.

    • validateScenarioBehaviour_exactlyonestop

      public boolean validateScenarioBehaviour_exactlyonestop(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the exactlyonestop constraint of 'Scenario Behaviour'.
      Generated class or method.

    • validateScenarioBehaviour_routeFromStartToStopAction

      public boolean validateScenarioBehaviour_routeFromStartToStopAction(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the routeFromStartToStopAction constraint of 'Scenario Behaviour'.
      Generated class or method.

    • validateBranchTransition

      public boolean validateBranchTransition(BranchTransition branchTransition, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateBranch

      public boolean validateBranch(Branch branch, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateBranch_allBranchProbabilitiesMustSumUpTo1

      public boolean validateBranch_allBranchProbabilitiesMustSumUpTo1(Branch branch, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the allBranchProbabilitiesMustSumUpTo1 constraint of 'Branch'.
      Generated class or method.

    • validateLoop

      public boolean validateLoop(Loop loop, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateStop

      public boolean validateStop(Stop stop, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateStop_stopHasNoSuccessor

      public boolean validateStop_stopHasNoSuccessor(Stop stop, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the stopHasNoSuccessor constraint of 'Stop'.
      Generated class or method.

    • validateStart

      public boolean validateStart(Start start, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateStart_startHasNoPredecessor

      public boolean validateStart_startHasNoPredecessor(Start start, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the startHasNoPredecessor constraint of 'Start'.
      Generated class or method.

    • validateOpenWorkload

      public boolean validateOpenWorkload(OpenWorkload openWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateOpenWorkload_interArrivalTimeInOpenWorkloadNeedsToBeSpecified

      public boolean validateOpenWorkload_interArrivalTimeInOpenWorkloadNeedsToBeSpecified(OpenWorkload openWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the interArrivalTimeInOpenWorkloadNeedsToBeSpecified constraint of 'Open Workload'.
      Generated class or method.

    • validateDelay

      public boolean validateDelay(Delay delay, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateClosedWorkload

      public boolean validateClosedWorkload(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated class or method.

    • validateClosedWorkload_populationInClosedWorkloadNeedsToBeGreaterZero

      public boolean validateClosedWorkload_populationInClosedWorkloadNeedsToBeGreaterZero(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the populationInClosedWorkloadNeedsToBeGreaterZero constraint of 'Closed Workload'.
      Generated class or method.

    • validateClosedWorkload_thinkTimeInClosedWorkloadNeedsToBeSpecified

      public boolean validateClosedWorkload_thinkTimeInClosedWorkloadNeedsToBeSpecified(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the thinkTimeInClosedWorkloadNeedsToBeSpecified constraint of 'Closed Workload'.
      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.