message: Add annotations to Indent class members
diff: @@ -83,15 +83,25 @@ class Indent {
  Indent() {}
  ~Indent();
  + /** Declare that the next level of nesting will contain a single node. */
  void pushSingle();
  + /** Declare that the next level of nesting will contain a list of nodes,
  + where i is the number of expected nodes. If i is 0, then no nested nodes
  + are expected (nothing is pushed on the stack).*/
  void pushList(int i);
  + /** Annotate the next nested node with a label. */
  void setNextLabel(std::string s);
  + /** Print indentation. */
  void Print();
  + /** Print indentation followed by the string. */
  void Print(const char *title);
  + /** Print indentation followed by the string and source position. */
  void Print(const char *title, const SourcePos &pos);
  + /** Print indentation followed by the string, source position and a new line character. */
  void PrintLn(const char *title, const SourcePos &pos);
  + /** Declare that current node printing is done. */
  void Done();
  };
  