特定の言語のプログラムのフロントエンドを含む静的アナライザーを作成しています。
フロントエンドはプログラムから AST を生成することに成功し、その上でアナライザーが適切に動作します: プログラムが (特定のプロパティに対して) 正しいことを証明するか、ステートメントまたは式に対してエラーを発生させます。
エラーの場合は、エラーメッセージを明示したいと思います。したがって、エラーが発生したステートメントまたは式localisationのソース コードに正確なコードを追加したいと考えています。見せるのline numberはもういい、見せるのrow numberはもっといい…
これを行うためにフロントエンドを変更する方法を誰か教えてもらえますか? または、勉強できるドキュメントはありますか？
(最初に AST の型を変更する必要があると思いますが、locすべてに追加する必要がありますか?)