public class UsagemodelValidator extends EObjectValidator
UsagemodelPackageEObjectValidator.DynamicEClassValidator, EObjectValidator.DynamicEDataTypeValidatorEValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate| 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
|
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'. |
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_OBJECTMARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE| Constructor and Description |
|---|
UsagemodelValidator()
Creates an instance of the switch.
|
| 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) |
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, validatepublic static final String copyright
public static final UsagemodelValidator INSTANCE
public static final String DIAGNOSTIC_SOURCE
Diagnostic.getSource(),
Diagnostic.getCode(),
Constant Field Valuespublic static final int ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_MUST_REFERENCE_PROVIDED_ROLE_OF_ASYSTEM
code for constraint 'Entry Level
System Call Must Reference Provided Role Of ASystem' of 'Entry Level System Call'. public static final int ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE
code for constraint 'Entry Level
System Call Signature Must Match Its Provided Role' of 'Entry Level System Call'. public static final int SCENARIO_BEHAVIOUR__EXACTLYONESTART
code for constraint
'Exactlyonestart' of 'Scenario Behaviour'. public static final int SCENARIO_BEHAVIOUR__EXACTLYONESTOP
code for constraint
'Exactlyonestop' of 'Scenario Behaviour'. public static final int SCENARIO_BEHAVIOUR__EACHUSERACTIONEXCEPT_STARTAND_STOPMUSTHAVEAPREDECESSORANDSUCCESSOR
code for constraint
'Eachuseractionexcept Startand Stopmusthaveapredecessorandsuccessor' of 'Scenario Behaviour'.
public static final int BRANCH__ALL_BRANCH_PROBABILITIES_MUST_SUM_UP_TO1
code for constraint 'All Branch
Probabilities Must Sum Up To1' of 'Branch'. public static final int STOP__STOP_HAS_NO_SUCCESSOR
code for constraint 'Stop Has No
Successor' of 'Stop'. public static final int START__START_HAS_NO_PREDECESSOR
code for constraint 'Start Has
No Predecessor' of 'Start'. public static final int OPEN_WORKLOAD__INTER_ARRIVAL_TIME_IN_OPEN_WORKLOAD_NEEDS_TO_BE_SPECIFIED
code for constraint 'Inter
Arrival Time In Open Workload Needs To Be Specified' of 'Open Workload'. public static final int CLOSED_WORKLOAD__POPULATION_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED
code for constraint 'Population
In Closed Workload Needs To Be Specified' of 'Closed Workload'. public static final int CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED
code for constraint 'Think Time
In Closed Workload Needs To Be Specified' of 'Closed Workload'. public UsagemodelValidator()
public boolean validateWorkload(Workload workload, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUsageScenario(UsageScenario usageScenario, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUserData(UserData userData, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUsageModel(UsageModel usageModel, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateEntryLevelSystemCall(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateEntryLevelSystemCall_EntryLevelSystemCallMustReferenceProvidedRoleOfASystem(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateEntryLevelSystemCall_EntryLevelSystemCallSignatureMustMatchItsProvidedRole(EntryLevelSystemCall entryLevelSystemCall, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAbstractUserAction(AbstractUserAction abstractUserAction, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateScenarioBehaviour(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateScenarioBehaviour_Exactlyonestart(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateScenarioBehaviour_Exactlyonestop(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateScenarioBehaviour_EachuseractionexceptStartandStopmusthaveapredecessorandsuccessor(ScenarioBehaviour scenarioBehaviour, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBranchTransition(BranchTransition branchTransition, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBranch(Branch branch, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBranch_AllBranchProbabilitiesMustSumUpTo1(Branch branch, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLoop(Loop loop, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStop(Stop stop, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStop_StopHasNoSuccessor(Stop stop, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStart(Start start, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateStart_StartHasNoPredecessor(Start start, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOpenWorkload(OpenWorkload openWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOpenWorkload_InterArrivalTimeInOpenWorkloadNeedsToBeSpecified(OpenWorkload openWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDelay(Delay delay, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateClosedWorkload(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateClosedWorkload_PopulationInClosedWorkloadNeedsToBeSpecified(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateClosedWorkload_ThinkTimeInClosedWorkloadNeedsToBeSpecified(ClosedWorkload closedWorkload, DiagnosticChain diagnostics, Map<Object,Object> context)
public ResourceLocator getResourceLocator()
getResourceLocator in class EObjectValidator