// JXML.java
// $Id: JigXML.java,v 1.1 1999/09/20 14:09:28 bmahe Exp $
// (c) COPYRIGHT MIT, INRIA and Keio, 1999.
// Please first read the full copyright statement in file COPYRIGHT.html
package org.w3c.tools.resources.serialization.xml;

/**
 * @version $Revision: 1.1 $
 * @author  Benoît Mahé (bmahe@w3.org)
 */
public interface JigXML {
    
    public final String version = "1.0";

    public final String dtd = "http://jigsaw.w3.org/JigXML/JigXML.dtd";

    public final String ns = "http://jigsaw.w3.org/JigXML/JigXML1.0";

    public final String JXML_TAG = "jigxml";

    public final String RESOURCE_TAG = "resource";

    public final String DESCR_TAG = "description";

    public final String CHILDREN_TAG = "children";

    public final String CHILD_TAG = "child";

    public final String ATTRIBUTE_TAG = "attribute";

    public final String ARRAY_TAG = "array";

    public final String RESARRAY_TAG = "resourcearray";

    public final String INHERIT_TAG = "inherit";

    public final String IMPLEMENTS_TAG = "implements";

    public final String VALUE_TAG = "value";

    public final String LENGTH_ATTR = "length";

    public final String CLASS_ATTR = "class";

    public final String NAME_ATTR = "name";

    public final String FLAG_ATTR = "flag";

    public final String NULL = "@@NULL@@";
}
