Added a general context for each test

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