Class Element_enum

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

@Undocumented public class Element_enum extends Element implements Visitable<Visitor>, Matchable<BaseMatcher>
Meaning: Refers to an Enumeration as the type of the value of an option's argument.

<!ELEMENT enum EMPTY >.
Required attribute: name.
Optional attribute: default.
This class realizes the element definition from the source DTD.