Class Element_float

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

@Undocumented public class Element_float extends Element implements Visitable<Visitor>, Matchable<BaseMatcher>
Meaning: Describes one floating point argument in an option's list of argument types. (Floats can be translated to Java "float" or "double", controlled by an operation parameter.

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