Class Document_optionlist

All Implemented Interfaces:
Visitable<Visitor>

@Undocumented public class Document_optionlist extends Document
Meaning: Sequence of a collection of command line options, to be compiled into GUI mask, online help method, parsing method, etc. (In several contexts, the sequential order is significant.).
Document with an Element_optionlist as its root (=topmost) element. Of main interest for the programmer are the constructors. These allow to read different external representations. Furthermore, each instance is visitable as a whole.Furthermore, the ID relation is managed by TypedDocument.createDictionary().