Package eu.bandm.tools.doctypes.xhtml

Class Element_html

java.lang.Object

eu.bandm.tools.tdom.runtime.TypedNode<Extension>

eu.bandm.tools.tdom.runtime.TypedSubstantial<Extension>

eu.bandm.tools.tdom.runtime.TypedElement<Element,Extension>

eu.bandm.tools.doctypes.xhtml.Element

eu.bandm.tools.doctypes.xhtml.Element_html

All Implemented Interfaces:

Attr_dir.Owner, Attr_id.Owner, Attr_lang.Owner, Attr_xml_lang.Owner, Locatable<XMLDocumentIdentifier>, Identifiable, Matchable<BaseMatcher>, TypedContent, Visitable<Visitor>

@Generated(generator="eu.bandm.tools.tdom.TypedDOMGenerator",
           version="",
           timestamp="2025-08-17_22h50m54")
@Undocumented
public class Element_html
extends Element
implements Attr_lang.Owner, Attr_xml_lang.Owner, Attr_dir.Owner, Attr_id.Owner, Identifiable, Visitable<Visitor>, Matchable<BaseMatcher>

<!ELEMENT html (head, body) >.
Optional attributes: xml:lang, xmlns, id, lang, dir.
This class realizes the element definition from the source DTD.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Element_html.Attr_xmlns

Nested classes/interfaces inherited from class eu.bandm.tools.doctypes.xhtml.Element

Element.UnmixedContent

Nested classes/interfaces inherited from class eu.bandm.tools.tdom.runtime.TypedElement

TypedElement.AttributeDecoder, TypedElement.AttributeEncoder, TypedElement.MixedContent<E extends TypedElement<E,X>,X extends TypedExtension>, TypedElement.MixedContentContainer, TypedElement.MixedContentFactory<C extends TypedElement.MixedContent<E,X>,E extends TypedElement<E,X>,X extends TypedExtension,Y extends Exception>, TypedElement.PCDataContainer

Nested classes/interfaces inherited from class eu.bandm.tools.tdom.runtime.TypedNode

TypedNode.ParseListener<E extends TypedElement<?,?>>

Nested classes/interfaces inherited from interface eu.bandm.tools.tdom.runtime.TypedContent

TypedContent.DecodingConstructor<C extends TypedContent,X extends TypedExtension,Y extends Exception>, TypedContent.ParsingConstructor<C extends TypedContent,E extends TypedElement<E,X>,X extends TypedExtension,Y extends Exception>

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Element_body	elem_1_body
(package private) Element_head	elem_1_head
(package private) static final String	localName
static final NamespaceName	name	Name of the Element is in namespace-enabled mode, namely {http://www.w3.org/1999/xhtml}html.
static final String	namespaceURI
(package private) static final String	prefix
static final int	TAG_INDEX
static final String	TAG_NAME	The name of the element, as it appears literally in the underlying DTD.

Fields inherited from class eu.bandm.tools.doctypes.xhtml.Element

decodeTable, parseTable

Fields inherited from class eu.bandm.tools.tdom.runtime.TypedElement

getDeepPCData, getFlatPCData

Constructor Summary

Constructors

Constructor	Description
Element_html(Element_head elem_1_head, Element_body elem_1_body)	Statically typed w.r.t. the contents, as far as possible.
Element_html(Element... content)	Semi-parsing constructor which tries to parse sequences of model elements.
Element_html(ContentMapping content, Extension ext, TypedNode.ParseListener<Element> listener)
Element_html(TypedAttribute.SafeValues flag, Element_head elem_1_head, Element_body elem_1_body)
Element_html(Attributes attrs, Element... content)	Semi-parsing constructor which tries to parse sequences of model content.

Method Summary

Modifier and Type	Method	Description
void	__dumpElementSnapshot(List<TypedSubstantial<Extension>> list)
protected TypedAttribute[]	__getAllAttrs()
final Element_html	checkRequiredAttrs()
(package private) static Element_html	decode(DecodingInputStream in, Extension ext)
final void	encode(EncodingOutputStream out, Extension ext)	Abstract fall-back method which MUST be overridden and always throws an Exception.
final Attr_dir	getAttr_dir()
final Attr_id	getAttr_id()
final Attr_lang	getAttr_lang()
final Attr_xml_lang	getAttr_xml_lang()
final Element_html.Attr_xmlns	getAttr_xmlns()
(package private) static TypedContent.DecodingConstructor<? extends Element_html,Extension,TdomAttributeException>	getDecodeClosure()
Element_body	getElem_1_body()
Element_head	getElem_1_head()
String	getId()	Returns the value of the declared ID attribute Attr_id.
IdAttribute	getIdAttribute()	Returns the the declared ID attribute object Attr_id.
static TypedDTD.ElementInfo	getInterfaceInfo()	Give reflexive info object about the generated class.
(package private) static TypedContent.ParsingConstructor<? extends Element_html,Element,Extension,TdomAttributeException>	getParseClosure()
final int	getTagIndex()
void	host(Visitor visitor)	Send the visitor to this instance.
void	identify(BaseMatcher matcher)
protected void	initAttrs()
protected void	initAttrs(Attributes attrs)	Pick attribute values from the argument and copy them to the attribute values of this element.
protected void	initAttrsSafe()
(package private) static boolean	lookahead(Iterators.MultipleLookaheadIterator<? extends Element> i, boolean optional)
(package private) static boolean	lookahead(SAXEventStream in, Extension ext, boolean optional)
(package private) static Element_html	parse(ContentMapping content, Extension ext, TypedNode.ParseListener<Element> listener)
static Element_html	parse(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_html	parse(Element domElement, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_html	parseOptional(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_html[]	parsePlus(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_html[]	parseStar(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
final Attr_dir	readAttr_dir()
final Attr_id	readAttr_id()
final Attr_lang	readAttr_lang()
final Attr_xml_lang	readAttr_xml_lang()
final Element_html.Attr_xmlns	readAttr_xmlns()
(package private) static Element_html	semiparse(Iterators.MultipleLookaheadIterator<? extends Element> i)
(package private) static @Opt Element_html	semiparseOptional(Iterators.MultipleLookaheadIterator<? extends Element> i)
(package private) static Element_html[]	semiparsePlus(Iterators.MultipleLookaheadIterator<? extends Element> i)
(package private) static Element_html[]	semiparseStar(Iterators.MultipleLookaheadIterator<? extends Element> i)
void	set(Element_head elem_1_head, Element_body elem_1_body)	Set all contents fields to a new value, after checking.
Element_body	setElem_1_body(Element_body newElem_1_body)
Element_head	setElem_1_head(Element_head newElem_1_head)

Methods inherited from class eu.bandm.tools.doctypes.xhtml.Element

getDeepPCData

Methods inherited from class eu.bandm.tools.tdom.runtime.TypedElement

classifyForException, decodeMixed, decodeOptional, decodePlus, decodePlusList, decodeStar, decodeStarList, encode, encodeMixed, end, ensureSize, extractElement, getAttrsSnapshot, getAttrsSnapshot, getElemsSnapshot, getEtherealContainer, getLocalName, getName, getNamespaceURI, getPCData, getTagName, initAttrs, initAttrsSafe, matchEndElement, matchEndElement, matchStartElement, matchStartElement, parseAbstract, parseAndClose, parseAndClose, parseMixed, parseMixed, parseOptional, parsePlus, parsePlusList, parseStar, parseStarList, semiparseEmpty, semiparseMixed, setResizing, start, w3c_getNamespaceName

Methods inherited from class eu.bandm.tools.tdom.runtime.TypedSubstantial

dumpFollowingEthereals, dumpPrecedingEthereals, getFollowingEthereals, getPrecedingEthereals, readFollowingEthereals, readPrecedingEthereals

Methods inherited from class eu.bandm.tools.tdom.runtime.TypedNode

asBigDecimal, asBigDecimal, asBigDecimal, asBigDecimal, asBigInteger, asBigInteger, asBigInteger, asBigInteger, asBoolean, asBoolean, asDouble, asDouble, asDouble, asDouble, asFloat, asFloat, asFloat, asFloat, asHexInt, asHexInt, asHexInt, asHexInt, asInt, asInt, asInt, asInt, asLong, asLong, asLong, asLong, asTrimmedString, asTrimmedString, asTrimmedString, asTrimmedString, checkPlus, checkPlus, checkStar, checkStar, checkStrict, encodeOptional, encodePlus, encodePlus, encodeStar, encodeStar, extractEthereals, getLocation, getPCData, setLocation, setLocation, setLocation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface eu.bandm.tools.location.Locatable

getLocation

Field Details

TAG_INDEX

public static final int TAG_INDEX

See Also:

• Constant Field Values

elem_1_head

Element_head elem_1_head

elem_1_body

Element_body elem_1_body

TAG_NAME

public static final String TAG_NAME

The name of the element, as it appears literally in the underlying DTD.

See Also:

• Constant Field Values

namespaceURI

public static final String namespaceURI

See Also:

• Constant Field Values

prefix

static final String prefix

See Also:

• Constant Field Values

localName

static final String localName

See Also:

• Constant Field Values

name

public static final NamespaceName name

Name of the Element is in namespace-enabled mode, namely {http://www.w3.org/1999/xhtml}html.

Constructor Details

Element_html

@Undocumented
public Element_html(Element_head elem_1_head,
 Element_body elem_1_body)
             throws TdomAttributeSyntaxException

Statically typed w.r.t. the contents, as far as possible. So a TdomContentException can not occur.
The user MAY define a subclass (mostly an anonymous one, on the fly) and override initAttrs() to set the values for the optional attributes.

Throws:

IllegalArgumentException - if any input to contents is null.

TdomAttributeSyntaxException

Element_html

Element_html(ContentMapping content,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
      throws TdomAttributeSyntaxException,
TdomContentException,
TdomAttributeException

Throws:

TdomAttributeSyntaxException

TdomContentException

TdomAttributeException

Element_html

public Element_html(TypedAttribute.SafeValues flag,
 Element_head elem_1_head,
 Element_body elem_1_body)

Element_html

@SafeVarargs
@Undocumented
public Element_html(@Opt
 Attributes attrs,
 Element... content)
             throws TdomAttributeSyntaxException,
TdomContentException

Semi-parsing constructor which tries to parse sequences of model content. Dynamically typed.

Parameters:

attrs - (maybe null) A SAX auxiliary attribute store, from which values for the attributes defined for this element will be picked. (Undefined attributes are ignored; a value of null leaves the attribute default values untouched; all attribute values can be overridden by overriding initAttrs(), which is called after this picking.)

content - the Element sequence to parse.

Throws:

TdomContentException - if the sequence in 'contents' does not match the content model.

IllegalArgumentException - if any input to contents is null.

TdomAttributeSyntaxException

Element_html

@SafeVarargs
@Undocumented
public Element_html(Element... content)
             throws TdomAttributeSyntaxException,
TdomContentException

Semi-parsing constructor which tries to parse sequences of model elements. Dynamically typed.
The user MAY define a subclass (mostly an anonymous one, on the fly) and override initAttrs() to set the values for the optional attributes.

Parameters:

content - the Element sequence to parse.

Throws:

TdomContentException - if the sequence in 'contents' does not match the content model.

IllegalArgumentException - if any input to contents is null.

TdomAttributeSyntaxException

Method Details

set

@Undocumented
public void set(Element_head elem_1_head,
 Element_body elem_1_body)

Set all contents fields to a new value, after checking. Statically typed, as far as possible. So a TdomContentException can not occur.
(Values of Attributes are not affected.)

Throws:

IllegalArgumentException - if any input to contents is null.

encode

public final void encode(EncodingOutputStream out,
 Extension ext)
                  throws IOException

Description copied from class: TypedNode

Abstract fall-back method which MUST be overridden and always throws an Exception.

Specified by:

encode in class TypedNode<Extension>

Throws:

IOException

decode

static Element_html decode(DecodingInputStream in,
 Extension ext)
                    throws TdomContentException,
TdomAttributeException,
IOException

Throws:

TdomContentException

TdomAttributeException

IOException

__dumpElementSnapshot

public void __dumpElementSnapshot(List<TypedSubstantial<Extension>> list)

Specified by:

__dumpElementSnapshot in class TypedElement<Element,Extension>

getTagIndex

public final int getTagIndex()

Specified by:

getTagIndex in class TypedElement<Element,Extension>

getAttr_lang

@Undocumented
public final Attr_lang getAttr_lang()

Specified by:

getAttr_lang in interface Attr_lang.Owner

Returns:

an implementation of that Attribute, the value of which can be read and written.
(If only read access is needed, readAttr_lang() should be used.)

readAttr_lang

@Undocumented
public final Attr_lang readAttr_lang()

Specified by:

readAttr_lang in interface Attr_lang.Owner

Returns:

an implementation of that Attribute, the value of which can be read, but is not guaranteed to be writable.
(If write access is needed, getAttr_lang() must be used.)

getAttr_xml_lang

@Undocumented
public final Attr_xml_lang getAttr_xml_lang()

Specified by:

getAttr_xml_lang in interface Attr_xml_lang.Owner

Returns:

an implementation of that Attribute, the value of which can be read and written.
(If only read access is needed, readAttr_xml_lang() should be used.)

readAttr_xml_lang

@Undocumented
public final Attr_xml_lang readAttr_xml_lang()

Specified by:

readAttr_xml_lang in interface Attr_xml_lang.Owner

Returns:

an implementation of that Attribute, the value of which can be read, but is not guaranteed to be writable.
(If write access is needed, getAttr_xml_lang() must be used.)

getAttr_dir

@Undocumented
public final Attr_dir getAttr_dir()

Specified by:

getAttr_dir in interface Attr_dir.Owner

Returns:

an implementation of that Attribute, the value of which can be read and written.
(If only read access is needed, readAttr_dir() should be used.)

readAttr_dir

@Undocumented
public final Attr_dir readAttr_dir()

Specified by:

readAttr_dir in interface Attr_dir.Owner

Returns:

an implementation of that Attribute, the value of which can be read, but is not guaranteed to be writable.
(If write access is needed, getAttr_dir() must be used.)

getAttr_id

@Undocumented
public final Attr_id getAttr_id()

Specified by:

getAttr_id in interface Attr_id.Owner

Returns:

an implementation of that Attribute, the value of which can be read and written.
(If only read access is needed, readAttr_id() should be used.)

readAttr_id

@Undocumented
public final Attr_id readAttr_id()

Specified by:

readAttr_id in interface Attr_id.Owner

Returns:

an implementation of that Attribute, the value of which can be read, but is not guaranteed to be writable.
(If write access is needed, getAttr_id() must be used.)

getAttr_xmlns

@Undocumented
public final Element_html.Attr_xmlns getAttr_xmlns()

Returns:

an implementation of that Attribute, the value of which can be read and written.
(If only read access is needed, readAttr_xmlns() should be used.)

readAttr_xmlns

@Undocumented
public final Element_html.Attr_xmlns readAttr_xmlns()

Returns:

an implementation of that Attribute, the value of which can be read, but is not guaranteed to be writable.
(If write access is needed, getAttr_xmlns() must be used.)

__getAllAttrs

protected TypedAttribute[] __getAllAttrs()

Overrides:

__getAllAttrs in class TypedElement<Element,Extension>

getElem_1_head

@Undocumented
public Element_head getElem_1_head()

Returns:

(never null) the current value of the 1st appearance of Element_head in the content model of this.

setElem_1_head

@Undocumented
public Element_head setElem_1_head(Element_head newElem_1_head)

Parameters:

newElem_1_head - (never null) new value for the 1st appearance of Element_head in the content model of this.

Returns:

(never null) the overwritten value.

Throws:

IllegalArgumentException - in case of null.

getElem_1_body

@Undocumented
public Element_body getElem_1_body()

Returns:

(never null) the current value of the 1st appearance of Element_body in the content model of this.

setElem_1_body

@Undocumented
public Element_body setElem_1_body(Element_body newElem_1_body)

Parameters:

newElem_1_body - (never null) new value for the 1st appearance of Element_body in the content model of this.

Returns:

(never null) the overwritten value.

Throws:

IllegalArgumentException - in case of null.

parse

static Element_html parse(Element domElement,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                   throws TdomContentException,
TdomAttributeException

Throws:

TdomContentException

TdomAttributeException

parse

static Element_html parse(ContentMapping content,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                   throws TdomContentException,
TdomAttributeException

Throws:

TdomContentException

TdomAttributeException

getId

@Undocumented
public String getId()

Returns the value of the declared ID attribute Attr_id. See ElementDictionary for details of processing. @return the value of the declared ID attribute.

Specified by:

getId in interface Identifiable

Returns:

the current value of the attribute of ID type, or null, if this is not set.

getIdAttribute

@Undocumented
public IdAttribute getIdAttribute()

Returns the the declared ID attribute object Attr_id. See ElementDictionary for details of processing.

Specified by:

getIdAttribute in interface Identifiable

Returns:

the declared ID attribute.

getParseClosure

static TypedContent.ParsingConstructor<? extends Element_html,Element,Extension,TdomAttributeException> getParseClosure()

getDecodeClosure

static TypedContent.DecodingConstructor<? extends Element_html,Extension,TdomAttributeException> getDecodeClosure()

initAttrs

protected void initAttrs(Attributes attrs)
                  throws TdomAttributeSyntaxException

Pick attribute values from the argument and copy them to the attribute values of this element. Will be called on constructor operation before the explicit override in initAttrs().

Overrides:

initAttrs in class TypedElement<Element,Extension>

Parameters:

attrs - collection of (possibly superfluous, undeclared) SAX encoded attribute values.

Throws:

TdomAttributeSyntaxException

parseStar

static Element_html[] parseStar(SAXEventStream in,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                         throws TdomXmlException,
TdomContentException,
TdomAttributeException

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

parsePlus

static Element_html[] parsePlus(SAXEventStream in,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                         throws TdomXmlException,
TdomContentException,
TdomAttributeException

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

parseOptional

static Element_html parseOptional(SAXEventStream in,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                           throws TdomXmlException,
TdomContentException,
TdomAttributeException

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

lookahead

static boolean lookahead(SAXEventStream in,
 Extension ext,
 boolean optional)

parse

public static Element_html parse(SAXEventStream in,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                          throws TdomXmlException,
TdomContentException,
TdomAttributeException

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

semiparseStar

static Element_html[] semiparseStar(Iterators.MultipleLookaheadIterator<? extends Element> i)
                             throws TdomContentException

Throws:

TdomContentException

semiparsePlus

static Element_html[] semiparsePlus(Iterators.MultipleLookaheadIterator<? extends Element> i)
                             throws TdomContentException

Throws:

TdomContentException

semiparseOptional

@Opt
static @Opt Element_html semiparseOptional(Iterators.MultipleLookaheadIterator<? extends Element> i)
                                    throws TdomContentException

Throws:

TdomContentException

lookahead

static boolean lookahead(Iterators.MultipleLookaheadIterator<? extends Element> i,
 boolean optional)

semiparse

static Element_html semiparse(Iterators.MultipleLookaheadIterator<? extends Element> i)
                       throws TdomContentException

Throws:

TdomContentException

host

public void host(Visitor visitor)

Description copied from interface: Visitable

Send the visitor to this instance.

Specified by:

host in interface Visitable<Visitor>

identify

public void identify(BaseMatcher matcher)

Specified by:

identify in interface Matchable<BaseMatcher>

initAttrs

protected void initAttrs()
                  throws TdomAttributeSyntaxException

Throws:

TdomAttributeSyntaxException

initAttrsSafe

protected void initAttrsSafe()

checkRequiredAttrs

public final Element_html checkRequiredAttrs()

getInterfaceInfo

@Undocumented
public static TypedDTD.ElementInfo getInterfaceInfo()

Give reflexive info object about the generated class.