Contains abstract model for grammar-based schema and concrete verifier implementation for the abstract schema.
The model of the schema consists of two interfaces:
Note that these definitions capture schema from verifier's point of view. 検証に対して中立なスキーマのオブジェクトモデルと、検証のアルゴリズムに特化したアダプタとは別に用意するのが望ましい。These definitions are for the latter, not for the former.