Class Element_int

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

@Generated(generator="eu.bandm.tools.tdom.TypedDOMGenerator", version="", timestamp="2025-01-23_18h16m05") @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.