Package org.palladiosimulator.pcm.qosannotations.qos_reliability.util

Class QosReliabilityValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.pcm.qosannotations.qos_reliability.util.QosReliabilityValidator

All Implemented Interfaces:

EValidator

public class QosReliabilityValidator
extends EObjectValidator

The Validator for the model.

See Also:

• QosReliabilityPackage

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.
static final QosReliabilityValidator	INSTANCE	The cached model package
protected static final String	SPECIFIED_RELIABILITY_ANNOTATION__MULTIPLE_EXTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSION	The cached validation expression for the multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Specified Reliability Annotation'.
protected static final String	SPECIFIED_RELIABILITY_ANNOTATION__SPECIFIED_RELIABILITY_ANNOTATION_MUST_REFERENCE_REQUIRED_ROLE_OF_ASYSTEM__EEXPRESSION	The cached validation expression for the specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem constraint of 'Specified Reliability Annotation'.
protected static final String	SPECIFIED_RELIABILITY_ANNOTATION__SUM_OF_RELIABILITY_ANNOTATION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1__EEXPRESSION	The cached validation expression for the sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1 constraint of 'Specified Reliability Annotation'.

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
QosReliabilityValidator()	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	validateSpecifiedReliabilityAnnotation(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSpecifiedReliabilityAnnotation_multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Specified Reliability Annotation'.
boolean	validateSpecifiedReliabilityAnnotation_specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem constraint of 'Specified Reliability Annotation'.
boolean	validateSpecifiedReliabilityAnnotation_sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1 constraint of 'Specified Reliability Annotation'.

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

SPECIFIED_RELIABILITY_ANNOTATION__SPECIFIED_RELIABILITY_ANNOTATION_MUST_REFERENCE_REQUIRED_ROLE_OF_ASYSTEM__EEXPRESSION

protected static final String SPECIFIED_RELIABILITY_ANNOTATION__SPECIFIED_RELIABILITY_ANNOTATION_MUST_REFERENCE_REQUIRED_ROLE_OF_ASYSTEM__EEXPRESSION

The cached validation expression for the specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem constraint of 'Specified Reliability Annotation'.

See Also:

• Constant Field Values

Generated class or method.

SPECIFIED_RELIABILITY_ANNOTATION__MULTIPLE_EXTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSION

protected static final String SPECIFIED_RELIABILITY_ANNOTATION__MULTIPLE_EXTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSION

The cached validation expression for the multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Specified Reliability Annotation'.

See Also:

• Constant Field Values

Generated class or method.

SPECIFIED_RELIABILITY_ANNOTATION__SUM_OF_RELIABILITY_ANNOTATION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1__EEXPRESSION

protected static final String SPECIFIED_RELIABILITY_ANNOTATION__SUM_OF_RELIABILITY_ANNOTATION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1__EEXPRESSION

The cached validation expression for the sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1 constraint of 'Specified Reliability Annotation'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

QosReliabilityValidator

public QosReliabilityValidator()

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.

validateSpecifiedReliabilityAnnotation

public boolean validateSpecifiedReliabilityAnnotation(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSpecifiedReliabilityAnnotation_specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem

public boolean validateSpecifiedReliabilityAnnotation_specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem constraint of 'Specified Reliability Annotation'.

Generated class or method.

validateSpecifiedReliabilityAnnotation_multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed

public boolean validateSpecifiedReliabilityAnnotation_multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed constraint of 'Specified Reliability Annotation'.

Generated class or method.

validateSpecifiedReliabilityAnnotation_sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1

public boolean validateSpecifiedReliabilityAnnotation_sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1(SpecifiedReliabilityAnnotation specifiedReliabilityAnnotation,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1 constraint of 'Specified Reliability Annotation'.

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.