diff options
Diffstat (limited to 'lib/syntax/S.ml')
-rw-r--r-- | lib/syntax/S.ml | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index afb6526..583249e 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -95,9 +95,10 @@ end module type Location = sig type t type instruction + type context val v : t -> Report.t list - val location : pos -> instruction list -> t + val location : context -> pos -> instruction list -> t end (** {1 Unified module used by the parser } *) @@ -112,9 +113,17 @@ module type Analyzer = sig val active : bool ref (** Is the test active or not *) + type context + (** Context used to keep information during the whole test *) + + val initialize : unit -> context + (** Initialize the context before starting to parse the content *) + module Expression : Expression module Instruction : Instruction with type expression = Expression.t' - module Location : Location with type instruction = Instruction.t' + + module Location : + Location with type instruction = Instruction.t' and type context := context end (** Helper module used in order to convert elements from the differents |