Commit 52501573 authored by bguillaum's avatar bguillaum

stats without html

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@6618 7838e531-6607-4d57-9587-6c381814729c
parent 290c27c7
......@@ -30,6 +30,11 @@ module Rewrite_history = struct
) l
)
let rec rules t =
let local = (t.module_name, t.instance.Instance.rules) in
match t.good_nf with
| [] -> [local]
| l -> local :: (List.flatten (List.map rules l))
IFDEF DEP2PICT THEN
(* warning: path are returned in reverse order *)
......
......@@ -9,6 +9,8 @@ module Rewrite_history: sig
bad_nf: Instance.t list;
}
val rules: t -> (string * string list) list
IFDEF DEP2PICT THEN
val save_html: ?main_feat:string -> ?init_graph:bool -> ?header:string -> string -> int -> t -> (string*string list) list
......
This diff is collapsed.
......@@ -29,8 +29,7 @@ val empty_grs : grs
@raise Parsing_err if libgrew can't parse the file
@raise File_dont_exists if the file doesn't exists
*)
val grs : string -> string -> grs
val grs_only : string -> grs
val load_grs : ?doc_output_dir:string -> string -> grs
val get_available_seq : grs -> (string * string list) list
......@@ -40,7 +39,7 @@ val empty_gr : gr
@raise Parsing_err if libgrew can't parse the file
@raise File_dont_exists if the file doesn't exists
*)
val gr : string -> gr
val load_gr : string -> gr
(** rewrite a gr with a grs in a rew_display
@param gr the grapth to rewrite
......@@ -49,6 +48,8 @@ val gr : string -> gr
@return a structure {b {i easily}} displayable *)
val rewrite : gr:gr -> grs:grs -> seq:string -> rew_display
val rew_stat: string -> Grs.t -> string -> string -> (string * string list) list
IFDEF DEP2PICT THEN
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment