使用ANTLR4解析公式

Question

我試圖使用ANTLR4將數學公式解析為LaTeX的子集。 例如，它應該解析(a+4)/(b*10)到\\frac{a+4}{b\\cdot 10} 。

我的簡單語法創建了一個這樣的樹：

現在我試圖實現解析樹監聽器，以便在遍歷樹時以某種方式構造LaTeX字符串。 在這里，我失敗了，因為要構造一個像\\frac{}{}這樣的字符串，它必須以遞歸方式構建。 然而，解析樹步行者會一個接一個地訪問一個樹節點（據我所知，以廣度優先的方式）。

我讀過可能是我需要的解析樹訪問者 。 但我無法找到一些如何應用這些訪問者的例子。

您能舉例說明在這種特殊情況下如何使用解析樹監聽器/訪問者嗎？ 您是否認為我首先使用ANTLR進行解析器的方法有意義？

Answer 1

您可以通過實現ParseTreeVisitor接口來創建解析樹walker。 為了便於使用，您可以在編譯語法時指定Antlr生成基本訪問者（在Antlrworks， Run->Generate Recognizer->Next->Generate Visitor->Next->Finish ）。 基本訪問者將被稱為MyGrammarBaseVisitor 。 請注意，訪問者具有泛型類型T，每個訪問方法都應該返回。 我建議在代碼生成過程中使用Void進行手動操作或使用String 。

在擴展基本訪問者之后（我假設我們在處理String ），您需要覆蓋訪問方法。 這些方法以您擁有的語法規則命名。 這些方法中的每一個都將接收ParserContext ctx參數，您可以使用該參數訪問子規則和/或獲取終端值。 例如，您可以這樣做：

class MyVisitor extends MyGrammarBaseVisitor<String> {
    @Override
    public String visitMultiplicative(MyGrammarParser.MultiplicativeContext ctx) {
        if (ctx.opMult().getText().equals("/")) return "\\frac{" + visit(ctx.expr(0)) + "}{" + visit(ctx.expr(1)) + "}";
        else return visit(ctx.expr(0)) + "\\cdot " + visit(ctx.expr(1));
    }
    // visit methods for other rules...
}

我假設你的multiplicative規則看起來像multiplicative: expr opMult expr; opMult: '*' | '/'; multiplicative: expr opMult expr; opMult: '*' | '/'; 您可以在The Definitive Antlr 4 Reference中找到更多信息。 您還可以在Antlr文檔中找到更多信息和示例。