private:
void append(const std::string &);
+ void append(const Node &, const std::string &);
void append_subtree(const std::vector<Branch> &);
+ void append_subtree(Node &);
void begin_sub();
void last_branch();
void end_sub();
- void annotated_branch(const std::string &, Node &);
unsigned get_label(const Node &);
std::string format_type(TypeDeclaration *);