public class IntegersValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
IntegersPackage
org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator
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
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 IntegersValidator |
INSTANCE
The cached model package
|
protected TermsValidator |
termsValidator
The cached base package validator
|
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
Constructor and Description |
---|
IntegersValidator()
Creates an instance of the switch
|
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 |
validateAddition_outputType(Addition addition,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Addition'
|
boolean |
validateAddition(Addition addition,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDivision_outputType(Division division,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Division'
|
boolean |
validateDivision(Division division,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateGreaterThan_outputType(GreaterThan greaterThan,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Greater Than'
|
boolean |
validateGreaterThan(GreaterThan greaterThan,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateGreaterThanOrEqual_outputType(GreaterThanOrEqual greaterThanOrEqual,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Greater Than Or Equal'
|
boolean |
validateGreaterThanOrEqual(GreaterThanOrEqual greaterThanOrEqual,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateHLInteger(HLInteger hlInteger,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateHLPNNumber(HLPNNumber hlpnNumber,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateIntegerOperator_inputType(IntegerOperator integerOperator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the inputType constraint of 'Integer Operator'
|
boolean |
validateIntegerOperator(IntegerOperator integerOperator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLessThan_outputType(LessThan lessThan,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Less Than'
|
boolean |
validateLessThan(LessThan lessThan,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLessThanOrEqual_outputType(LessThanOrEqual lessThanOrEqual,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Less Than Or Equal'
|
boolean |
validateLessThanOrEqual(LessThanOrEqual lessThanOrEqual,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateModulo_outputType(Modulo modulo,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Modulo'
|
boolean |
validateModulo(Modulo modulo,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMultiplication_outputType(Multiplication multiplication,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Multiplication'
|
boolean |
validateMultiplication(Multiplication multiplication,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNatural(Natural natural,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNumberConstant_typeType(NumberConstant numberConstant,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the typeType constraint of 'Number Constant'
|
boolean |
validateNumberConstant(NumberConstant numberConstant,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePositive(Positive positive,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSubtraction_outputType(Subtraction subtraction,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the outputType constraint of 'Subtraction'
|
boolean |
validateSubtraction(Subtraction subtraction,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
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
public static final IntegersValidator INSTANCE
public static final String DIAGNOSTIC_SOURCE
source
of diagnostic codes
from this package.
Diagnostic.getSource()
,
Diagnostic.getCode()
,
Constant Field Valuesprotected static final int DIAGNOSTIC_CODE_COUNT
protected TermsValidator termsValidator
protected org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage
in class org.eclipse.emf.ecore.util.EObjectValidator
protected boolean validate(int classifierID, Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
validateXXX
for the corresponding classifier of the model.
validate
in class org.eclipse.emf.ecore.util.EObjectValidator
public boolean validateHLPNNumber(HLPNNumber hlpnNumber, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNatural(Natural natural, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePositive(Positive positive, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateHLInteger(HLInteger hlInteger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNumberConstant(NumberConstant numberConstant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNumberConstant_typeType(NumberConstant numberConstant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIntegerOperator(IntegerOperator integerOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateIntegerOperator_inputType(IntegerOperator integerOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAddition(Addition addition, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAddition_outputType(Addition addition, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSubtraction(Subtraction subtraction, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSubtraction_outputType(Subtraction subtraction, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMultiplication(Multiplication multiplication, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMultiplication_outputType(Multiplication multiplication, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDivision(Division division, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDivision_outputType(Division division, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateModulo(Modulo modulo, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateModulo_outputType(Modulo modulo, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateGreaterThan(GreaterThan greaterThan, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateGreaterThan_outputType(GreaterThan greaterThan, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateGreaterThanOrEqual(GreaterThanOrEqual greaterThanOrEqual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateGreaterThanOrEqual_outputType(GreaterThanOrEqual greaterThanOrEqual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLessThan(LessThan lessThan, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLessThan_outputType(LessThan lessThan, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLessThanOrEqual(LessThanOrEqual lessThanOrEqual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLessThanOrEqual_outputType(LessThanOrEqual lessThanOrEqual, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
getResourceLocator
in class org.eclipse.emf.ecore.util.EObjectValidator
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.