Package org.palladiosimulator.supporting.prolog.model.prolog.directives.util

Class DirectivesValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.supporting.prolog.model.prolog.directives.util.DirectivesValidator

All Implemented Interfaces:

EValidator

public class DirectivesValidator
extends EObjectValidator

The Validator for the model.

See Also:

DirectivesPackage

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 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	A constant for the source of diagnostic codes from this package.
protected static String	DISCONTIGUOUS__NAME_HAS_TO_BE_DISCONTIGUOUS__EEXPRESSION	The cached validation expression for the nameHasToBeDiscontiguous constraint of 'Discontiguous'.
static DirectivesValidator	INSTANCE	The cached model package

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
DirectivesValidator()	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	validateDirective(Directive directive, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDiscontiguous(Discontiguous discontiguous, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDiscontiguous_nameHasToBeDiscontiguous(Discontiguous discontiguous, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the nameHasToBeDiscontiguous constraint of 'Discontiguous'.
boolean	validateDynamic(Dynamic dynamic, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMultifile(Multifile multifile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePredicateIndicator(PredicateIndicator predicateIndicator, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePublic(Public public_, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTable(Table table, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVolatile(Volatile volatile_, 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 Detail

INSTANCE

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

DISCONTIGUOUS__NAME_HAS_TO_BE_DISCONTIGUOUS__EEXPRESSION

protected static final String DISCONTIGUOUS__NAME_HAS_TO_BE_DISCONTIGUOUS__EEXPRESSION

The cached validation expression for the nameHasToBeDiscontiguous constraint of 'Discontiguous'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

DirectivesValidator

public DirectivesValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

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.

validateDirective

public boolean validateDirective(Directive directive,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validatePredicateIndicator

public boolean validatePredicateIndicator(PredicateIndicator predicateIndicator,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateDynamic

public boolean validateDynamic(Dynamic dynamic,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

Generated class or method.

validateDiscontiguous

public boolean validateDiscontiguous(Discontiguous discontiguous,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateDiscontiguous_nameHasToBeDiscontiguous

public boolean validateDiscontiguous_nameHasToBeDiscontiguous(Discontiguous discontiguous,
                                                              DiagnosticChain diagnostics,
                                                              Map<Object,Object> context)

Validates the nameHasToBeDiscontiguous constraint of 'Discontiguous'.

Generated class or method.

validateMultifile

public boolean validateMultifile(Multifile multifile,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validatePublic

public boolean validatePublic(Public public_,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Generated class or method.

validateVolatile

public boolean validateVolatile(Volatile volatile_,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateTable

public boolean validateTable(Table table,
                             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.