module U = NUri
module H = U.UriHash
module C = Cps
+module O = Options
module Y = Entity
module A = Aut
module D = Crg
node: context_node; (* current context node *)
nodes: context_node list; (* context node list *)
line: int; (* line number *)
- mk_uri:Y.uri_generator (* uri generator *)
+ mk_uri:O.uri_generator (* uri generator *)
}
type resolver = Local of int
(* Internal functions *******************************************************)
-let initial_status mk_uri =
- H.clear henv; H.clear hcnt; {
- path = []; node = None; nodes = []; line = 1; mk_uri = mk_uri
-}
-
let empty_cnt = [], []
let add_abst (a, ws) id w =
(* Interface functions ******************************************************)
-let initial_status mk_uri =
- initial_status mk_uri
+let initial_status () =
+ H.clear henv; H.clear hcnt; {
+ path = []; node = None; nodes = []; line = 1; mk_uri = O.get_mk_uri ()
+}
+
+let refresh_status st = {st with
+ mk_uri = O.get_mk_uri ()
+}
let crg_of_aut = xlate_entity