docs: String tokenToString(int token)
      {
          if (Token.printTrees) {
              String name = Token.name(token);
  
              switch (token) {
              case Token.STRING:
              case Token.REGEXP:
              case Token.NAME:
                  return name + " `" + this.string + "'";
  
              case Token.NUMBER:
                  return "NUMBER " + this.number;
              }
  
              return name;
          }
          return "";
      }