Class Element_option

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

@Undocumented public class Element_option extends Element implements Visitable<Visitor>, Matchable<BaseMatcher>
Meaning: Definition of one particular option as it appears on a command line, in the GUI, etc. At least one of @name or @abbrev must be given!.

<!ELEMENT option ((noGui)?, (isMeta)?, desc, type, (condition)?) >.
Optional attributes: name, abbrev, required.
This class realizes the element definition from the source DTD.