/* * @(#)Element.java	1.9 03/12/19 * * Copyright 2004 Sun Microsystems, Inc. All rights reserved. * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms. */package javax.swing.text.html.parser;import java.util.Hashtable;import java.util.BitSet;import java.io.*;/** * An element as described in a DTD using the ELEMENT construct. * This is essentiall the description of a tag. It describes the * type, content model, attributes, attribute types etc. It is used * to correctly parse a document by the Parser. * * @see DTD * @see AttributeList * @version 1.9, 12/19/03 * @author Arthur van Hoff */public finalclass Element implements DTDConstants, Serializable {    public int index;    public String name;    public boolean oStart;    public boolean oEnd;    public BitSet inclusions;    public BitSet exclusions;    public int type = ANY;    public ContentModel content;    public AttributeList atts;    static int maxIndex = 0;    /**     * A field to store user data. Mostly used to store     * style sheets.     */    public Object data;    Element() {    }    /**     * Create a new element.     */    Element(String name, int index) {	this.name = name;	this.index = index;	maxIndex = Math.max(maxIndex, index);    }    /**     * Get the name of the element.     */    public String getName() {	return name;    }    /**     * Return true if the start tag can be omitted.     */    public boolean omitStart() {	return oStart;    }    /**     * Return true if the end tag can be omitted.     */    public boolean omitEnd() {	return oEnd;    }    /**     * Get type.     */    public int getType() {	return type;    }    /**     * Get content model     */    public ContentModel getContent() {	return content;    }    /**     * Get the attributes.     */    public AttributeList getAttributes() {	return atts;    }    /**     * Get index.     */    public int getIndex() {	return index;    }    /**     * Check if empty     */    public boolean isEmpty() {	return type == EMPTY;    }    /**     * Convert to a string.     */    public String toString() {	return name;    }    /**     * Get an attribute by name.     */    public AttributeList getAttribute(String name) {	for (AttributeList a = atts ; a != null ; a = a.next) {	    if (a.name.equals(name)) {		return a;	    }	}	return null;    }    /**     * Get an attribute by value.     */    public AttributeList getAttributeByValue(String name) {	for (AttributeList a = atts ; a != null ; a = a.next) {	    if ((a.values != null) && a.values.contains(name)) {		return a;	    }	}	return null;    }    static Hashtable contentTypes = new Hashtable();    static {	contentTypes.put("CDATA", new Integer(CDATA));	contentTypes.put("RCDATA", new Integer(RCDATA));	contentTypes.put("EMPTY", new Integer(EMPTY));	contentTypes.put("ANY", new Integer(ANY));    }    public static int name2type(String nm) {	Integer val = (Integer)contentTypes.get(nm);	return (val != null) ? val.intValue() : 0;    }}