使用JavaScript实现ANTLR4 Visitor时如何判断节点是否为终结节点？

问题场景 #

在使用JavaScript实现ANTLR4 Visitor时，尝试判断节点是否为终结节点，编写的代码如下：

import antlr4 from "antlr4";
import MyGrammarParserVisitor from "./gen/MyGrammarParserVisitor.js";

// This class defines a complete generic visitor for a parse tree produced by MyGrammarParser.

export default class GrammarParserVisitor extends MyGrammarParserVisitor {

    result = [];

    isTerminalNode = (node) => {
        if (!node || node.getChildCount() !== 1) {
            return false; // Not a terminal node if it has more than one child or is nullish
        }
        return node.getChild(0) instanceof antlr4.tree.TerminalNodeImpl;
    };

    visitTerm(ctx) {
        if (this.isTerminalNode(ctx)) {
            this.result.push(ctx.getText());
        }
        return this.visitChildren(ctx);
    }
}

运行时触发如下错误：

return node.getChild(0) instanceof antlr4.tree.TerminalNodeImpl;
                                ^

TypeError: Right-hand side of 'instanceof' is not an object

原因及解决方法 #

错误根源是JavaScript版ANTLR4中，TerminalNodeImpl并非直接挂载在antlr4.tree下的可访问类，且原代码通过子节点数量推导终结节点的逻辑并不准确。以下是两种可靠的解决方式：

方法一：通过节点属性直接判断 #

终结节点（TerminalNode）自带symbol属性，普通语法上下文节点无此属性，可通过该特征判断：

isTerminalNode = (node) => {
    return node && node.symbol !== undefined;
};

方法二：使用官方提供的类型判断 #

导入ANTLR4官方暴露的TerminalNode类型，直接用instanceof判断：

import antlr4 from "antlr4";
const { TerminalNode } = antlr4.tree;

// ...

isTerminalNode = (node) => {
    return node instanceof TerminalNode;
};

优化后的完整代码示例 #

import antlr4 from "antlr4";
import MyGrammarParserVisitor from "./gen/MyGrammarParserVisitor.js";
const { TerminalNode } = antlr4.tree;

export default class GrammarParserVisitor extends MyGrammarParserVisitor {

    result = [];

    isTerminalNode = (node) => {
        return node instanceof TerminalNode;
    };

    visitTerm(ctx) {
        if (this.isTerminalNode(ctx)) {
            this.result.push(ctx.getText());
        }
        return this.visitChildren(ctx);
    }
}

注意：原代码中“父节点子节点数量为1则是终结节点”的逻辑不成立，语法上下文节点可能包含多个终结节点，正确逻辑应为直接判断当前节点本身是否为终结节点。

内容的提问来源于stack exchange，提问作者roman_kh122