Skip to main content

Module validator

Module validator 

Source
Expand description

§DAG 静的検証モジュール

実行前の DAG 定義に対し、循環参照 (閉路)、未定義ノード参照、 型契約違反、到達不能ノードを Fast-Fail で静的検証する。

Enums§

DagValidationError
DAG 静的検証で発生するエラー型。

Functions§

validate_dag
DAG 定義の整合性と無閉路性を静的に検証する。