Package eu.bandm.tools.option.absy

Class Element_enumSetContains

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.option.absy.Element

eu.bandm.tools.option.absy.Element_enumSetContains

All Implemented Interfaces:

Locatable<XMLDocumentIdentifier>, Matchable<BaseMatcher>, TypedContent, Visitable<Visitor>

@Generated(generator="eu.bandm.tools.tdom.TypedDOMGenerator",
           version="",
           timestamp="2025-08-17_22h51m49")
@Undocumented
public class Element_enumSetContains
extends Element
implements Visitable<Visitor>, Matchable<BaseMatcher>

Meaning: Boolean value whether an enumeration set contains a particular value.

<!ELEMENT enumSetContains EMPTY >.
Required attributes: value, option.
Optional attribute: number.
This class realizes the element definition from the source DTD.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Element_enumSetContains.Attr_number	Meaning: The argument of the option by its (zero-based) position index.
static class	Element_enumSetContains.Attr_option	Meaning: The option from which the current argument value is taken.
static class	Element_enumSetContains.Attr_value	Meaning: The enumeration item the set is tested for.

Nested classes/interfaces inherited from class eu.bandm.tools.option.absy.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) static final String	localName
static final NamespaceName	name	Name of the Element is in namespace-enabled mode, namely {http://bandm.eu/doctypes/option}enumSetContains.
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.option.absy.Element

decodeTable, parseTable

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

getDeepPCData, getFlatPCData

Constructor Summary

Constructors

Constructor	Description
Element_enumSetContains()	Statically typed w.r.t. the contents.
Element_enumSetContains(ContentMapping content, Extension ext, TypedNode.ParseListener<Element> listener)
Element_enumSetContains(TypedAttribute.SafeValues flag)
Element_enumSetContains(TypedSubstantial<Extension>... content)	Semi-parsing constructor which tries to parse sequences of model elements.
Element_enumSetContains(Attributes attrs, TypedSubstantial<Extension>... 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_enumSetContains	checkRequiredAttrs()
(package private) static Element_enumSetContains	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 Element_enumSetContains.Attr_number	getAttr_number()	Meaning: The argument of the option by its (zero-based) position index.
final Element_enumSetContains.Attr_option	getAttr_option()	Meaning: The option from which the current argument value is taken.
final Element_enumSetContains.Attr_value	getAttr_value()	Meaning: The enumeration item the set is tested for.
(package private) static TypedContent.DecodingConstructor<? extends Element_enumSetContains,Extension,TdomAttributeException>	getDecodeClosure()
static TypedDTD.ElementInfo	getInterfaceInfo()	Give reflexive info object about the generated class.
(package private) static TypedContent.ParsingConstructor<? extends Element_enumSetContains,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_enumSetContains	parse(ContentMapping content, Extension ext, TypedNode.ParseListener<Element> listener)
static Element_enumSetContains	parse(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_enumSetContains	parse(Element domElement, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_enumSetContains	parseOptional(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_enumSetContains[]	parsePlus(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
(package private) static Element_enumSetContains[]	parseStar(SAXEventStream in, Extension ext, TypedNode.ParseListener<Element> listener)
final Element_enumSetContains.Attr_number	readAttr_number()	Meaning: The argument of the option by its (zero-based) position index.
final Element_enumSetContains.Attr_option	readAttr_option()	Meaning: The option from which the current argument value is taken.
final Element_enumSetContains.Attr_value	readAttr_value()	Meaning: The enumeration item the set is tested for.
(package private) static Element_enumSetContains	semiparse(Iterators.MultipleLookaheadIterator<? extends Element> i)
(package private) static @Opt Element_enumSetContains	semiparseOptional(Iterators.MultipleLookaheadIterator<? extends Element> i)
(package private) static Element_enumSetContains[]	semiparsePlus(Iterators.MultipleLookaheadIterator<? extends Element> i)
(package private) static Element_enumSetContains[]	semiparseStar(Iterators.MultipleLookaheadIterator<? extends Element> i)
void	set()	Set all contents fields to a new value, after checking.

Methods inherited from class eu.bandm.tools.option.absy.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

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://bandm.eu/doctypes/option}enumSetContains.

Constructor Details

Element_enumSetContains

@Undocumented
public Element_enumSetContains()
                        throws TdomAttributeMissingException,
TdomAttributeSyntaxException

Statically typed w.r.t. the contents. So a TdomContentException can not occur.
The user MUST define a subclass (mostly an anonymous one, on the fly) and override initAttrs() to set the values for the required attributes option and value, plus optional attributes ad lib.

Throws:

TdomAttributeMissingException - if no value for required attributes option and value is set explicitly.

TdomAttributeSyntaxException

Element_enumSetContains

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

Throws:

TdomContentException

TdomAttributeMissingException

TdomAttributeException

TdomAttributeSyntaxException

Element_enumSetContains

public Element_enumSetContains(TypedAttribute.SafeValues flag)
                        throws TdomAttributeMissingException

Throws:

TdomAttributeMissingException

Element_enumSetContains

@SafeVarargs
@Undocumented
public Element_enumSetContains(@Opt
 Attributes attrs,
 TypedSubstantial<Extension>... content)
                        throws TdomContentException,
TdomAttributeMissingException,
TdomAttributeSyntaxException

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.

TdomAttributeMissingException - if there is no value contained in param attrs nor set in initAttrs() for required attributes option and value.

TdomAttributeSyntaxException

Element_enumSetContains

@SafeVarargs
public Element_enumSetContains(TypedSubstantial<Extension>... content)
                        throws TdomContentException,
TdomAttributeMissingException,
TdomAttributeSyntaxException

Semi-parsing constructor which tries to parse sequences of model elements. Dynamically typed. (This constructor will always fail, because the only correct contents are empty and match a different constructor.
The user MUST define a subclass (mostly an anonymous one, on the fly) and override initAttrs() to set the values for the required attributes option and value, plus optional attributes ad lib.

Parameters:

content - the Element sequence to parse.

Throws:

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

TdomAttributeMissingException - if no value for required attributes option and value is set explicitly.

TdomAttributeSyntaxException

Method Details

set

public void set()

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.)

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_enumSetContains decode(DecodingInputStream in,
 Extension ext)
                               throws IOException,
TdomContentException,
TdomAttributeException

Throws:

IOException

TdomContentException

TdomAttributeException

__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_option

@Undocumented
public final Element_enumSetContains.Attr_option getAttr_option()

Meaning: The option from which the current argument value is taken. It is identified either by its long name or its short abbrev value.

Returns:

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

readAttr_option

@Undocumented
public final Element_enumSetContains.Attr_option readAttr_option()

Meaning: The option from which the current argument value is taken. It is identified either by its long name or its short abbrev value.

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_option() must be used.)

getAttr_number

@Undocumented
public final Element_enumSetContains.Attr_number getAttr_number()

Meaning: The argument of the option by its (zero-based) position index. The value of this argument is taken for comparison.

Returns:

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

readAttr_number

@Undocumented
public final Element_enumSetContains.Attr_number readAttr_number()

Meaning: The argument of the option by its (zero-based) position index. The value of this argument is taken for comparison.

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_number() must be used.)

getAttr_value

@Undocumented
public final Element_enumSetContains.Attr_value getAttr_value()

Meaning: The enumeration item the set is tested for. Must be given by compilable Java source, i.e. by "[Type].[item]".

Returns:

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

readAttr_value

@Undocumented
public final Element_enumSetContains.Attr_value readAttr_value()

Meaning: The enumeration item the set is tested for. Must be given by compilable Java source, i.e. by "[Type].[item]".

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_value() must be used.)

__getAllAttrs

protected TypedAttribute[] __getAllAttrs()

Overrides:

__getAllAttrs in class TypedElement<Element,Extension>

parse

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

Throws:

TdomContentException

TdomAttributeException

parse

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

Throws:

TdomContentException

TdomAttributeException

getParseClosure

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

getDecodeClosure

static TypedContent.DecodingConstructor<? extends Element_enumSetContains,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_enumSetContains[] parseStar(SAXEventStream in,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                                    throws TdomXmlException,
TdomContentException,
TdomAttributeException

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

parsePlus

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

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

parseOptional

static Element_enumSetContains 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_enumSetContains parse(SAXEventStream in,
 Extension ext,
 TypedNode.ParseListener<Element> listener)
                                     throws TdomXmlException,
TdomContentException,
TdomAttributeException

Throws:

TdomXmlException

TdomContentException

TdomAttributeException

semiparseStar

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

Throws:

TdomContentException

semiparsePlus

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

Throws:

TdomContentException

semiparseOptional

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

Throws:

TdomContentException

lookahead

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

semiparse

static Element_enumSetContains 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_enumSetContains checkRequiredAttrs()
                                                 throws TdomAttributeMissingException

Throws:

TdomAttributeMissingException

getInterfaceInfo

@Undocumented
public static TypedDTD.ElementInfo getInterfaceInfo()

Give reflexive info object about the generated class.