Class Element_int

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

@Undocumented public class Element_int extends Element implements Visitable<Visitor>, Matchable<BaseMatcher>
Meaning: Describes one integer argument in an option's list of argument types. Please note that negative ints cannot be entered at the beginnig of a repetition group due to parsing ambiguity.

<!ELEMENT int EMPTY >.
Optional attributes: default, format.
This class realizes the element definition from the source DTD.