| java.lang.Object javax.swing.text.html.parser.DTD
All known Subclasses: javax.swing.text.parser.utils.DTDGetter,
Constructor Summary | |
protected | DTD(String name) |
Method Summary | |
protected AttributeList | defAttributeList(String name, int type, int modifier, String value, String values, AttributeList next) | protected ContentModel | defContentModel(int type, Object content, ContentModel next) | protected Element | defElement(String name, int type, boolean oStart, boolean oEnd, ContentModel content, String[] exclusions, String[] inclusions, AttributeList atts) If element exists but doesn't correspond to this parameters, it will be
updated. | protected Entity | defEntity(String name, int type, String str) | public Entity | defEntity(String name, int type, int ch) | public void | defineAttributes(String name, AttributeList atts) Updated attributes of corresponding element, if this one exists. | public Element | defineElement(String name, int type, boolean omitStart, boolean omitEnd, ContentModel contentModel, BitSet exclusions, BitSet inclusions, AttributeList atts) If element exists but doesn't correspond to this parameters, it will be
updated. | public Entity | defineEntity(String name, int type, char[] data) If entity with this name exists, it will not be updated. | public static DTD | getDTD(String name) Created DTD will not be pushed to DTD hash. | public Element | getElement(int index) | public Element | getElement(String name) | public Entity | getEntity(int index) | public Entity | getEntity(String name) | public String | getName() | boolean | isRead() | public static void | putDTDHash(String name, DTD dtd) | public void | read(DataInputStream stream) | void | setReading(boolean b) | public String | toString() |
FILE_VERSION | final public static int FILE_VERSION(Code) | | |
defineAttributes | public void defineAttributes(String name, AttributeList atts)(Code) | | Updated attributes of corresponding element, if this one exists.
Otherwise, new elements are created with these attributes and put to
elementsHash.
|
defineEntity | public Entity defineEntity(String name, int type, char[] data)(Code) | | If entity with this name exists, it will not be updated.
|
getElement | public Element getElement(int index)(Code) | | if index < 0 or elements.size() <= index returns null. |
setReading | void setReading(boolean b)(Code) | | |
|
|