Class Element_enumset

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

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

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