Class CoreValidator

  • All Implemented Interfaces:
    org.eclipse.emf.ecore.EValidator

    public class CoreValidator
    extends org.eclipse.emf.ecore.util.EObjectValidator
    The Validator for the model.
    See Also:
    CorePackage
    • 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 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 CoreValidator INSTANCE
      The cached model package
      static org.eclipse.emf.ecore.EValidator.PatternMatcher[][] OBJECT_VERSION__PATTERN__VALUES
      static org.eclipse.emf.ecore.EValidator.PatternMatcher[][] UUID__PATTERN__VALUES
      protected org.eclipse.emf.ecore.xml.type.util.XMLTypeValidator xmlTypeValidator
      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 Description
      CoreValidator()
      Creates an instance of the switch.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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 validateException​(Exception exception, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,​Object> context)
      boolean validateGenericException​(GenericException genericException, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,​Object> context)
      boolean validateObjectVersion​(String objectVersion, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,​Object> context)
      boolean validateObjectVersion_Pattern​(String objectVersion, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,​Object> context)
      Validates the Pattern constraint of 'Object Version'.
      boolean validateUUID​(String uuid, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,​Object> context)
      boolean validateUUID_Pattern​(String uuid, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,​Object> context)
      Validates the Pattern constraint of 'UUID'.
      • 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
    • Constructor Detail

      • CoreValidator

        public CoreValidator()
        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
      • validateGenericException

        public boolean validateGenericException​(GenericException genericException,
                                                org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                Map<Object,​Object> context)
      • validateException

        public boolean validateException​(Exception exception,
                                         org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         Map<Object,​Object> context)
      • validateUUID

        public boolean validateUUID​(String uuid,
                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    Map<Object,​Object> context)
      • validateUUID_Pattern

        public boolean validateUUID_Pattern​(String uuid,
                                            org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                            Map<Object,​Object> context)
        Validates the Pattern constraint of 'UUID'.
      • validateObjectVersion

        public boolean validateObjectVersion​(String objectVersion,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             Map<Object,​Object> context)
      • validateObjectVersion_Pattern

        public boolean validateObjectVersion_Pattern​(String objectVersion,
                                                     org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                     Map<Object,​Object> context)
        Validates the Pattern constraint of 'Object Version'.
      • 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