Package org.palladiosimulator.pcm.seff.seff_reliability.util

Class SeffReliabilityValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.pcm.seff.seff_reliability.util.SeffReliabilityValidator

All Implemented Interfaces:

EValidator

public class SeffReliabilityValidator
extends EObjectValidator

The Validator for the model.

See Also:

• SeffReliabilityPackage

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	Description
static final String	copyright
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.
static final String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static final SeffReliabilityValidator	INSTANCE	The cached model package
protected static final String	RECOVERY_ACTION__PRIMARY_BEHAVIOUR_OF_RECOVERY_ACTION_MUST_BE_SET__EEXPRESSION	The cached validation expression for the primaryBehaviourOfRecoveryActionMustBeSet constraint of 'Recovery Action'.
protected static final String	RECOVERY_ACTION_BEHAVIOUR__RECOVERY_ACTION_BEHAVIOUR_HAS_ONLY_ONE_PREDECESSOR__EEXPRESSION	The cached validation expression for the recoveryActionBehaviourHasOnlyOnePredecessor constraint of 'Recovery Action Behaviour'.
protected static final String	RECOVERY_ACTION_BEHAVIOUR__RECOVERY_ACTION_BEHAVIOUR_IS_NOT_SUCCESSOR_OF_ITSELF__EEXPRESSION	The cached validation expression for the recoveryActionBehaviourIsNotSuccessorOfItself constraint of 'Recovery Action Behaviour'.
protected static final String	RECOVERY_ACTION_BEHAVIOUR__SUCCESSORS_OF_RECOVERY_ACTION_BEHAVIOUR_HANDLE_DISJOINT_FAILURE_TYPES__EEXPRESSION	The cached validation expression for the successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes constraint of 'Recovery Action Behaviour'.
protected SeffValidator	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

Constructors

Constructor	Description
SeffReliabilityValidator()	Creates an instance of the switch.

Method Summary

Modifier and Type	Method	Description
protected EPackage	getEPackage()	Returns the package of this validator switch.
ResourceLocator	getResourceLocator()	Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
protected boolean	validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)	Calls validateXXX 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

copyright

public static final String copyright

See Also:

• Constant Field Values

Generated class or method.

INSTANCE

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

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:

• Constant Field Values

Generated class or method.

identifierValidator

protected de.uka.ipd.sdq.identifier.util.IdentifierValidator identifierValidator

The cached base package validator.

Generated class or method.

seffValidator

protected SeffValidator 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__EEXPRESSION

The cached validation expression for the recoveryActionBehaviourHasOnlyOnePredecessor constraint of 'Recovery Action Behaviour'.

See Also:

• Constant Field Values

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__EEXPRESSION

The cached validation expression for the recoveryActionBehaviourIsNotSuccessorOfItself constraint of 'Recovery Action Behaviour'.

See Also:

• Constant Field Values

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__EEXPRESSION

The cached validation expression for the successorsOfRecoveryActionBehaviourHandleDisjointFailureTypes constraint of 'Recovery Action Behaviour'.

See Also:

• Constant Field Values

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__EEXPRESSION

The cached validation expression for the primaryBehaviourOfRecoveryActionMustBeSet constraint of 'Recovery Action'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

SeffReliabilityValidator

public SeffReliabilityValidator()

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.

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

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.