1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
(****************************************************************************)
(* the diy toolsuite *)
(* *)
(* Jade Alglave, University College London, UK. *)
(* Luc Maranget, INRIA Paris-Rocquencourt, France. *)
(* *)
(* Copyright 2015-present Institut National de Recherche en Informatique et *)
(* en Automatique and the authors. All rights reserved. *)
(* *)
(* This software is governed by the CeCILL-B license under French law and *)
(* abiding by the rules of distribution of free software. You can use, *)
(* modify and/ or redistribute the software under the terms of the CeCILL-B *)
(* license as circulated by CEA, CNRS and INRIA at the following URL *)
(* "http://www.cecill.info". We also give a copy in LICENSE.txt. *)
(****************************************************************************)
{
(* Split a multi-image dot file into one dot file per image *)
open Printf
let eof = ref false
}
rule main c = parse
| "digraph" [' ']+ [^'\n']* '\n' as lxm
{
if c <= 0 then []
else
let b = Buffer.create 32 in
Buffer.add_string b lxm ;
let now =
try
image 0 b lexbuf ;
Some (Buffer.contents b)
with End_of_file -> None in
match now with
| None -> []
| Some img -> img :: main (c-1) lexbuf
}
| [^'\n']* '\n' { main c lexbuf }
| eof { eof := true ; [] }
and image depth b = parse
| ' '* '}' ' '* '\n' as lxm
{
Buffer.add_string b lxm ;
if depth > 0 then image (depth-1) b lexbuf
}
| "subgraph" [^'{']* '{' [^'\n']* '\n' as lxm
{ Buffer.add_string b lxm ; image (depth+1) b lexbuf }
| [^'\n']* '\n' as lxm
{ Buffer.add_string b lxm ; image depth b lexbuf }
| eof { eof := true ; raise End_of_file }
{
let args = ref []
let max = ref 16
let prog = if Array.length Sys.argv > 0 then Sys.argv.(0) else "splitdot"
let () =
Arg.parse
["-max",Arg.Int (fun i -> max := i),
sprintf "<n> at most <n> images, default %i" !max]
(fun s -> args := !args @ [s])
(sprintf "usage: %s [options] filename" prog)
let name = match !args with
| [name] -> name
| _ -> eprintf "usage: %s [options] filename" prog ; exit 2
let dir = Filename.dirname name
let base = Filename.basename name
let base = Filename.chop_extension base
let chan = open_in name
let imgs = main !max (Lexing.from_channel chan)
let () = close_in chan
let c = ref 0
let () =
List.iter
(fun txt ->
let x = !c in
incr c ;
let name =
(Filename.concat dir (sprintf "%s-%02i.dot" base x)) in
let chan = open_out name in
output_string chan txt ;
close_out chan ;
printf "%s\n" name)
imgs ;
if not !eof then printf "MORE\n" ;
()
}
|
