dead_end.mli « syntax « lib - qsp_parser.git - Parser and analyzer for the QSP Language

about summary refs log tree commit diff

path: root/lib/syntax/dead_end.mli

blob: 451fe58d37eba2afd8f12fea4130860b707e90c4 (plain)

(** Checker looking for the dead ends in the source. 

    A dead end is a state where the user does not have any action.
 *)

include S.Analyzer