Attachment #118245 for bug #255786

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Lines 10-15 Link Here

(-)plugin.xml (+1 lines)
10	<extension-point id="content_handler" name="%_UI_ContentHandlerRegistry_extensionpoint" schema="schema/content_handler.exsd"/>	10	<extension-point id="content_handler" name="%_UI_ContentHandlerRegistry_extensionpoint" schema="schema/content_handler.exsd"/>
11	<extension-point id="uri_mapping" name="%_UI_URIMappingRegistry_extensionpoint" schema="schema/uri_mapping.exsd"/>	11	<extension-point id="uri_mapping" name="%_UI_URIMappingRegistry_extensionpoint" schema="schema/uri_mapping.exsd"/>
12	<extension-point id="package_registry_implementation" name="%_UI_PackageRegistryImplementation_extensionpoint" schema="schema/package_registry_implementation.exsd"/>	12	<extension-point id="package_registry_implementation" name="%_UI_PackageRegistryImplementation_extensionpoint" schema="schema/package_registry_implementation.exsd"/>
		13	<extension-point id="constraints_delegator_regstry" name="%_UI_ConstraintsDelegatorRegistry_extensionpoint" schema="schema/constraints_delegator_regstry.exsd"/>
13		14
14	<extension point="org.eclipse.emf.ecore.generated_package">	15	<extension point="org.eclipse.emf.ecore.generated_package">
15	<package	16	<package

Lines 113-118 Link Here

(-)plugin.properties (+2 lines)
113	_UI_ContentHandler_extensionpoint = Content Handler Registry	113	_UI_ContentHandler_extensionpoint = Content Handler Registry
114	_UI_URIMappingRegistry_extensionpoint = URI Converter Mapping Registry	114	_UI_URIMappingRegistry_extensionpoint = URI Converter Mapping Registry
115	_UI_PackageRegistryImplementation_extensionpoint = Ecore Package Registry Implementation	115	_UI_PackageRegistryImplementation_extensionpoint = Ecore Package Registry Implementation
		116	_UI_ConstraintsDelegatorRegistry_extensionpoint = Constraints Delegator Registry
		117
116		118
117	_UI_GenericInvariant_diagnostic = The ''{0}'' invariant is violated on ''{1}''	119	_UI_GenericInvariant_diagnostic = The ''{0}'' invariant is violated on ''{1}''
118	_UI_GenericConstraint_diagnostic = The ''{0}'' constraint is violated on ''{1}''	120	_UI_GenericConstraint_diagnostic = The ''{0}'' constraint is violated on ''{1}''

Lines 575-580 Link Here

(-)src/org/eclipse/emf/ecore/plugin/EcorePlugin.java (+2 lines)
575	new ContentParserRegistryReader().readRegistry();	575	new ContentParserRegistryReader().readRegistry();
576	new ContentHandlerRegistryReader().readRegistry();	576	new ContentHandlerRegistryReader().readRegistry();
577	new URIMappingRegistryReader().readRegistry();	577	new URIMappingRegistryReader().readRegistry();
		578	new ConstraintsDelegatorFactoryRegistryReader().readRegistry();
578	}	579	}
579	}	580	}
580		581
Lines 631-634 Link Here
631	public static final String SCHEME_PARSER_PPID = "scheme_parser";	632	public static final String SCHEME_PARSER_PPID = "scheme_parser";
632	public static final String URI_MAPPING_PPID = "uri_mapping";	633	public static final String URI_MAPPING_PPID = "uri_mapping";
633	public static final String PACKAGE_REGISTRY_IMPLEMENTATION_PPID = "package_registry_implementation";	634	public static final String PACKAGE_REGISTRY_IMPLEMENTATION_PPID = "package_registry_implementation";
		635	public static final String CONSTRAINTS_DELEGATOR_FACTORY = "constraints_delegator_regstry";
634	}	636	}




 */
package org.eclipse.emf.ecore.util;


import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
import java.util.HashMap;
import java.util.Iterator;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Map;


import org.eclipse.emf.ecore.EValidator;

import org.eclipse.emf.ecore.EAnnotation;
import org.eclipse.emf.ecore.EAttribute;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.EClass;


import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.ecore.resource.ResourceSet;
import org.eclipse.emf.ecore.util.ConstraintsDelegator.Factory;

import org.eclipse.emf.ecore.xml.type.util.XMLTypeUtil;


 */
public class EObjectValidator implements EValidator
{
  private static final String USER_CONSTRAINT_VALIDATION_EANNOTATION_FACTORY = "factory";

  private static final String USER_CONSTRAINT_VALIDATION_EANNOTATION_CONSTRAINTS = "constraints";

  private static final String USER_CONSTRAINT_VALIDATION_EANNOTATION_ECORE = "Ecore";

  public static final EObjectValidator INSTANCE = new EObjectValidator();

  public static final String DIAGNOSTIC_SOURCE = "org.eclipse.emf.ecore";

  public static final int EOBJECT__UNIQUE_ID = 12;
  public static final int EOBJECT__EVERY_KEY_UNIQUE = 13;
  public static final int EOBJECT__EVERY_MAP_ENTRY_UNIQUE = 14;

  static final int EOBJECT_DIAGNOSTIC_CODE_COUNT = EOBJECT__EVERY_MAP_ENTRY_UNIQUE;

  /**

    else
    {
      List<EClass> eSuperTypes = eClass.getESuperTypes();
      return eSuperTypes.isEmpty() ? validate_EveryDefaultConstraint(eObject, diagnostics, context) : validate(
        eSuperTypes.get(0),
        eObject,
        diagnostics,
        context);
    }
  }


    {
      result &= validate_EveryMapEntryUnique(object, theDiagnostics, context);
    }
    // ADDS FOR MANAGING USER CONSTRAINTS
    if (result || theDiagnostics != null)
    {
      result &= validate_UserConstraints(object, theDiagnostics, context);
    }
    return result;
  }

  /**
   * @since 2.5
   * @param object
   * @param theDiagnostics
   * @param context
   * @return
   */
  protected boolean validate_UserConstraints(EObject object, DiagnosticChain theDiagnostics, Map<Object, Object> context)
  {
    EClass theclass = object.eClass();
    Collection<EAnnotation> annotations = theclass.getEAnnotations();
    Collection<String> constraints = new LinkedList<String>();
    String factoryName = "";
    String keyName = "";
    boolean result = true;
    for (EAnnotation e : annotations)
    {
      if (USER_CONSTRAINT_VALIDATION_EANNOTATION_ECORE.equals(e.getSource()))
      {
        if (e.getDetails().containsKey(USER_CONSTRAINT_VALIDATION_EANNOTATION_CONSTRAINTS))
        {
          String strConstraints = e.getDetails().get(USER_CONSTRAINT_VALIDATION_EANNOTATION_CONSTRAINTS);

          String[] stringSplited = strConstraints.split(" ");
          Collections.addAll(constraints, stringSplited);
          if (stringSplited != null && stringSplited.length > 0)
          {
            if (e.getDetails().containsKey(USER_CONSTRAINT_VALIDATION_EANNOTATION_FACTORY))
            {
              String strFactory = e.getDetails().get(USER_CONSTRAINT_VALIDATION_EANNOTATION_FACTORY);
              String[] strs = strFactory.split("#");
              if (strs != null && strs.length == 2)
              {
                factoryName = strs[0];
                keyName = strs[1];
              }
              else
              {
                factoryName = strFactory;
                keyName = strFactory;
              }
            }
          }
          break;
        }
      }
    }
    if (constraints.size() > 0 && keyName.length() > 0 && factoryName.length() > 0)
    {
      for (String currentConstraint : constraints)
      {
        for (EAnnotation e : annotations)
        {
          if (keyName.equals(e.getSource()))
          {
            if (e.getDetails().containsKey(currentConstraint))
            {
              String rule = e.getDetails().get(currentConstraint);
              Factory factory = ConstraintsDelegator.Factory.Registry.INSTANCE.getFactory(factoryName);
              if (factory != null)
              {
                ConstraintsDelegator constraintDelegator = factory.createConstraintDelegator();
                if (constraintDelegator != null)
                {
                  result &= constraintDelegator.validate(rule, object, theDiagnostics, context);
                }
              }
            }
          }
        }
      }
    }
    return result;
  }


    }
    return result;
  }

  protected boolean validate_MultiplicityConforms(
    EObject eObject,
    EStructuralFeature eStructuralFeature,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    boolean result = true;
    if (eStructuralFeature.isMany())

      int lowerBound = eStructuralFeature.getLowerBound();
      if (lowerBound > 0)
      {
        int size = ((List< ? >)eObject.eGet(eStructuralFeature)).size();
        if (size < lowerBound)
        {
          result = false;
          if (diagnostics != null)
          {
            diagnostics.add(createDiagnostic(
              Diagnostic.ERROR,
              DIAGNOSTIC_SOURCE,
              EOBJECT__EVERY_MULTIPCITY_CONFORMS,
              "_UI_FeatureHasTooFewValues_diagnostic",
              new Object []{ getFeatureLabel(eStructuralFeature, context), getObjectLabel(eObject, context), size, lowerBound },
              new Object []{ eObject, eStructuralFeature },
              context));
                    getFeatureLabel(eStructuralFeature, context),
                    getObjectLabel(eObject, context),
                    size,
                    lowerBound
                  },
                 new Object [] { eObject, eStructuralFeature },
                 context));
          }
        }
        int upperBound = eStructuralFeature.getUpperBound();

          result = false;
          if (diagnostics != null)
          {
            diagnostics.add(createDiagnostic(
              Diagnostic.ERROR,
              DIAGNOSTIC_SOURCE,
              EOBJECT__EVERY_MULTIPCITY_CONFORMS,
              "_UI_FeatureHasTooManyValues_diagnostic",
              new Object []{
                getFeatureLabel(eStructuralFeature, context),
                getObjectLabel(eObject, context),
                new Integer(size),
                new Integer(upperBound) },
              new Object []{ eObject, eStructuralFeature },
              context));
                 },
                 new Object [] { eObject, eStructuralFeature },
                 context));
          }
        }
      }

        int upperBound = eStructuralFeature.getUpperBound();
        if (upperBound > 0)
        {
          int size = ((List< ? >)eObject.eGet(eStructuralFeature)).size();
          if (size > upperBound)
          {
            result = false;
            if (diagnostics != null)
            {
              diagnostics.add(createDiagnostic(
                Diagnostic.ERROR,
                DIAGNOSTIC_SOURCE,
                EOBJECT__EVERY_MULTIPCITY_CONFORMS,
                "_UI_FeatureHasTooManyValues_diagnostic",
                new Object []{
                  getFeatureLabel(eStructuralFeature, context),
                  getObjectLabel(eObject, context),
                  new Integer(size),
                  new Integer(upperBound) },
                new Object []{ eObject, eStructuralFeature },
                context));
                   },
                   new Object [] { eObject, eStructuralFeature },
                   context));
            }
          }
        }

        result = false;
        if (diagnostics != null)
        {
          diagnostics.add(createDiagnostic(
            Diagnostic.ERROR,
            DIAGNOSTIC_SOURCE,
            EOBJECT__EVERY_MULTIPCITY_CONFORMS,
            "_UI_RequiredFeatureMustBeSet_diagnostic",
            new Object []{ getFeatureLabel(eStructuralFeature, context), getObjectLabel(eObject, context) },
            new Object []{ eObject, eStructuralFeature },
            context));
               context));
        }
      }
    }

  public boolean validate_EveryProxyResolves(EObject eObject, DiagnosticChain diagnostics, Map<Object, Object> context)
  {
    boolean result = true;
    for (EContentsEList.FeatureIterator<EObject> i = (EContentsEList.FeatureIterator<EObject>)eObject.eCrossReferences().iterator(); i.hasNext();)
    {
      EObject eCrossReferenceObject = i.next();
      if (eCrossReferenceObject.eIsProxy())

        result = false;
        if (diagnostics != null)
        {
          diagnostics.add(createDiagnostic(
            Diagnostic.ERROR,
            DIAGNOSTIC_SOURCE,
            EOBJECT__EVERY_PROXY_RESOLVES,
            "_UI_UnresolvedProxy_diagnostic",
            new Object []{
              getFeatureLabel(i.feature(), context),
              getObjectLabel(eObject, context),
              getObjectLabel(eCrossReferenceObject, context) },
            new Object []{ eObject, i.feature(), eCrossReferenceObject },
            context));
               },
               new Object [] { eObject, i.feature(), eCrossReferenceObject },
               context));
        }
        else
        {

    boolean result = true;
    if (eObject.eResource() != null)
    {
      for (EContentsEList.FeatureIterator<EObject> i = (EContentsEList.FeatureIterator<EObject>)eObject.eCrossReferences().iterator(); i.hasNext();)
      {
        EObject eCrossReferenceObject = i.next();
        if (eCrossReferenceObject.eResource() == null && !eCrossReferenceObject.eIsProxy() && !i.feature().isTransient())

          result = false;
          if (diagnostics != null)
          {
            diagnostics.add(createDiagnostic(
              Diagnostic.ERROR,
              DIAGNOSTIC_SOURCE,
              EOBJECT__EVERY_REFERENCE_IS_CONTAINED,
              "_UI_DanglingReference_diagnostic",
              new Object []{
                getFeatureLabel(i.feature(), context),
                getObjectLabel(eObject, context),
                getObjectLabel(eCrossReferenceObject, context) },
              new Object []{ eObject, i.feature(), eCrossReferenceObject },
              context));
                 },
                 new Object [] { eObject, i.feature(), eCrossReferenceObject },
                 context));
          }
          else
          {

    return result;
  }

  protected boolean validate_DataValueConforms(
    EObject eObject,
    EAttribute eAttribute,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    if (!eObject.eIsSet(eAttribute))
    {

    Object value = eObject.eGet(eAttribute);
    if (FeatureMapUtil.isFeatureMap(eAttribute))
    {
      @SuppressWarnings("unchecked")
      Collection<FeatureMap.Entry> featureMap = (Collection<FeatureMap.Entry>)value;
      EClass eClass = eObject.eClass();
      Map<EStructuralFeature, DiagnosticChain> entryFeatureToDiagnosticChainMap = null;
      for (Iterator<FeatureMap.Entry> i = featureMap.iterator(); i.hasNext() && (result || diagnostics != null);)
      {
        FeatureMap.Entry entry = i.next();
        EStructuralFeature entryFeature = entry.getEStructuralFeature();
        if (entryFeature instanceof EAttribute && ExtendedMetaData.INSTANCE.getAffiliation(eClass, entryFeature) == eAttribute)
              ExtendedMetaData.INSTANCE.getAffiliation(eClass, entryFeature) == eAttribute)
        {
          EDataType entryType = (EDataType)entryFeature.getEType();
          Object entryValue = entry.getValue();

    }
    else if (eAttribute.isMany())
    {
      for (Iterator< ? > i = ((List< ? >)value).iterator(); i.hasNext() && result;)
      {
        result &= rootValidator.validate(eDataType, i.next(), null, context);
      }

      if (!result && diagnostics != null)
      {
        DiagnosticChain diagnostic = createBadDataValueDiagnostic(eObject, eAttribute, diagnostics, context);
        for (Iterator< ? > i = ((List< ? >)value).iterator(); i.hasNext();)
        {
          rootValidator.validate(eDataType, i.next(), diagnostic, context);
        }

    return result;
  }

  protected DiagnosticChain createBadDataValueDiagnostic(
    EObject eObject,
    EAttribute eAttribute,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    BasicDiagnostic diagnostic = createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      EOBJECT__EVERY_DATA_VALUE_CONFORMS,
      "_UI_BadDataValue_diagnostic",
      new Object []{ getFeatureLabel(eAttribute, context), getObjectLabel(eObject, context) },
      new Object []{ eObject, eAttribute },
      context);
         new Object [] { eObject, eAttribute },
         context);
    diagnostics.add(diagnostic);
    return diagnostic;
  }

  protected boolean validatePattern(
    EDataType eDataType,
    Object value,
    PatternMatcher[][] patterns,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    String literal = EcoreUtil.convertToString(eDataType, value);
    for (int i = 0; i < patterns.length; ++i)
    {
      PatternMatcher[] children = patterns[i];
      boolean matches = false;
      for (int j = 0; j < children.length; ++j)
      {

  public class DynamicEDataTypeValidator
  {
    protected List<Object> effectiveEnumeration;
    protected PatternMatcher[][] effectivePattern;
    protected int effectiveTotalDigits = -1;
    protected int effectiveFractionDigits = -1;
    protected int effectiveMinLength = -1;

          {
            patterns = new ArrayList<PatternMatcher[]>();
          }
          PatternMatcher[] children = new PatternMatcher [pattern.size()];
          patterns.add(children);
          for (ListIterator<String> i = pattern.listIterator(); i.hasNext();)
          {
            PatternMatcher patternMatcher = XMLTypeUtil.createPatternMatcher(i.next());
            children[i.previousIndex()] = patternMatcher;


      if (patterns != null)
      {
        effectivePattern = new PatternMatcher [patterns.size()] [];
        patterns.toArray(effectivePattern);
      }


        {
          digits.append("0");
        }

        try
        {
          Object lowerBound = EcoreUtil.createFromString(eDataType, "-" + digits.toString());
          @SuppressWarnings("unchecked")
          boolean lowerBounded = effectiveMin == null
            || (effectiveMinIsInclusive
              ? ((Comparable<Object>)effectiveMin).compareTo(lowerBound) <= 0
              : ((Comparable<Object>)effectiveMin).compareTo(lowerBound) < 0);
          if (lowerBounded)
          {
            effectiveMinIsInclusive = false;

            effectiveTotalDigitsMin = effectiveTotalDigits;
          }
        }
        catch (NumberFormatException exception)
        {
          // Ignore the bound if the value is too big.
        }

        try
        {
          Object upperBound = EcoreUtil.createFromString(eDataType, digits.toString());
          @SuppressWarnings("unchecked")
          boolean upperBounded = effectiveMax == null
            || (effectiveMaxIsInclusive
              ? ((Comparable<Object>)effectiveMax).compareTo(upperBound) >= 0
              : ((Comparable<Object>)effectiveMax).compareTo(upperBound) > 0);
          if (upperBounded)
          {
            effectiveMaxIsInclusive = false;

            effectiveTotalDigitsMax = effectiveTotalDigits;
          }
        }
        catch (NumberFormatException exception)
        {
          // Ignore the bound if the value is too big.
        }

      {
        if (!effectiveEnumeration.contains(value))
        {
          if (diagnostics != null)
            reportEnumerationViolation(eDataType, value, effectiveEnumeration, diagnostics, context);
          result = false;
        }
      }


      if (effectiveMin != null)
      {
        @SuppressWarnings("unchecked")
        Comparable<Object> comparableObject = (Comparable<Object>)effectiveMin;
        if (effectiveMinIsInclusive ? comparableObject.compareTo(value) > 0 : comparableObject.compareTo(value) >= 0)
              comparableObject.compareTo(value) >= 0)
        {
          if (diagnostics != null)
          {


      if (effectiveMax != null)
      {
        @SuppressWarnings("unchecked")
        Comparable<Object> comparableObject = (Comparable<Object>)effectiveMax;
        if (effectiveMaxIsInclusive ? comparableObject.compareTo(value) < 0 : comparableObject.compareTo(value) <= 0)
              comparableObject.compareTo(value) <= 0)
        {
          if (diagnostics != null)
          {


      if (effectiveMinLength != -1)
      {
        int length = value instanceof String ? ((String)value).length() : value instanceof Collection
          ? ((Collection< ? >)value).size() : Array.getLength(value);
            ((String)value).length() :
             value instanceof Collection ?
               ((Collection<?>)value).size() :
               Array.getLength(value);
        if (length < effectiveMinLength)
        {
          if (diagnostics != null)
            reportMinLengthViolation(eDataType, value, length, effectiveMinLength, diagnostics, context);
          result = false;
        }
      }

      if (effectiveMaxLength != -1)
      {
        int length = value instanceof String ? ((String)value).length() : value instanceof Collection
          ? ((Collection< ? >)value).size() : Array.getLength(value);
            ((String)value).length() :
             value instanceof Collection ?
               ((Collection<?>)value).size() :
               Array.getLength(value);
        if (length > effectiveMaxLength)
        {
          if (diagnostics != null)
            reportMaxLengthViolation(eDataType, value, length, effectiveMaxLength, diagnostics, context);
          result = false;
        }
      }

      {
        if (value instanceof BigDecimal && ((BigDecimal)value).unscaledValue().abs().toString().length() > effectiveTotalDigits)
        {
          if (diagnostics != null)
            reportTotalDigitsViolation(eDataType, value, effectiveTotalDigits, diagnostics, context);
          result = false;
        }
      }

      {
        if (value instanceof BigDecimal && ((BigDecimal)value).scale() > effectiveFractionDigits)
        {
          if (diagnostics != null)
            reportFractionDigitsViolation(eDataType, value, effectiveFractionDigits, diagnostics, context);
          result = false;
        }
      }

      if (itemType != null)
      {
        EValidator rootValidator = getRootEValidator(context);
        for (Iterator< ? > i = ((List< ? >)value).iterator(); i.hasNext() && (result || diagnostics != null);)
        {
          result &= rootValidator.validate(itemType, i.next(), diagnostics, context);
        }

      else if (!memberTypes.isEmpty())
      {
        EValidator rootValidator = getRootEValidator(context);

        for (EDataType memberType : memberTypes)
        {
          if (rootValidator.validate(memberType, value, null, context))

      }
      else
      {
        if (diagnostics != null)
          reportDataValueTypeViolation(eDataType, value, diagnostics, context);
        return false;
      }
    }

    }
    else
    {
      return new DynamicEDataTypeValidator(eDataType)
        new DynamicEDataTypeValidator(eDataType)
        {
          // Ensure that the class loader for this class will be used downstream.
          //

    }
  }

  protected void reportMinViolation(
    EDataType eDataType,
    Object value,
    Object bound,
    boolean isInclusive,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, DATA_VALUE__VALUE_IN_RANGE, isInclusive
      ? "_UI_MinInclusiveConstraint_diagnostic" : "_UI_MinExclusiveConstraint_diagnostic", new Object []{
      getValueLabel(eDataType, value, context),
      isInclusive ? ">=" : ">",
      getValueLabel(eDataType, bound, context) }, new Object []{ value, bound, isInclusive ? Boolean.TRUE : Boolean.FALSE }, context));
  }

  protected void reportMaxViolation(
    EDataType eDataType,
    Object value,
    Object bound,
    boolean isInclusive,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, DATA_VALUE__VALUE_IN_RANGE, isInclusive
      ? "_UI_MaxInclusiveConstraint_diagnostic" : "_UI_MaxExclusiveConstraint_diagnostic", new Object []{
      getValueLabel(eDataType, value, context),
      "<",
      getValueLabel(eDataType, bound, context) }, new Object []{ value, bound, isInclusive ? Boolean.TRUE : Boolean.FALSE }, context));
  }

  protected void reportMinLengthViolation(
    EDataType eDataType,
    Object value,
    int length,
    int bound,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__LENGTH_IN_RANGE,
      "_UI_MinLengthConstraint_diagnostic",
      new Object []{ getValueLabel(eDataType, value, context), Integer.toString(length), Integer.toString(bound) },
      new Object []{ value, eDataType, length, bound },
      context));
  }

  protected void reportMaxLengthViolation(
    EDataType eDataType,
    Object value,
    int length,
    int bound,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__LENGTH_IN_RANGE,
      "_UI_MaxLengthConstraint_diagnostic",
      new Object []{ getValueLabel(eDataType, value, context), Integer.toString(length), Integer.toString(bound) },
      new Object []{ value, eDataType, length, bound },
      context));
  }

  protected void reportTotalDigitsViolation(
    EDataType eDataType,
    Object value,
    int totalDigits,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__TOTAL_DIGITS_IN_RANGE,
      "_UI_TotalDigitsConstraint_diagnostic",
      new Object []{ getValueLabel(eDataType, value, context), totalDigits },
      new Object []{ value, eDataType, totalDigits },
      context));
  }

  protected void reportFractionDigitsViolation(
    EDataType eDataType,
    Object value,
    int fractionDigits,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__TOTAL_DIGITS_IN_RANGE,
      "_UI_FractionDigitsConstraint_diagnostic",
      new Object []{ getValueLabel(eDataType, value, context), fractionDigits },
      new Object []{ value, eDataType, fractionDigits },
      context));
  }

  protected void reportEnumerationViolation(
    EDataType eDataType,
    Object value,
    Collection< ? > values,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
           fractionDigits
         },
         new Object [] { value, eDataType, fractionDigits },
         context));
  }

  protected void reportEnumerationViolation
    (EDataType eDataType, Object value, Collection<?> values, DiagnosticChain diagnostics, Map<Object, Object> context)
  {
    String valueLiterals = "";
    Iterator< ? > i = values.iterator();
    if (i.hasNext())
    {
      valueLiterals = getEcoreResourceLocator().getString(
        "_UI_ListHead_composition",
        new Object []{ getValueLabel(eDataType, i.next(), context) });
      while (i.hasNext())
      {
        valueLiterals = getEcoreResourceLocator().getString(
          "_UI_ListTail_composition",
          new Object []{ valueLiterals, getValueLabel(eDataType, i.next(), context) });
      }
    }
    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__VALUE_IN_ENUMERATION,
      "_UI_EnumerationConstraint_diagnostic",
      new Object []{ getValueLabel(eDataType, value, context), valueLiterals },
      new Object []{ value, eDataType, values },
      context));
  }

  protected void reportDataValuePatternViolation(
    EDataType eDataType,
    Object value,
    PatternMatcher[] patterns,
    DiagnosticChain diagnostics,
    Map<Object, Object> context)
  protected void reportDataValuePatternViolation
    (EDataType eDataType, Object value, PatternMatcher [] patterns, DiagnosticChain diagnostics, Map<Object, Object> context)
  {
    String patternLiterals = "";
    if (patterns.length > 0)
    {
      patternLiterals = getEcoreResourceLocator().getString("_UI_ListHead_composition", new Object []{ patterns[0] });
      for (int i = 1; i < patterns.length; ++i)
      {
        patternLiterals = getEcoreResourceLocator().getString("_UI_ListTail_composition", new Object []{ patternLiterals, patterns[i] });
      }
    }

    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__MATCHES_PATTERN,
      "_UI_PatternConstraint_diagnostic",
      new Object []{ getValueLabel(eDataType, value, context), patternLiterals },
      new Object []{ value, eDataType, patterns },
      context));
  }

  protected void reportDataValueTypeViolation(EDataType eDataType, Object value, DiagnosticChain diagnostics, Map<Object, Object> context)
  {
    diagnostics.add(createDiagnostic(
      Diagnostic.ERROR,
      DIAGNOSTIC_SOURCE,
      DATA_VALUE__TYPE_CORRECT,
      "_UI_BadDataValueType_diagnostic",
      new Object []{
        getValueLabel(eDataType, value, context),
        value == null ? "<null>" : value.getClass().getName(),
        eDataType.getInstanceClass().getName() },
      new Object []{ value, eDataType },
      context));
         "_UI_BadDataValueType_diagnostic",
         new Object []
         {
           getValueLabel(eDataType, value, context),
           value == null ? "<null>" : value.getClass().getName(),
           eDataType.getInstanceClass().getName()
         },
         new Object [] { value, eDataType },
         context));
  }

  protected static Collection<Object> wrapEnumerationValues(Object[] values)
  {
    return java.util.Arrays.asList(values);
  }

  /**
   * @since 2.2
   */

        if (eObject != otherEObject && otherEObject != null)
        {
          // ...
          diagnostics.add(createDiagnostic(
            Diagnostic.ERROR,
            DIAGNOSTIC_SOURCE,
            EOBJECT__UNIQUE_ID,
            "_UI_DuplicateID_diagnostic",
            new Object []{ id, getObjectLabel(eObject, context), getObjectLabel(otherEObject, context) },
            new Object []{ eObject, otherEObject, id },
            context));
                 id,
                 getObjectLabel(eObject, context),
                 getObjectLabel(otherEObject, context)
               },
               new Object [] { eObject, otherEObject, id },
               context));
        }
      }
    }

    }
    return result;
  }

  /**
   * @since 2.3
   * @param eObject

   * @param context
   * @return whether every key is unique.
   */
  protected boolean validate_KeyUnique(EObject eObject, EReference eReference, DiagnosticChain diagnostics, Map<Object, Object> context)
    (EObject eObject, EReference eReference, DiagnosticChain diagnostics, Map<Object, Object> context)
  {
    boolean result = true;
    Map<List<Object>, EObject> keys = new HashMap<List<Object>, EObject>();
    EAttribute[] eAttributes = (EAttribute[])((BasicEList< ? >)eReference.getEKeys()).data();
    @SuppressWarnings("unchecked")
    List<EObject> values = (List<EObject>)eObject.eGet(eReference);
    for (EObject value : values)
    {
      ArrayList<Object> key = new ArrayList<Object>();
      for (int i = 0, size = eAttributes.length; i < size; ++i)
      {
        EAttribute eAttribute = eAttributes[i];

        {
          break;
        }
        else
        {
          key.add(value.eGet(eAttribute));
        }

          {
            uriFragmentSegment = uriFragmentSegment.substring(index);
          }
          diagnostics.add(createDiagnostic(
            Diagnostic.ERROR,
            DIAGNOSTIC_SOURCE,
            EOBJECT__EVERY_KEY_UNIQUE,
            "_UI_DuplicateKey_diagnostic",
            new Object []{
              getFeatureLabel(eReference, context),
              uriFragmentSegment,
              getObjectLabel(value, context),
              getObjectLabel(otherValue, context) },
            new Object []{ eObject, eReference, value, otherValue },
            context));
               },
               new Object [] { eObject, eReference, value, otherValue },
               context));
        }
      }
    }

   * @param context
   * @return whether every map entry is unique.
   */
  protected boolean validate_MapEntryUnique(EObject eObject, EReference eReference, DiagnosticChain diagnostics, Map<Object, Object> context)
    (EObject eObject, EReference eReference, DiagnosticChain diagnostics, Map<Object, Object> context)
  {
    boolean result = true;
    Object value = eObject.eGet(eReference);
    if (value instanceof EMap)
    {
      EMap< ? , ? > eMap = (EMap< ? , ? >)value;
      for (int i = 0, size = eMap.size(); i < size; ++i)
      {
        Map.Entry< ? , ? > entry = eMap.get(i);
        Object key = entry.getKey();
        int index = eMap.indexOfKey(key);
        if (index != i)
        {
          result = false;

          }
          else
          {
            diagnostics.add(createDiagnostic(
              Diagnostic.ERROR,
              DIAGNOSTIC_SOURCE,
              EOBJECT__EVERY_MAP_ENTRY_UNIQUE,
              "_UI_DuplicateMapEntry_diagnostic",
              new Object []{ getFeatureLabel(eReference, context), i, index },
              new Object []{ eObject, eReference, entry, eMap.get(index) },
              context));
                   getFeatureLabel(eReference, context),
                   i,
                   index
                 },
                 new Object [] { eObject, eReference, entry, eMap.get(index) },
                 context));
          }
        }
      }

   * @see BasicDiagnostic#BasicDiagnostic(int, String, int, String, Object[])
   * @since 2.4
   */
  protected BasicDiagnostic createDiagnostic(
    int severity,
    String source,
    int code,
    String messageKey,
    Object[] messageSubstitutions,
    Object[] data,
    Map<Object, Object> context)
  {
    String message = DIAGNOSTIC_SOURCE.equals(source) ? getEcoreString(messageKey, messageSubstitutions) : getString(
      messageKey,
      messageSubstitutions);
    return new BasicDiagnostic(severity, source, code, message, data);
  }


   * @return the message.
   * @since 2.4
   */
  protected String getEcoreString(String key, Object[] substitutions)
  {
    return getString(getEcoreResourceLocator(), key, substitutions);
  }

   * @return the message.
   * @since 2.4
   */
  protected String getString(String key, Object[] substitutions)
  {
    return getString("_UI_GenericConstraint_diagnostic".equals(key) ? getEcoreResourceLocator() : getResourceLocator(), key, substitutions);
  }

    return getEcoreResourceLocator();
  }

  private String getString(ResourceLocator resourceLocator, String key, Object[] substitutions)
  {
    return substitutions == null ? resourceLocator.getString(key) : resourceLocator.getString(key, substitutions);
  }




/**
 * <copyright>
 *
 * Copyright (c) 2005 IBM Corporation and others.
 * All rights reserved.   This program and the accompanying materials
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors: 
 *   IBM - Initial API and implementation
 *
 * </copyright>
 *
 * $Id: EMF_codetemplates.xml,v 1.1 2008/05/06 20:12:20 nickb Exp $
 */
package org.eclipse.emf.ecore.plugin;

import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IConfigurationElement;
import org.eclipse.core.runtime.Platform;
import org.eclipse.emf.common.util.WrappedException;
import org.eclipse.emf.ecore.util.ConstraintsDelegator;
import org.eclipse.emf.ecore.util.ConstraintsDelegator.Factory;

/**
 * A plugin extension reader that populates the
 * {@link org.eclipse.emf.ecore.util.ConstraintsDelegator.Factory.Registry#INSTANCE global} resource factory's
 * Clients are not expected to use this class directly.
 */
public class ConstraintsDelegatorFactoryRegistryReader extends RegistryReader
{
  static final String TAG_FACTORY = "factory";
  static final String ATT_URI = "uri";
  static final String ATT_CLASS = "class";
  
  public ConstraintsDelegatorFactoryRegistryReader()
  {
    super
    (Platform.getExtensionRegistry(),
     EcorePlugin.getPlugin().getBundle().getSymbolicName(), 
     EcorePlugin.CONSTRAINTS_DELEGATOR_FACTORY);
  }
  
  @Override
  protected boolean readElement(IConfigurationElement element, boolean add)
  {
    if (element.getName().equals(TAG_FACTORY))
    {
      String packageURI = element.getAttribute(ATT_URI);
      if (packageURI == null)
      {
        logMissingAttribute(element, ATT_URI);
      }
      else if (element.getAttribute(ATT_CLASS) == null)
      {
        logMissingAttribute(element, ATT_CLASS);
      }
      else
      {
        try
        {
          Object o = element.createExecutableExtension(ATT_CLASS);
          if (o instanceof ConstraintsDelegator.Factory)
          {
            Factory tmp = ConstraintsDelegator.Factory.Registry.INSTANCE.getFactory(packageURI);
            if (tmp != null)
            {
              EcorePlugin.INSTANCE.log
              ("factory '" + o.getClass().getName() + "'tries to override '" + packageURI + "' instead of factor '" + tmp.getClass().getName()+"'");
            }
            else 
            {
              ConstraintsDelegator.Factory.Registry.INSTANCE.putFactory(packageURI, (Factory)o);
            }
          }
          return true;
        }
        catch (CoreException e)
        {
          throw new WrappedException(e);
        }
      }
    }
    return false;
  }
}




/**
 * <copyright>
 *
 * Copyright (c) 2005 IBM Corporation and others.
 * All rights reserved.   This program and the accompanying materials
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors: 
 *   IBM - Initial API and implementation
 *
 * </copyright>
 *
 * $Id: ConstraintsDelegator.java,v 1.0 2008/11/19 16:37:42 tfaure Exp $
 */
package org.eclipse.emf.ecore.util;

import java.util.HashMap;
import java.util.Map;

import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.emf.ecore.EObject;


/**
 * An interface to validate a constraint
 * The only method to implement is {@link #validate(String, EObject, DiagnosticChain, Map)
 * To add a factory please see extension point : constraints_delegator_regstry
 */
public interface ConstraintsDelegator
{
  interface Factory
  {
    interface Registry
    {
      Registry INSTANCE = new Impl();

      /**
       * Returns the factory identified by the key
       * @param key the factory id
       * @return the factory or null if it doesn't exist
       */
      Factory getFactory(String key);

      /**
       * Registers a factory and associates it to an id
       * @param key the id
       * @param value the factory
       */
      void putFactory(String key, Factory value);

      class Impl extends HashMap<String, Factory> implements Registry
      {
        private static final long serialVersionUID = 1L;

        public Factory getFactory(String key)
        {
          return get(key);
        }

        public void putFactory(String key, Factory value)
        {
          put(key, value);
        }
      }
    }

    /**
     * Create a constraint delegator which is able to check a constraint
     * @return the constraint Delegator
     */
    ConstraintsDelegator createConstraintDelegator();
  }

  /**
   * Validate a constraint and add to the diagnostic chain the evaluation's diagnostic
   * @param value the expression to manage
   * @param object the current EObject
   * @param theDiagnostics the diagnostic's chain
   * @param context the context of the current validation
   * @return true if it's OK else false
   */
  boolean validate(String value, EObject object, DiagnosticChain theDiagnostics, Map<Object, Object> context);
}

Return to bug 255786

Added Link Here

(-)src/org/eclipse/emf/ecore/plugin/ConstraintsDelegatorFactoryRegistryReader.java (+87 lines)
1	/**
2	* <copyright>
3	*
4	* Copyright (c) 2005 IBM Corporation and others.
5	* All rights reserved. This program and the accompanying materials
6	* are made available under the terms of the Common Public License v1.0
7	* which accompanies this distribution, and is available at
8	* http://www.eclipse.org/legal/cpl-v10.html
9	*
10	* Contributors:
11	* IBM - Initial API and implementation
12	*
13	* </copyright>
14	*
15	* $Id: EMF_codetemplates.xml,v 1.1 2008/05/06 20:12:20 nickb Exp $
16	*/
17	package org.eclipse.emf.ecore.plugin;
18
19	import org.eclipse.core.runtime.CoreException;
20	import org.eclipse.core.runtime.IConfigurationElement;
21	import org.eclipse.core.runtime.Platform;
22	import org.eclipse.emf.common.util.WrappedException;
23	import org.eclipse.emf.ecore.util.ConstraintsDelegator;
24	import org.eclipse.emf.ecore.util.ConstraintsDelegator.Factory;
25
26	/**
27	* A plugin extension reader that populates the
28	* {@link org.eclipse.emf.ecore.util.ConstraintsDelegator.Factory.Registry#INSTANCE global} resource factory's
29	* Clients are not expected to use this class directly.
30	*/
31	public class ConstraintsDelegatorFactoryRegistryReader extends RegistryReader
32	{
33	static final String TAG_FACTORY = "factory";
34	static final String ATT_URI = "uri";
35	static final String ATT_CLASS = "class";
36
37	public ConstraintsDelegatorFactoryRegistryReader()
38	{
39	super
40	(Platform.getExtensionRegistry(),
41	EcorePlugin.getPlugin().getBundle().getSymbolicName(),
42	EcorePlugin.CONSTRAINTS_DELEGATOR_FACTORY);
43	}
44
45	@Override
46	protected boolean readElement(IConfigurationElement element, boolean add)
47	{
48	if (element.getName().equals(TAG_FACTORY))
49	{
50	String packageURI = element.getAttribute(ATT_URI);
51	if (packageURI == null)
52	{
53	logMissingAttribute(element, ATT_URI);
54	}
55	else if (element.getAttribute(ATT_CLASS) == null)
56	{
57	logMissingAttribute(element, ATT_CLASS);
58	}
59	else
60	{
61	try
62	{
63	Object o = element.createExecutableExtension(ATT_CLASS);
64	if (o instanceof ConstraintsDelegator.Factory)
65	{
66	Factory tmp = ConstraintsDelegator.Factory.Registry.INSTANCE.getFactory(packageURI);
67	if (tmp != null)
68	{
69	EcorePlugin.INSTANCE.log
70	("factory '" + o.getClass().getName() + "'tries to override '" + packageURI + "' instead of factor '" + tmp.getClass().getName()+"'");
71	}
72	else
73	{
74	ConstraintsDelegator.Factory.Registry.INSTANCE.putFactory(packageURI, (Factory)o);
75	}
76	}
77	return true;
78	}
79	catch (CoreException e)
80	{
81	throw new WrappedException(e);
82	}
83	}
84	}
85	return false;
86	}
87	}

Added Link Here

(-)src/org/eclipse/emf/ecore/util/ConstraintsDelegator.java (+85 lines)
1	/**
2	* <copyright>
3	*
4	* Copyright (c) 2005 IBM Corporation and others.
5	* All rights reserved. This program and the accompanying materials
6	* are made available under the terms of the Common Public License v1.0
7	* which accompanies this distribution, and is available at
8	* http://www.eclipse.org/legal/cpl-v10.html
9	*
10	* Contributors:
11	* IBM - Initial API and implementation
12	*
13	* </copyright>
14	*
15	* $Id: ConstraintsDelegator.java,v 1.0 2008/11/19 16:37:42 tfaure Exp $
16	*/
17	package org.eclipse.emf.ecore.util;
18
19	import java.util.HashMap;
20	import java.util.Map;
21
22	import org.eclipse.emf.common.util.DiagnosticChain;
23	import org.eclipse.emf.ecore.EObject;
24
25
26	/**
27	* An interface to validate a constraint
28	* The only method to implement is {@link #validate(String, EObject, DiagnosticChain, Map)
29	* To add a factory please see extension point : constraints_delegator_regstry
30	*/
31	public interface ConstraintsDelegator
32	{
33	interface Factory
34	{
35	interface Registry
36	{
37	Registry INSTANCE = new Impl();
38
39	/**
40	* Returns the factory identified by the key
41	* @param key the factory id
42	* @return the factory or null if it doesn't exist
43	*/
44	Factory getFactory(String key);
45
46	/**
47	* Registers a factory and associates it to an id
48	* @param key the id
49	* @param value the factory
50	*/
51	void putFactory(String key, Factory value);
52
53	class Impl extends HashMap<String, Factory> implements Registry
54	{
55	private static final long serialVersionUID = 1L;
56
57	public Factory getFactory(String key)
58	{
59	return get(key);
60	}
61
62	public void putFactory(String key, Factory value)
63	{
64	put(key, value);
65	}
66	}
67	}
68
69	/**
70	* Create a constraint delegator which is able to check a constraint
71	* @return the constraint Delegator
72	*/
73	ConstraintsDelegator createConstraintDelegator();
74	}
75
76	/**
77	* Validate a constraint and add to the diagnostic chain the evaluation's diagnostic
78	* @param value the expression to manage
79	* @param object the current EObject
80	* @param theDiagnostics the diagnostic's chain
81	* @param context the context of the current validation
82	* @return true if it's OK else false
83	*/
84	boolean validate(String value, EObject object, DiagnosticChain theDiagnostics, Map<Object, Object> context);
85	}