Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / .frama-c / frama_c_journal.ml @ 6a93d814

History | View | Annotate | Download (781 Bytes)

1
(* Frama-C journal generated at 17:03 the 17/02/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 ()