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:

UsagemodelPackage

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	BRANCH__ALL_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1 The code for constraint 'All Branch Probabilities Must Sum Up To1' of 'Branch'.
static int	CLOSED_WORKLOAD__POPULATION_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED The code for constraint 'Population In Closed Workload Needs To Be Specified' of 'Closed Workload'.
static int	CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED The code for constraint 'Think Time In Closed Workload Needs To Be Specified' of 'Closed Workload'.
static String	copyright
static String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static int	ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_MUST_REFERENCE_PROVIDED_ROLE_OF_ASYSTEM The code for constraint 'Entry Level System Call Must Reference Provided Role Of ASystem' of 'Entry Level System Call'.
static int	ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE The code for constraint 'Entry Level System Call Signature Must Match Its Provided Role' of 'Entry Level System Call'.
static UsagemodelValidator	INSTANCE The cached model package
static int	OPEN_WORKLOAD__INTER_ARRIVAL_TIME_IN_OPEN_WORKLOAD_NEEDS_TO_BE_SPECIFIED The code for constraint 'Inter Arrival Time In Open Workload Needs To Be Specified' of 'Open Workload'.
static int	SCENARIO_BEHAVIOUR__EACHUSERACTIONEXCEPT_STARTAND_STOPMUSTHAVEAPREDECESSORANDSUCCESSOR The code for constraint 'Eachuseractionexcept Startand Stopmusthaveapredecessorandsuccessor' of 'Scenario Behaviour'.
static int	SCENARIO_BEHAVIOUR__EXACTLYONESTART The code for constraint 'Exactlyonestart' of 'Scenario Behaviour'.
static int	SCENARIO_BEHAVIOUR__EXACTLYONESTOP The code for constraint 'Exactlyonestop' of 'Scenario Behaviour'.
static int	START__START_HAS_NO_PREDECESSOR The code for constraint 'Start Has No Predecessor' of 'Start'.
static int	STOP__STOP_HAS_NO_SUCCESSOR The code for constraint 'Stop Has No Successor' 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

Constructors

Constructor and Description
UsagemodelValidator() 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	validateAbstractUserAction(AbstractUserAction abstractUserAction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBranch_AllBranchProbabilitiesMustSumUpTo1(Branch branch, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the AllBranchProbabilitiesMustSumUpTo1 constraint of 'Branch'.
boolean	validateBranch(Branch branch, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBranchTransition(BranchTransition branchTransition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosedWorkload_PopulationInClosedWorkloadNeedsToBeSpecified(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the PopulationInClosedWorkloadNeedsToBeSpecified constraint of 'Closed Workload'.
boolean	validateClosedWorkload_ThinkTimeInClosedWorkloadNeedsToBeSpecified(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the ThinkTimeInClosedWorkloadNeedsToBeSpecified constraint of 'Closed Workload'.
boolean	validateClosedWorkload(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDelay(Delay delay, 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	validateEntryLevelSystemCall(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLoop(Loop loop, 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	validateOpenWorkload(OpenWorkload openWorkload, 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(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStart_StartHasNoPredecessor(Start start, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the StartHasNoPredecessor constraint of 'Start'.
boolean	validateStart(Start start, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStop_StopHasNoSuccessor(Stop stop, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the StopHasNoSuccessor constraint of 'Stop'.
boolean	validateStop(Stop stop, DiagnosticChain diagnostics, Map<Object,Object> context)
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

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 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:

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

Generated class or method.

ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_MUST_REFERENCE_PROVIDED_ROLE_OF_ASYSTEM

public static final int ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_MUST_REFERENCE_PROVIDED_ROLE_OF_ASYSTEM

The code for constraint 'Entry Level System Call Must Reference Provided Role Of ASystem' of 'Entry Level System Call'.

See Also:

Constant Field Values

Generated class or method.

ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE

public static final int ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE

The code for constraint 'Entry Level System Call Signature Must Match Its Provided Role' of 'Entry Level System Call'.

See Also:

Constant Field Values

Generated class or method.

SCENARIO_BEHAVIOUR__EXACTLYONESTART

public static final int SCENARIO_BEHAVIOUR__EXACTLYONESTART

The code for constraint 'Exactlyonestart' of 'Scenario Behaviour'.

See Also:

Constant Field Values

Generated class or method.

SCENARIO_BEHAVIOUR__EXACTLYONESTOP

public static final int SCENARIO_BEHAVIOUR__EXACTLYONESTOP

The code for constraint 'Exactlyonestop' of 'Scenario Behaviour'.

See Also:

Constant Field Values

Generated class or method.

SCENARIO_BEHAVIOUR__EACHUSERACTIONEXCEPT_STARTAND_STOPMUSTHAVEAPREDECESSORANDSUCCESSOR

public static final int SCENARIO_BEHAVIOUR__EACHUSERACTIONEXCEPT_STARTAND_STOPMUSTHAVEAPREDECESSORANDSUCCESSOR

The code for constraint 'Eachuseractionexcept Startand Stopmusthaveapredecessorandsuccessor' of 'Scenario Behaviour'.

See Also:

Constant Field Values

Generated class or method.

BRANCH__ALL_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1

public static final int BRANCH__ALL_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1

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

See Also:

Constant Field Values

Generated class or method.

STOP__STOP_HAS_NO_SUCCESSOR

public static final int STOP__STOP_HAS_NO_SUCCESSOR

The code for constraint 'Stop Has No Successor' of 'Stop'.

See Also:

Constant Field Values

Generated class or method.

START__START_HAS_NO_PREDECESSOR

public static final int START__START_HAS_NO_PREDECESSOR

The code for constraint 'Start Has No Predecessor' of 'Start'.

See Also:

Constant Field Values

Generated class or method.

OPEN_WORKLOAD__INTER_ARRIVAL_TIME_IN_OPEN_WORKLOAD_NEEDS_TO_BE_SPECIFIED

public static final int OPEN_WORKLOAD__INTER_ARRIVAL_TIME_IN_OPEN_WORKLOAD_NEEDS_TO_BE_SPECIFIED

The code for constraint 'Inter Arrival Time In Open Workload Needs To Be Specified' of 'Open Workload'.

See Also:

Constant Field Values

Generated class or method.

CLOSED_WORKLOAD__POPULATION_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED

public static final int CLOSED_WORKLOAD__POPULATION_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED

The code for constraint 'Population In Closed Workload Needs To Be Specified' of 'Closed Workload'.

See Also:

Constant Field Values

Generated class or method.

CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED

public static final int CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED

The code for constraint 'Think Time In Closed Workload Needs To Be Specified' of 'Closed Workload'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

UsagemodelValidator

public UsagemodelValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

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_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_EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor

public boolean validateScenarioBehaviour_EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor(ScenarioBehaviour scenarioBehaviour,
                                                                                                          DiagnosticChain diagnostics,
                                                                                                          Map<Object,Object> context)

Validates the EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor 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_PopulationInClosedWorkloadNeedsToBeSpecified

public boolean validateClosedWorkload_PopulationInClosedWorkloadNeedsToBeSpecified(ClosedWorkload closedWorkload,
                                                                                   DiagnosticChain diagnostics,
                                                                                   Map<Object,Object> context)

Validates the PopulationInClosedWorkloadNeedsToBeSpecified 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.