- public @nonterminal("kv") static class KV {
- public @arg("key") String key;
- public @arg("val") Object val;
- public String toString() { return "KV["+key+"="+val+"]"; }
+ public @nonterminal("Section") static class Section extends Dump {
+ public String header;
+ public Paragraph[] paragraphs;
+ }
+
+ public @nonterminal static class KeyVal extends Dump {
+ public @arg String key;
+ public @arg Object val;
+ }
+
+ public static class Paragraph extends Dump { }
+ public @tag("P") static class P extends Paragraph {
+ Object text;
+ }
+ public @tag("HR") static class HR extends Paragraph { }
+ public @tag("Blockquote") static class Blockquote extends Paragraph {
+ Object text;