Package org.palladiosimulator.failuremodel.failurescenario.util

Class FailurescenarioValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.failuremodel.failurescenario.util.FailurescenarioValidator

All Implemented Interfaces:

EValidator

public class FailurescenarioValidator
extends EObjectValidator

The Validator for the model.

See Also:

• FailurescenarioPackage

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
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 FailurescenarioValidator	INSTANCE	The cached model package
protected static final String	OCCURRENCE__ENSURE_CORRECT_ORIGIN__EEXPRESSION	The cached validation expression for the ensureCorrectOrigin constraint of 'Occurrence'.

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
FailurescenarioValidator()	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	validateFailureScenario(FailureScenario failureScenario, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFailureScenarioRepository(FailureScenarioRepository failureScenarioRepository, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateInternalActionReference(InternalActionReference internalActionReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkingResourceReference(LinkingResourceReference linkingResourceReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOccurrence(Occurrence occurrence, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOccurrence_ensureCorrectOrigin(Occurrence occurrence, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the ensureCorrectOrigin constraint of 'Occurrence'.
boolean	validateProcessingResourceReference(ProcessingResourceReference processingResourceReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateReference(Reference reference, 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

INSTANCE

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

OCCURRENCE__ENSURE_CORRECT_ORIGIN__EEXPRESSION

protected static final String OCCURRENCE__ENSURE_CORRECT_ORIGIN__EEXPRESSION

The cached validation expression for the ensureCorrectOrigin constraint of 'Occurrence'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

FailurescenarioValidator

public FailurescenarioValidator()

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.

validateFailureScenarioRepository

public boolean validateFailureScenarioRepository(FailureScenarioRepository failureScenarioRepository,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateFailureScenario

public boolean validateFailureScenario(FailureScenario failureScenario,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateOccurrence

public boolean validateOccurrence(Occurrence occurrence,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateOccurrence_ensureCorrectOrigin

public boolean validateOccurrence_ensureCorrectOrigin(Occurrence occurrence,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the ensureCorrectOrigin constraint of 'Occurrence'.

Generated class or method.

validateReference

public boolean validateReference(Reference reference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkingResourceReference

public boolean validateLinkingResourceReference(LinkingResourceReference linkingResourceReference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateInternalActionReference

public boolean validateInternalActionReference(InternalActionReference internalActionReference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateProcessingResourceReference

public boolean validateProcessingResourceReference(ProcessingResourceReference processingResourceReference,
 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.