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 String
copyright
protected static 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 String
DIAGNOSTIC_SOURCE
protected static 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 String
FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE__EEXPRESSION
The cached validation expression for the ensureValidFailureProbabilityRange constraint of 'Failure Occurrence Description'.protected static 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 ReliabilityValidator
INSTANCE
The cached model packageprotected static 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 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
All Methods Instance Methods Concrete Methods 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)
CallsvalidateXXX
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
-
-
-
-
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
- 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.
-
-
Method Detail
-
getEPackage
protected EPackage 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.
-
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 classEObjectValidator
- Generated class or method.
-
-