PreProcessor.java 文件源码

public static void fixParenthesized(ExprContext ctx){
    PredicateContext pred = new PredicateContext(ctx, 0);
    PrednameContext functor = new PrednameContext(pred, 0);
    ParenthesizedContext paren = (ParenthesizedContext)ctx.getChild(0);

    functor.children = new ArrayList<ParseTree>(); 
    pred.children = new ArrayList<ParseTree>();

    functor.children.add(new TerminalNodeImpl(new CommonToken(0,""))); // Nameless functor

    pred.children.add(functor);
    pred.children.add(paren);

    ctx.children.set(0, pred);
}