Package org.palladiosimulator.failuremodel.failuretype.util

Class FailuretypeValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.failuremodel.failuretype.util.FailuretypeValidator

All Implemented Interfaces:

EValidator

public class FailuretypeValidator
extends EObjectValidator

The Validator for the model.

See Also:

• FailuretypePackage

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 String	BYZANTINE__NO_BYZANTINE_OR_TRANSIENT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_DESCRIPTION__EEXPRESSION	The cached validation expression for the noByzantineOrTransientFailureAllowedForInternalFailureDescription constraint of 'Byzantine'.
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 FailuretypeValidator	INSTANCE	The cached model package
protected static final String	TRANSIENT__NO_TRANSIENT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_DESCRIPTION__EEXPRESSION	The cached validation expression for the noTransientFailureAllowedForInternalFailureDescription constraint of 'Transient'.

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
FailuretypeValidator()	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	validateByzantine(Byzantine<?> byzantine, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateByzantine_noByzantineOrTransientFailureAllowedForInternalFailureDescription(Byzantine<?> byzantine, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the noByzantineOrTransientFailureAllowedForInternalFailureDescription constraint of 'Byzantine'.
boolean	validateContent(Content content, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCrash(Crash crash, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDomain(Domain domain, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFailure(Failure failure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFailureTypeRepository(FailureTypeRepository failureTypeRepository, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHWByzantineFailure(HWByzantineFailure hwByzantineFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHWContentFailure(HWContentFailure hwContentFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHWCrashFailure(HWCrashFailure hwCrashFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHWFailure(HWFailure hwFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHWTimingFailure(HWTimingFailure hwTimingFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHWTransientFailure(HWTransientFailure hwTransientFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkByzantineFailure(LinkByzantineFailure linkByzantineFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkContentFailure(LinkContentFailure linkContentFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkCrashFailure(LinkCrashFailure linkCrashFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkFailure(LinkFailure linkFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkTimingFailure(LinkTimingFailure linkTimingFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinkTransientFailure(LinkTransientFailure linkTransientFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMode(Mode mode, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSWByzantineFailure(SWByzantineFailure swByzantineFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSWContentFailure(SWContentFailure swContentFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSWCrashFailure(SWCrashFailure swCrashFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSWFailure(SWFailure swFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSWTimingFailure(SWTimingFailure swTimingFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSWTransientFailure(SWTransientFailure swTransientFailure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTiming(Timing timing, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTransient(Transient<?> transient_, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTransient_noTransientFailureAllowedForInternalFailureDescription(Transient<?> transient_, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the noTransientFailureAllowedForInternalFailureDescription constraint of 'Transient'.

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

TRANSIENT__NO_TRANSIENT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_DESCRIPTION__EEXPRESSION

protected static final String TRANSIENT__NO_TRANSIENT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_DESCRIPTION__EEXPRESSION

The cached validation expression for the noTransientFailureAllowedForInternalFailureDescription constraint of 'Transient'.

See Also:

• Constant Field Values

Generated class or method.

BYZANTINE__NO_BYZANTINE_OR_TRANSIENT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_DESCRIPTION__EEXPRESSION

protected static final String BYZANTINE__NO_BYZANTINE_OR_TRANSIENT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_DESCRIPTION__EEXPRESSION

The cached validation expression for the noByzantineOrTransientFailureAllowedForInternalFailureDescription constraint of 'Byzantine'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

FailuretypeValidator

public FailuretypeValidator()

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.

validateFailureTypeRepository

public boolean validateFailureTypeRepository(FailureTypeRepository failureTypeRepository,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateFailure

public boolean validateFailure(Failure failure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSWFailure

public boolean validateSWFailure(SWFailure swFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHWFailure

public boolean validateHWFailure(HWFailure hwFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkFailure

public boolean validateLinkFailure(LinkFailure linkFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateDomain

public boolean validateDomain(Domain domain,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateContent

public boolean validateContent(Content content,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTiming

public boolean validateTiming(Timing timing,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateCrash

public boolean validateCrash(Crash crash,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateMode

public boolean validateMode(Mode mode,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTransient

public boolean validateTransient(Transient<?> transient_,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTransient_noTransientFailureAllowedForInternalFailureDescription

public boolean validateTransient_noTransientFailureAllowedForInternalFailureDescription(Transient<?> transient_,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the noTransientFailureAllowedForInternalFailureDescription constraint of 'Transient'.

Generated class or method.

validateByzantine

public boolean validateByzantine(Byzantine<?> byzantine,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateByzantine_noByzantineOrTransientFailureAllowedForInternalFailureDescription

public boolean validateByzantine_noByzantineOrTransientFailureAllowedForInternalFailureDescription(Byzantine<?> byzantine,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the noByzantineOrTransientFailureAllowedForInternalFailureDescription constraint of 'Byzantine'.

Generated class or method.

validateSWCrashFailure

public boolean validateSWCrashFailure(SWCrashFailure swCrashFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSWTimingFailure

public boolean validateSWTimingFailure(SWTimingFailure swTimingFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSWContentFailure

public boolean validateSWContentFailure(SWContentFailure swContentFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSWTransientFailure

public boolean validateSWTransientFailure(SWTransientFailure swTransientFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSWByzantineFailure

public boolean validateSWByzantineFailure(SWByzantineFailure swByzantineFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHWCrashFailure

public boolean validateHWCrashFailure(HWCrashFailure hwCrashFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHWTimingFailure

public boolean validateHWTimingFailure(HWTimingFailure hwTimingFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHWContentFailure

public boolean validateHWContentFailure(HWContentFailure hwContentFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHWTransientFailure

public boolean validateHWTransientFailure(HWTransientFailure hwTransientFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateHWByzantineFailure

public boolean validateHWByzantineFailure(HWByzantineFailure hwByzantineFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkCrashFailure

public boolean validateLinkCrashFailure(LinkCrashFailure linkCrashFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkTimingFailure

public boolean validateLinkTimingFailure(LinkTimingFailure linkTimingFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkContentFailure

public boolean validateLinkContentFailure(LinkContentFailure linkContentFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkTransientFailure

public boolean validateLinkTransientFailure(LinkTransientFailure linkTransientFailure,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinkByzantineFailure

public boolean validateLinkByzantineFailure(LinkByzantineFailure linkByzantineFailure,
 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.