+
+ public static class Text extends Dump { }
+ public @tag static class Chars extends Text {
+ public String text;
+ }
+ public @tag static class Block extends Text { public Text[] text; }
+ public static class TextWrap extends Text {
+ public Text text;
+ }
+ public static @tag class Verbatim extends Text { public char[] c; }
+ //public @tag class Blockquote extends TextWrap { }
+ public static @tag class Underline extends TextWrap { }
+ public static @tag class Footnote extends TextWrap { }
+ public static @tag class TT extends TextWrap { }
+ //public @tag class Citation extends Text { "[" word "]" }
+ public static @tag class Strikethrough extends TextWrap { }
+ //public @tag class Superscript extends TextWrap { }
+ //public @tag class Subscript extends TextWrap { }
+ public static @tag class Smallcap extends TextWrap { }
+ //public @tag class Keyword extends TextWrap { }
+ public static @tag class Bold extends TextWrap { }
+ public static @tag class Italic extends TextWrap { }
+
+ public static class Command extends Text { }
+ public static @tag class Today extends Command { }
+ public static @tag class LineBreak extends Command { }
+
+ public static class Glyph extends Text { }
+ public static @tag("emdash") class Emdash extends Glyph { }