Class SeffReliabilityValidator
java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
org.palladiosimulator.pcm.seff.seff_reliability.util.SeffReliabilityValidator
- 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 TypeFieldDescriptionstatic 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 de.uka.ipd.sdq.identifier.util.IdentifierValidator
The cached base package validator.static final SeffReliabilityValidator
The cached model packageprotected static final String
The cached validation expression for the primaryBehaviourOfRecoveryActionMustBeSet constraint of 'Recovery Action'.protected static final String
The cached validation expression for the recoveryActionBehaviourHasOnlyOnePredecessor constraint of 'Recovery Action Behaviour'.protected static final String
The cached validation expression for the recoveryActionBehaviourIsNotSuccessorOfItself constraint of 'Recovery Action Behaviour'.protected static final String
The cached validation expression for the successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes constraint of 'Recovery Action Behaviour'.protected SeffValidator
The cached base package validator.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
validateFailureHandlingEntity
(FailureHandlingEntity failureHandlingEntity, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateRecoveryAction
(RecoveryAction recoveryAction, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateRecoveryAction_primaryBehaviourOfRecoveryActionMustBeSet
(RecoveryAction recoveryAction, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the primaryBehaviourOfRecoveryActionMustBeSet constraint of 'Recovery Action'.boolean
validateRecoveryActionBehaviour
(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) boolean
validateRecoveryActionBehaviour_recoveryActionBehaviourHasOnlyOnePredecessor
(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the recoveryActionBehaviourHasOnlyOnePredecessor constraint of 'Recovery Action Behaviour'.boolean
validateRecoveryActionBehaviour_recoveryActionBehaviourIsNotSuccessorOfItself
(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the recoveryActionBehaviourIsNotSuccessorOfItself constraint of 'Recovery Action Behaviour'.boolean
validateRecoveryActionBehaviour_successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes
(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes constraint of 'Recovery Action Behaviour'.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.
-
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.
-
seffValidator
The cached base package validator.- Generated class or method.
-
RECOVERY_ACTION_BEHAVIOUR__RECOVERY_ACTION_BEHAVIOUR_HAS_ONLY_ONE_PREDECESSOR__EEXPRESSION
protected static final String RECOVERY_ACTION_BEHAVIOUR__RECOVERY_ACTION_BEHAVIOUR_HAS_ONLY_ONE_PREDECESSOR__EEXPRESSIONThe cached validation expression for the recoveryActionBehaviourHasOnlyOnePredecessor constraint of 'Recovery Action Behaviour'.- See Also:
- Generated class or method.
-
RECOVERY_ACTION_BEHAVIOUR__RECOVERY_ACTION_BEHAVIOUR_IS_NOT_SUCCESSOR_OF_ITSELF__EEXPRESSION
protected static final String RECOVERY_ACTION_BEHAVIOUR__RECOVERY_ACTION_BEHAVIOUR_IS_NOT_SUCCESSOR_OF_ITSELF__EEXPRESSIONThe cached validation expression for the recoveryActionBehaviourIsNotSuccessorOfItself constraint of 'Recovery Action Behaviour'.- See Also:
- Generated class or method.
-
RECOVERY_ACTION_BEHAVIOUR__SUCCESSORS_OF_RECOVERY_ACTION_BEHAVIOUR_HANDLE_DISJOINT_FAILURE_TYPES__EEXPRESSION
protected static final String RECOVERY_ACTION_BEHAVIOUR__SUCCESSORS_OF_RECOVERY_ACTION_BEHAVIOUR_HANDLE_DISJOINT_FAILURE_TYPES__EEXPRESSIONThe cached validation expression for the successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes constraint of 'Recovery Action Behaviour'.- See Also:
- Generated class or method.
-
RECOVERY_ACTION__PRIMARY_BEHAVIOUR_OF_RECOVERY_ACTION_MUST_BE_SET__EEXPRESSION
protected static final String RECOVERY_ACTION__PRIMARY_BEHAVIOUR_OF_RECOVERY_ACTION_MUST_BE_SET__EEXPRESSIONThe cached validation expression for the primaryBehaviourOfRecoveryActionMustBeSet constraint of 'Recovery Action'.- See Also:
- Generated class or method.
-
-
Constructor Details
-
SeffReliabilityValidator
public SeffReliabilityValidator()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.
-
validateRecoveryActionBehaviour
public boolean validateRecoveryActionBehaviour(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) - Generated class or method.
-
validateRecoveryActionBehaviour_recoveryActionBehaviourHasOnlyOnePredecessor
public boolean validateRecoveryActionBehaviour_recoveryActionBehaviourHasOnlyOnePredecessor(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the recoveryActionBehaviourHasOnlyOnePredecessor constraint of 'Recovery Action Behaviour'.- Generated class or method.
-
validateRecoveryActionBehaviour_recoveryActionBehaviourIsNotSuccessorOfItself
public boolean validateRecoveryActionBehaviour_recoveryActionBehaviourIsNotSuccessorOfItself(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the recoveryActionBehaviourIsNotSuccessorOfItself constraint of 'Recovery Action Behaviour'.- Generated class or method.
-
validateRecoveryActionBehaviour_successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes
public boolean validateRecoveryActionBehaviour_successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes(RecoveryActionBehaviour recoveryActionBehaviour, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes constraint of 'Recovery Action Behaviour'.- Generated class or method.
-
validateRecoveryAction
public boolean validateRecoveryAction(RecoveryAction recoveryAction, DiagnosticChain diagnostics, Map<Object, Object> context) - Generated class or method.
-
validateRecoveryAction_primaryBehaviourOfRecoveryActionMustBeSet
public boolean validateRecoveryAction_primaryBehaviourOfRecoveryActionMustBeSet(RecoveryAction recoveryAction, DiagnosticChain diagnostics, Map<Object, Object> context) Validates the primaryBehaviourOfRecoveryActionMustBeSet constraint of 'Recovery Action'.- Generated class or method.
-
validateFailureHandlingEntity
public boolean validateFailureHandlingEntity(FailureHandlingEntity failureHandlingEntity, DiagnosticChain diagnostics, Map<Object, Object> context) - 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.
-