Package org.palladiosimulator.pcm.reliability.util

Class ReliabilityValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.pcm.reliability.util.ReliabilityValidator

All Implemented Interfaces:

EValidator

public class ReliabilityValidator
extends EObjectValidator

The Validator for the model.

See Also:

• ReliabilityPackage

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 static final String	EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__EEXPRESSION	The cached validation expression for the noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription constraint of 'External Failure Occurrence Description'.
protected static final String	FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE__EEXPRESSION	The cached validation expression for the ensureValidFailureProbabilityRange constraint of 'Failure Occurrence Description'.
protected static final String	HARDWARE_INDUCED_FAILURE_TYPE__HARDWARE_INDUCED_FAILURE_TYPE_HAS_PROCESSING_RESOURCE_TYPE__EEXPRESSION	The cached validation expression for the hardwareInducedFailureTypeHasProcessingResourceType constraint of 'Hardware Induced Failure Type'.
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static final ReliabilityValidator	INSTANCE	The cached model package
protected static final String	INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__EEXPRESSION	The cached validation expression for the noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription constraint of 'Internal Failure Occurrence Description'.
protected static final String	NETWORK_INDUCED_FAILURE_TYPE__NETWORK_INDUCED_FAILURE_TYPE_HAS_COMMUNICATION_LINK_RESOURCE_TYPE__EEXPRESSION	The cached validation expression for the networkInducedFailureTypeHasCommunicationLinkResourceType constraint of 'Network Induced Failure Type'.

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
ReliabilityValidator()	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	validateExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExternalFailureOccurrenceDescription_noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription constraint of 'External Failure Occurrence Description'.
boolean	validateFailureOccurrenceDescription(FailureOccurrenceDescription failureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFailureOccurrenceDescription_ensureValidFailureProbabilityRange(FailureOccurrenceDescription failureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the ensureValidFailureProbabilityRange constraint of 'Failure Occurrence Description'.
boolean	validateFailureType(FailureType failureType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHardwareInducedFailureType(HardwareInducedFailureType hardwareInducedFailureType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHardwareInducedFailureType_hardwareInducedFailureTypeHasProcessingResourceType(HardwareInducedFailureType hardwareInducedFailureType, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the hardwareInducedFailureTypeHasProcessingResourceType constraint of 'Hardware Induced Failure Type'.
boolean	validateInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateInternalFailureOccurrenceDescription_noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription constraint of 'Internal Failure Occurrence Description'.
boolean	validateNetworkInducedFailureType(NetworkInducedFailureType networkInducedFailureType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNetworkInducedFailureType_networkInducedFailureTypeHasCommunicationLinkResourceType(NetworkInducedFailureType networkInducedFailureType, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the networkInducedFailureTypeHasCommunicationLinkResourceType constraint of 'Network Induced Failure Type'.
boolean	validateResourceTimeoutFailureType(ResourceTimeoutFailureType resourceTimeoutFailureType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSoftwareInducedFailureType(SoftwareInducedFailureType softwareInducedFailureType, 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

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 ReliabilityValidator 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.

FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE__EEXPRESSION

protected static final String FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE__EEXPRESSION

The cached validation expression for the ensureValidFailureProbabilityRange constraint of 'Failure Occurrence Description'.

See Also:

• Constant Field Values

Generated class or method.

HARDWARE_INDUCED_FAILURE_TYPE__HARDWARE_INDUCED_FAILURE_TYPE_HAS_PROCESSING_RESOURCE_TYPE__EEXPRESSION

protected static final String HARDWARE_INDUCED_FAILURE_TYPE__HARDWARE_INDUCED_FAILURE_TYPE_HAS_PROCESSING_RESOURCE_TYPE__EEXPRESSION

The cached validation expression for the hardwareInducedFailureTypeHasProcessingResourceType constraint of 'Hardware Induced Failure Type'.

See Also:

• Constant Field Values

Generated class or method.

INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__EEXPRESSION

protected static final String INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__EEXPRESSION

The cached validation expression for the noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription constraint of 'Internal Failure Occurrence Description'.

See Also:

• Constant Field Values

Generated class or method.

NETWORK_INDUCED_FAILURE_TYPE__NETWORK_INDUCED_FAILURE_TYPE_HAS_COMMUNICATION_LINK_RESOURCE_TYPE__EEXPRESSION

protected static final String NETWORK_INDUCED_FAILURE_TYPE__NETWORK_INDUCED_FAILURE_TYPE_HAS_COMMUNICATION_LINK_RESOURCE_TYPE__EEXPRESSION

The cached validation expression for the networkInducedFailureTypeHasCommunicationLinkResourceType constraint of 'Network Induced Failure Type'.

See Also:

• Constant Field Values

Generated class or method.

EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__EEXPRESSION

protected static final String EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__EEXPRESSION

The cached validation expression for the noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription constraint of 'External Failure Occurrence Description'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

ReliabilityValidator

public ReliabilityValidator()

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.

validateFailureOccurrenceDescription

public boolean validateFailureOccurrenceDescription(FailureOccurrenceDescription failureOccurrenceDescription,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateFailureOccurrenceDescription_ensureValidFailureProbabilityRange

public boolean validateFailureOccurrenceDescription_ensureValidFailureProbabilityRange(FailureOccurrenceDescription failureOccurrenceDescription,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the ensureValidFailureProbabilityRange constraint of 'Failure Occurrence Description'.

Generated class or method.

validateHardwareInducedFailureType

public boolean validateHardwareInducedFailureType(HardwareInducedFailureType hardwareInducedFailureType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHardwareInducedFailureType_hardwareInducedFailureTypeHasProcessingResourceType

public boolean validateHardwareInducedFailureType_hardwareInducedFailureTypeHasProcessingResourceType(HardwareInducedFailureType hardwareInducedFailureType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the hardwareInducedFailureTypeHasProcessingResourceType constraint of 'Hardware Induced Failure Type'.

Generated class or method.

validateSoftwareInducedFailureType

public boolean validateSoftwareInducedFailureType(SoftwareInducedFailureType softwareInducedFailureType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateInternalFailureOccurrenceDescription

public boolean validateInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateInternalFailureOccurrenceDescription_noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription

public boolean validateInternalFailureOccurrenceDescription_noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the noResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription constraint of 'Internal Failure Occurrence Description'.

Generated class or method.

validateNetworkInducedFailureType

public boolean validateNetworkInducedFailureType(NetworkInducedFailureType networkInducedFailureType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateNetworkInducedFailureType_networkInducedFailureTypeHasCommunicationLinkResourceType

public boolean validateNetworkInducedFailureType_networkInducedFailureTypeHasCommunicationLinkResourceType(NetworkInducedFailureType networkInducedFailureType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the networkInducedFailureTypeHasCommunicationLinkResourceType constraint of 'Network Induced Failure Type'.

Generated class or method.

validateExternalFailureOccurrenceDescription

public boolean validateExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateExternalFailureOccurrenceDescription_noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription

public boolean validateExternalFailureOccurrenceDescription_noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the noResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription constraint of 'External Failure Occurrence Description'.

Generated class or method.

validateResourceTimeoutFailureType

public boolean validateResourceTimeoutFailureType(ResourceTimeoutFailureType resourceTimeoutFailureType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateFailureType

public boolean validateFailureType(FailureType failureType,
 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.