Alphabet.java

package com.thaiopensource.relaxng.pattern;

class Alphabet {
  private NameClass nameClass;

  boolean isEmpty() {
    return nameClass == null;
  }

  void addElement(NameClass nc) {
    if (nameClass == null)
      nameClass = nc;
    else if (nc != null)
      nameClass = new ChoiceNameClass(nameClass, nc);
  }

  void addAlphabet(Alphabet a) {
    addElement(a.nameClass);
  }

  void checkOverlap(Alphabet a) throws RestrictionViolationException {
    if (nameClass != null && a.nameClass != null)
      OverlapDetector.checkOverlap(nameClass, a.nameClass,
                                   "interleave_element_overlap_name",
                                   "interleave_element_overlap_ns",
                                   "interleave_element_overlap");
  }
}