fr.lip6.move.pnml.symmetricnet.finiteIntRanges.util

Class FiniteIntRangesValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

fr.lip6.move.pnml.symmetricnet.finiteIntRanges.util.FiniteIntRangesValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

public class FiniteIntRangesValidator
extends org.eclipse.emf.ecore.util.EObjectValidator

The Validator for the model.

See Also:

FiniteIntRangesPackage

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator

org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate

Field Summary

Fields

Modifier and Type	Field and 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
static FiniteIntRangesValidator	INSTANCE The cached model package
protected TermsValidator	termsValidator The cached base package validator

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 and Description
FiniteIntRangesValidator() Creates an instance of the switch

Method Summary

Modifier and Type	Method and Description
protected org.eclipse.emf.ecore.EPackage	getEPackage() Returns the package of this validator switch
org.eclipse.emf.common.util.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, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context) Calls validateXXX for the corresponding classifier of the model
boolean	validateFiniteIntRange_range(FiniteIntRange finiteIntRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context) Validates the range constraint of 'Finite Int Range'
boolean	validateFiniteIntRange(FiniteIntRange finiteIntRange, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFiniteIntRangeConstant_InputRange(FiniteIntRangeConstant finiteIntRangeConstant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context) Validates the InputRange constraint of 'Finite Int Range Constant'
boolean	validateFiniteIntRangeConstant(FiniteIntRangeConstant finiteIntRangeConstant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFiniteIntRangeOperator_InputOutputTypes(FiniteIntRangeOperator finiteIntRangeOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context) Validates the InputOutputTypes constraint of 'Finite Int Range Operator'
boolean	validateFiniteIntRangeOperator(FiniteIntRangeOperator finiteIntRangeOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGreaterThan(GreaterThan greaterThan, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGreaterThanOrEqual(GreaterThanOrEqual greaterThanOrEqual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLessThan(LessThan lessThan, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLessThanOrEqual(LessThanOrEqual lessThanOrEqual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

createBadDataValueDiagnostic, createDiagnostic, 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_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, validate, validate, validate, validate, validate, validate, 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 FiniteIntRangesValidator INSTANCE

The cached model package

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

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

termsValidator

protected TermsValidator termsValidator

The cached base package validator.

Constructor Detail

FiniteIntRangesValidator

public FiniteIntRangesValidator()

Creates an instance of the switch.

Method Detail

getEPackage

protected org.eclipse.emf.ecore.EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

getEPackage in class org.eclipse.emf.ecore.util.EObjectValidator

validate

protected boolean validate(int classifierID,
                           Object value,
                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:

validate in class org.eclipse.emf.ecore.util.EObjectValidator

validateFiniteIntRange

public boolean validateFiniteIntRange(FiniteIntRange finiteIntRange,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

validateFiniteIntRange_range

public boolean validateFiniteIntRange_range(FiniteIntRange finiteIntRange,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Validates the range constraint of 'Finite Int Range'.

validateFiniteIntRangeConstant

public boolean validateFiniteIntRangeConstant(FiniteIntRangeConstant finiteIntRangeConstant,
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

validateFiniteIntRangeConstant_InputRange

public boolean validateFiniteIntRangeConstant_InputRange(FiniteIntRangeConstant finiteIntRangeConstant,
                                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Validates the InputRange constraint of 'Finite Int Range Constant'.

validateLessThan

public boolean validateLessThan(LessThan lessThan,
                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                Map<Object,Object> context)

validateFiniteIntRangeOperator

public boolean validateFiniteIntRangeOperator(FiniteIntRangeOperator finiteIntRangeOperator,
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

validateFiniteIntRangeOperator_InputOutputTypes

public boolean validateFiniteIntRangeOperator_InputOutputTypes(FiniteIntRangeOperator finiteIntRangeOperator,
                                                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                               Map<Object,Object> context)

Validates the InputOutputTypes constraint of 'Finite Int Range Operator'.

validateGreaterThan

public boolean validateGreaterThan(GreaterThan greaterThan,
                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

validateLessThanOrEqual

public boolean validateLessThanOrEqual(LessThanOrEqual lessThanOrEqual,
                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

validateGreaterThanOrEqual

public boolean validateGreaterThanOrEqual(GreaterThanOrEqual greaterThanOrEqual,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

getResourceLocator

public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

getResourceLocator in class org.eclipse.emf.ecore.util.EObjectValidator