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 and Description
static String	copyright
static String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static int	EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION The code for constraint 'No Resource Timeout Failure Allowed For External Failure Occurrence Description' of 'External Failure Occurrence Description'.
static int	FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE The code for constraint 'Ensure Valid Failure Probability Range' of 'Failure Occurrence Description'.
static int	HARDWARE_INDUCED_FAILURE_TYPE__HARDWARE_INDUCED_FAILURE_TYPE_HAS_PROCESSING_RESOURCE_TYPE The code for constraint 'Hardware Induced Failure Type Has Processing Resource Type' of 'Hardware Induced Failure Type'.
static ReliabilityValidator	INSTANCE The cached model package
static int	INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION The code for constraint 'No Resource Timeout Failure Allowed For Internal Failure Occurrence Description' of 'Internal Failure Occurrence Description'.
static int	NETWORK_INDUCED_FAILURE_TYPE__NETWORK_INDUCED_FAILURE_TYPE_HAS_COMMUNICATION_LINK_RESOURCE_TYPE The code for constraint 'Network Induced Failure Type Has Communication Link Resource Type' 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 and Description
ReliabilityValidator() 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	validateExternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the NoResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription constraint of 'External Failure Occurrence Description'.
boolean	validateExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription, 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	validateFailureOccurrenceDescription(FailureOccurrenceDescription failureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFailureType(FailureType failureType, 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	validateHardwareInducedFailureType(HardwareInducedFailureType hardwareInducedFailureType, 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	validateInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription, 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	validateNetworkInducedFailureType(NetworkInducedFailureType networkInducedFailureType, DiagnosticChain diagnostics, Map<Object,Object> context)
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

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

FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE

public static final int FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE

The code for constraint 'Ensure Valid Failure Probability Range' 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

public static final int HARDWARE_INDUCED_FAILURE_TYPE__HARDWARE_INDUCED_FAILURE_TYPE_HAS_PROCESSING_RESOURCE_TYPE

The code for constraint 'Hardware Induced Failure Type Has Processing Resource Type' 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

public static final int INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION

The code for constraint 'No Resource Timeout Failure Allowed For Internal Failure Occurrence Description' 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

public static final int NETWORK_INDUCED_FAILURE_TYPE__NETWORK_INDUCED_FAILURE_TYPE_HAS_COMMUNICATION_LINK_RESOURCE_TYPE

The code for constraint 'Network Induced Failure Type Has Communication Link Resource Type' 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

public static final int EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION

The code for constraint 'No Resource Timeout Failure Allowed For External Failure Occurrence Description' of 'External Failure Occurrence Description'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

ReliabilityValidator

public ReliabilityValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

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.