|
1
|
(* Frama-C journal generated at 14:07 the 04/03/2015 *)
|
|
2
|
|
|
3
|
exception Unreachable
|
|
4
|
exception Exception of string
|
|
5
|
|
|
6
|
(* Run the user commands *)
|
|
7
|
let run () = ()
|
|
8
|
|
|
9
|
(* Main *)
|
|
10
|
let main () =
|
|
11
|
Journal.keep_file "./.frama-c/frama_c_journal.ml";
|
|
12
|
try run ()
|
|
13
|
with
|
|
14
|
| Unreachable -> Kernel.fatal "Journal reaches an assumed dead code"
|
|
15
|
| Exception s -> Kernel.log "Journal re-raised the exception %S" s
|
|
16
|
| exn ->
|
|
17
|
Kernel.fatal
|
|
18
|
"Journal raised an unexpected exception: %s"
|
|
19
|
(Printexc.to_string exn)
|
|
20
|
|
|
21
|
(* Registering *)
|
|
22
|
let main : unit -> unit =
|
|
23
|
Dynamic.register
|
|
24
|
~plugin:"Frama_c_journal.ml"
|
|
25
|
"main"
|
|
26
|
(Datatype.func Datatype.unit Datatype.unit)
|
|
27
|
~journalize:false
|
|
28
|
main
|
|
29
|
|
|
30
|
(* Hooking *)
|
|
31
|
let () = Cmdline.run_after_loading_stage main; Cmdline.is_going_to_load ()
|