public class TermsValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
TermsPackage
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 TermsValidator |
INSTANCE
The cached model package
|
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 |
---|
TermsValidator()
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 |
validateBuiltInConstant(BuiltInConstant builtInConstant,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBuiltInOperator(BuiltInOperator builtInOperator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateBuiltInSort(BuiltInSort builtInSort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDeclarations(Declarations declarations,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMultisetOperator(MultisetOperator multisetOperator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateMultisetSort(MultisetSort multisetSort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNamedOperator(NamedOperator namedOperator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNamedSort_refSortNotMultiset(NamedSort namedSort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the refSortNotMultiset constraint of 'Named Sort'
|
boolean |
validateNamedSort(NamedSort namedSort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOperator_sameOperatorNTermSort(Operator operator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the sameOperatorNTermSort constraint of 'Operator'
|
boolean |
validateOperator(Operator operator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOperatorDecl(OperatorDecl operatorDecl,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateProductSort(ProductSort productSort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSort(Sort sort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateSortDecl(SortDecl sortDecl,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTerm(Term term,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTermsDeclaration(TermsDeclaration termsDeclaration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTuple(Tuple tuple,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUserOperator(UserOperator userOperator,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateUserSort(UserSort userSort,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariable(Variable variable,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateVariableDecl(VariableDecl variableDecl,
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 TermsValidator 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 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 validateDeclarations(Declarations declarations, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTermsDeclaration(TermsDeclaration termsDeclaration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSort(Sort sort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMultisetSort(MultisetSort multisetSort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTerm(Term term, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperator(Operator operator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperator_sameOperatorNTermSort(Operator operator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableDecl(VariableDecl variableDecl, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariable(Variable variable, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBuiltInSort(BuiltInSort builtInSort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateProductSort(ProductSort productSort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBuiltInConstant(BuiltInConstant builtInConstant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateMultisetOperator(MultisetOperator multisetOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTuple(Tuple tuple, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSortDecl(SortDecl sortDecl, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBuiltInOperator(BuiltInOperator builtInOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNamedSort(NamedSort namedSort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNamedSort_refSortNotMultiset(NamedSort namedSort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUserSort(UserSort userSort, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOperatorDecl(OperatorDecl operatorDecl, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNamedOperator(NamedOperator namedOperator, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUserOperator(UserOperator userOperator, 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.