Class UsagemodelValidator
java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
org.palladiosimulator.pcm.usagemodel.util.UsagemodelValidator
- 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 allBranchProbabilitiesMustSumUpTo1 constraint of 'Branch'.protected static final String
The cached validation expression for the populationInClosedWorkloadNeedsToBeGreaterZero constraint of 'Closed Workload'.protected static final String
The cached validation expression for the thinkTimeInClosedWorkloadNeedsToBeSpecified constraint of 'Closed Workload'.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 entryLevelSystemCallMustReferenceProvidedRoleOfASystem constraint of 'Entry Level System Call'.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'.protected de.uka.ipd.sdq.identifier.util.IdentifierValidator
The cached base package validator.static final UsagemodelValidator
The cached model packageprotected static final String
The cached validation expression for the interArrivalTimeInOpenWorkloadNeedsToBeSpecified constraint of 'Open Workload'.protected static final String
The cached validation expression for the eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor constraint of 'Scenario Behaviour'.protected static final String
The cached validation expression for the exactlyonestart constraint of 'Scenario Behaviour'.protected static final String
The cached validation expression for the exactlyonestop constraint of 'Scenario Behaviour'.static final int
Thecode
for constraint 'Route From Start To Stop Action' of 'Scenario Behaviour'.protected static final String
The cached validation expression for the startHasNoPredecessor constraint of 'Start'.protected static final String
The cached validation expression for the stopHasNoSuccessor constraint of 'Stop'.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
validateAbstractUserAction
(AbstractUserAction abstractUserAction, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateBranch
(Branch branch, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateBranch_allBranchProbabilitiesMustSumUpTo1
(Branch branch, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the allBranchProbabilitiesMustSumUpTo1 constraint of 'Branch'.boolean
validateBranchTransition
(BranchTransition branchTransition, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateClosedWorkload
(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateClosedWorkload_populationInClosedWorkloadNeedsToBeGreaterZero
(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the populationInClosedWorkloadNeedsToBeGreaterZero constraint of 'Closed Workload'.boolean
validateClosedWorkload_thinkTimeInClosedWorkloadNeedsToBeSpecified
(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the thinkTimeInClosedWorkloadNeedsToBeSpecified constraint of 'Closed Workload'.boolean
validateDelay
(Delay delay, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateEntryLevelSystemCall
(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateEntryLevelSystemCall_entryLevelSystemCallMustReferenceProvidedRoleOfASystem
(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the entryLevelSystemCallMustReferenceProvidedRoleOfASystem constraint of 'Entry Level System Call'.boolean
validateEntryLevelSystemCall_entryLevelSystemCallSignatureMustMatchItsProvidedRole
(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the entryLevelSystemCallSignatureMustMatchItsProvidedRole constraint of 'Entry Level System Call'.boolean
validateLoop
(Loop loop, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateOpenWorkload
(OpenWorkload openWorkload, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateOpenWorkload_interArrivalTimeInOpenWorkloadNeedsToBeSpecified
(OpenWorkload openWorkload, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the interArrivalTimeInOpenWorkloadNeedsToBeSpecified constraint of 'Open Workload'.boolean
validateScenarioBehaviour
(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateScenarioBehaviour_eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor
(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor constraint of 'Scenario Behaviour'.boolean
validateScenarioBehaviour_exactlyonestart
(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the exactlyonestart constraint of 'Scenario Behaviour'.boolean
validateScenarioBehaviour_exactlyonestop
(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the exactlyonestop constraint of 'Scenario Behaviour'.boolean
validateScenarioBehaviour_routeFromStartToStopAction
(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the routeFromStartToStopAction constraint of 'Scenario Behaviour'.boolean
validateStart
(Start start, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateStart_startHasNoPredecessor
(Start start, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the startHasNoPredecessor constraint of 'Start'.boolean
validateStop
(Stop stop, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateStop_stopHasNoSuccessor
(Stop stop, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the stopHasNoSuccessor constraint of 'Stop'.boolean
validateUsageModel
(UsageModel usageModel, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateUsageScenario
(UsageScenario usageScenario, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateUserData
(UserData userData, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateWorkload
(Workload workload, 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.
-
SCENARIO_BEHAVIOUR__ROUTE_FROM_START_TO_STOP_ACTION
public static final int SCENARIO_BEHAVIOUR__ROUTE_FROM_START_TO_STOP_ACTIONThecode
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_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.
-
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__EEXPRESSIONThe 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__EEXPRESSIONThe 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__EEXPRESSIONThe cached validation expression for the eachuseractionexceptStartandStopmusthaveapredecessorandsuccessor constraint of 'Scenario Behaviour'.- See Also:
- Generated class or method.
-
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
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
The cached validation expression for the allBranchProbabilitiesMustSumUpTo1 constraint of 'Branch'.- See Also:
- Generated class or method.
-
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
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__EEXPRESSIONThe 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__EEXPRESSIONThe 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__EEXPRESSIONThe 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
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.
-
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
- Generated class or method.
-
validateStop
- 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
- 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
- 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
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.- Overrides:
getResourceLocator
in classEObjectValidator
- Generated class or method.
-