FormalPropertySyntaxTreeToAstTranslator.java 文件源码

private void exitVoteSum(final String exprStr, final TerminalNode tn, final boolean unique) {
    String numberString = tn.getText().substring(exprStr.length());
    int number = Integer.valueOf(numberString);
    if (number > maxVoteExp) {
        maxVoteExp = number;
    }
    VoteSumForCandExp expNode = new VoteSumForCandExp(number, expStack.pop(), unique);
    expStack.push(expNode);
}