public void toHTML(HTML h) { body.toHTML(h); }
}
- public @bind.as("H") static class Header extends Dump {
+ public @bind static class Header extends Dump {
public @bind.arg KeyVal[] attrs;
// FIXME: it would be nice to be able to
// void KeyVal(String, String) { ... } imperatively
}
- public @bind.as("B") static class Body extends Dump implements ToHTML {
+ public @bind static class Body extends Dump implements ToHTML {
public Section[] sections;
public void toHTML(HTML h) { for(Section s : sections) s.toHTML(h); }
}