Uses of Class javax.swing.text.html.parser.Element

Uses in package javax.swing.text.html.parser

Constructors with parameter type javax.swing.text.html.parser.Element

Create a content model, consisting of the single element.
Creates the html tag element from the defintion, stored in the given element.
TagElement.TagElement(Element an_element, boolean is_fictional)
Creates the html tag element from the defintion, stored in the given element, setting the flag 'fictional' to the given value.

Fields of type javax.swing.text.html.parser.Element

Element
The applet element for this DTD.
Element
The base element for this DTD.
Element
The body element for this DTD.
Element
The head element for this DTD.
Element
The html element for this DTD.
Element
The isindex element of for this DTD.
Element
The meta element for this DTD.
Element
The p element for this DTD.
Element
The param element for this DTD.
Element
The pcdata for this DTD.
Element
The title element for this DTD.

Methods with parameter type javax.swing.text.html.parser.Element

TagElement
Constructs the tag from the given element.
TagElement
Parser.makeTag(Element element, boolean isSupposed)
Constructs the tag from the given element.
void
This is called when the tag, representing the given element, occurs first time in the document.

Methods with return type javax.swing.text.html.parser.Element

Element
DTD.defElement(String name, int type, boolean headless, boolean tailless, ContentModel content, String[] exclusions, String[] inclusions, AttributeList attributes)
Defines a new element and adds it to the element table.
Element
DTD.defineElement(String name, int type, boolean headless, boolean tailless, ContentModel content, BitSet exclusions, BitSet inclusions, AttributeList attributes)
Defines the element and adds it to the element table.
Element
Get the element, stored in the next.content.
Element
Get the element from that the tag was constructed.
Element
DTD.getElement(int index)
Get the element by the value of its Element.index field.
Element
DTD.getElement(String element_name)
Get the element by the element name.