ドメイン固有言語の静的解析の実行

Question

私はドメイン固有の言語を持っており、その言語の静的解析を行い、グラフを作成したいと考えています。誰かがこれを実行する際に行動計画を推薦できるかどうかを評価してください。

ドメイン言語

{ 
    run_and_branch(ULSDCompHash) 
    then 
    { 
     run(DownComponent_Reset); 
     run(DownComponent_Reset2); 

    } 
    else 
    { 
     run(ULSD_EndOfTest); 
    } 
    run(ULSD_EndOfTest2); 


}, closed,"EMCSETUP","" 

• 実行があれば、条件パスを気にしたり
• run_and_branchを失敗しない言語の詳細については、ifのようなものです - 渡す場合や、他の失敗した種類のもの
• （）内の値は名前ノードの

予想される出力は、（ファイル名を指定して実行グラフ上のDFS場合）

ULSDCompHash -> DownComponent_Reset -> DownComponent_Reset2 -> ULSD_EndOfTest2 
ULSDCompHash -> ULSD_EndOfTest -> ULSD_EndOfTest2 

Answer 1

ほとんどのコンパイラの本は、制御フローグラフを生成する方法のかなり詳細な説明が含まれています。

私はJavaプログラムのためにSO answer as to how to crawl an AST to produce a CFGを提供しましたが、答えはかなり一般的です。