Class Element_enumeration

All Implemented Interfaces:
Locatable<XMLDocumentIdentifier>, Matchable<BaseMatcher>, TypedContent, Visitable<Visitor>

@Generated(generator="eu.bandm.tools.tdom.TypedDOMGenerator", version="", timestamp="2026-01-12_17h59m38") @Undocumented public class Element_enumeration extends Element implements Visitable<Visitor>, Matchable<BaseMatcher>
Meaning: An enumeration type which can be used for multiple parameters of multiple options.

<!ELEMENT enumeration ((desc)?, (enumitem)*) >.
Required attribute: name.
Optional attribute: import.
This class realizes the element definition from the source DTD.