org.eclipse.ocl.examples.xtext.oclstdlib.oclstdlibcs.util
Class OCLstdlibCSValidator

java.lang.Object
  org.eclipse.emf.ecore.util.EObjectValidator
      org.eclipse.ocl.examples.xtext.oclstdlib.oclstdlibcs.util.OCLstdlibCSValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator

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

The Validator for the model.

See Also:

OCLstdlibCSPackage

Generated

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

protected BaseCSValidator	baseCSTValidator The cached base package validator.
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 java.lang.String	DIAGNOSTIC_SOURCE A constant for the source of diagnostic codes from this package.
static OCLstdlibCSValidator	INSTANCE The cached model package
protected static java.lang.String	LIB_DOCUMENT_CS__TEST_CONSTRAINT2__EEXPRESSION The cached validation expression for the TestConstraint2 constraint of 'Lib Document CS'.

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

OCLstdlibCSValidator()
Creates an instance of the switch.

Method Summary

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, java.lang.Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Calls validateXXX for the corresponding classifier of the model.
boolean	validateJavaImplementationCS(JavaImplementationCS javaImplementationCS, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateLibIterationCS(LibIterationCS libIterationCS, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateLibOperationCS(LibOperationCS libOperationCS, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateLibPropertyCS(LibPropertyCS libPropertyCS, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.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 OCLstdlibCSValidator INSTANCE

The cached model package

Generated

DIAGNOSTIC_SOURCE

public static final java.lang.String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values

Generated

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

baseCSTValidator

protected BaseCSValidator baseCSTValidator

The cached base package validator.

Generated

LIB_DOCUMENT_CS__TEST_CONSTRAINT2__EEXPRESSION

protected static final java.lang.String LIB_DOCUMENT_CS__TEST_CONSTRAINT2__EEXPRESSION

The cached validation expression for the TestConstraint2 constraint of 'Lib Document CS'.

See Also:

Constant Field Values

Generated

Constructor Detail

OCLstdlibCSValidator

public OCLstdlibCSValidator()

Creates an instance of the switch.

Generated

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

Generated

validate

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

Calls validateXXX for the corresponding classifier of the model.

Overrides:

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

Generated

validateLibIterationCS

public boolean validateLibIterationCS(LibIterationCS libIterationCS,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLibOperationCS

public boolean validateLibOperationCS(LibOperationCS libOperationCS,
                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateLibPropertyCS

public boolean validateLibPropertyCS(LibPropertyCS libPropertyCS,
                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateJavaImplementationCS

public boolean validateJavaImplementationCS(JavaImplementationCS javaImplementationCS,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

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

Generated