public static class TD {
- public @nonterminal static class Doc extends Dump {
+ public @tag static class Doc extends Dump {
public @arg Header head;
public @arg Body body;
}
- public @nonterminal static class Header extends Dump {
+ public @tag static class Header extends Dump {
public @arg KeyVal[] attrs;
// FIXME: it would be nice to be able to
// void KeyVal(String, String) { ... } imperatively
}
- public @nonterminal static class Body extends Dump {
+ public @tag static class Body extends Dump {
public Section[] sections;
}
- public @nonterminal("Section") static class Section extends Dump {
+ public @tag("Section") static class Section extends Dump {
public String header;
public Paragraph[] paragraphs;
}
- public @nonterminal static class KeyVal extends Dump {
+ public @tag static class KeyVal extends Dump {
public @arg String key;
public @arg Object val;
}