com.thaiopensource.relaxng.impl.IdSoundnessChecker Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of jing Show documentation
A branch of Jing used by the Nu Html Checker. (Jing is a tool for validating documents against RelaxNG schemas.)
The newest version!
package com.thaiopensource.relaxng.impl;

import com.thaiopensource.validate.Validator;
import com.thaiopensource.xml.util.Name;
import com.thaiopensource.xml.util.StringSplitter;
import org.relaxng.datatype.Datatype;
import org.xml.sax.Attributes;
import org.xml.sax.ContentHandler;
import org.xml.sax.DTDHandler;
import org.xml.sax.ErrorHandler;
import org.xml.sax.Locator;
import org.xml.sax.SAXException;
import org.xml.sax.SAXParseException;
import org.xml.sax.helpers.LocatorImpl;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.Iterator;
import java.util.List;
import java.util.Map;

public class IdSoundnessChecker implements Validator, ContentHandler {
  private final IdTypeMap idTypeMap;
  private final ErrorHandler eh;
  private Locator locator;
  private final Map map = new HashMap();

  private static class Entry {
    Locator idLoc;
    List idrefLocs;
    boolean hadId;
  }

  public IdSoundnessChecker(IdTypeMap idTypeMap, ErrorHandler eh) {
    this.idTypeMap = idTypeMap;
    this.eh = eh;
  }

  public void reset() {
    map.clear();
    locator = null;
  }

  public ContentHandler getContentHandler() {
    return this;
  }

  public DTDHandler getDTDHandler() {
    return null;
  }

  public void setDocumentLocator(Locator locator) {
    this.locator = locator;
  }

  public void startDocument() throws SAXException {
  }

  void setComplete() {
  }

  public void endDocument() throws SAXException {
    for (Iterator idIter = map.keySet().iterator(); idIter.hasNext();) {
      String token = (String)idIter.next();
      Entry entry = (Entry)map.get(token);
      if (!entry.hadId) {
        for (Iterator locIter = entry.idrefLocs.iterator(); locIter.hasNext();)
          error("missing_id", token, (Locator)locIter.next());
      }
    }
    setComplete();
  }

  public void startPrefixMapping(String s, String s1) throws SAXException {
  }

  public void endPrefixMapping(String s) throws SAXException {
  }

  public void startElement(String namespaceUri, String localName, String qName, Attributes attributes)
          throws SAXException {
    Name elementName = new Name(namespaceUri, localName);
    int len = attributes.getLength();
    for (int i = 0; i < len; i++) {
      Name attributeName = new Name(attributes.getURI(i), attributes.getLocalName(i));
      int idType = idTypeMap.getIdType(elementName, attributeName);
      if (idType != Datatype.ID_TYPE_NULL) {
        String[] tokens = StringSplitter.split(attributes.getValue(i));
        switch (idType) {
        case Datatype.ID_TYPE_ID:
          if (tokens.length == 1)
            id(tokens[0]);
          else if (tokens.length == 0)
            error("id_no_tokens");
          else
            error("id_multiple_tokens");
          break;
        case Datatype.ID_TYPE_IDREF:
          if (tokens.length == 1)
            idref(tokens[0]);
          else if (tokens.length == 0)
            error("idref_no_tokens");
          else
            error("idref_multiple_tokens");
          break;
        case Datatype.ID_TYPE_IDREFS:
          if (tokens.length > 0) {
            for (int j = 0; j < tokens.length; j++)
              idref(tokens[j]);
          }
          else
            error("idrefs_no_tokens");
          break;
        }
      }
    }
  }

  private void id(String token) throws SAXException {
    Entry entry = (Entry)map.get(token);
    if (entry == null) {
      entry = new Entry();
      map.put(token, entry);
    }
    else if (entry.hadId) {
      error("duplicate_id", token);
      error("first_id", token, entry.idLoc);
      return;
    }
    entry.idLoc = new LocatorImpl(locator);
    entry.hadId = true;
  }

  private void idref(String token) {
    Entry entry = (Entry)map.get(token);
    if (entry == null) {
      entry = new Entry();
      map.put(token, entry);
    }
    if (entry.hadId)
      return;
    if (entry.idrefLocs == null)
      entry.idrefLocs = new ArrayList();
    entry.idrefLocs.add(new LocatorImpl(locator));
  }

  public void endElement(String s, String s1, String s2) throws SAXException {
  }

  public void characters(char[] chars, int i, int i1) throws SAXException {
  }

  public void ignorableWhitespace(char[] chars, int i, int i1) throws SAXException {
  }

  public void processingInstruction(String s, String s1) throws SAXException {
  }

  public void skippedEntity(String s) throws SAXException {
  }

  public void notationDecl(String name,
                           String publicId,
                           String systemId)
          throws SAXException {
  }

  public void unparsedEntityDecl(String name,
                                 String publicId,
                                 String systemId,
                                 String notationName)
          throws SAXException {
  }

  private void error(String key) throws SAXException {
    eh.error(new SAXParseException(SchemaBuilderImpl.localizer.message(key), locator));
  }

  private void error(String key, String arg) throws SAXException {
    eh.error(new SAXParseException(SchemaBuilderImpl.localizer.message(key, arg), locator));
  }

  private void error(String key, String arg, Locator loc) throws SAXException {
    eh.error(new SAXParseException(SchemaBuilderImpl.localizer.message(key, arg),
                                   loc));
  }
}