PrettyPrinter.java 文件源码

@Override
public String visitQuantification(final QuantificationContext ctx) {
  String str = "";
  str += ctx.quantifier().op.getText().toLowerCase() + " ";

  final List<TerminalNode> identifierList = ctx.quantifier().IDENTIFIER();
  for (int i = 0; i < identifierList.size() - 1; i++) {
    str += identifierList.get(i).getText() + ", ";
  }
  str += identifierList.get(identifierList.size() - 1).getText() + " ";

  return str + " | " + this.visit(ctx.expr());
}