Project

General

Profile

Revision 217837e2 src/compiler_common.ml

View differences:

src/compiler_common.ml
35 35
      end
36 36
  end
37 37

  
38
(* Loading Lusi file and filling type tables with parsed
38
(* Loading Lus/Lusi file and filling type tables with parsed
39 39
   functions/nodes *)
40
let parse_header own filename =
40
let parse filename extension =
41 41
  Location.set_input filename;
42
  let h_in = open_in filename in
43
  let lexbuf = Lexing.from_channel h_in in
42
  let f_in = open_in filename in
43
  let lexbuf = Lexing.from_channel f_in in
44 44
  Location.init lexbuf filename;
45 45
  (* Parsing *)
46
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. parsing header file %s@ " filename);
46
  let prog = 
47 47
    try
48
      let header = Parse.header Parser_lustre.header Lexer_lustre.token lexbuf in
49
      (*ignore (Modules.load_header ISet.empty header);*)
50
      close_in h_in;
51
      header
48
      match extension with
49
        ".lusi" ->
50
        Log.report ~level:1
51
          (fun fmt -> fprintf fmt ".. parsing header file %s@ " filename);
52
        Parse.header Parser_lustre.header Lexer_lustre.token lexbuf 
53
      | ".lus" ->
54
         Log.report ~level:1 
55
           (fun fmt -> fprintf fmt ".. parsing source file %s@ " filename);
56
         Parse.prog Parser_lustre.prog Lexer_lustre.token lexbuf
57
      | _ -> assert false
52 58
    with
53 59
    | (Parse.Error err) as exc -> 
54
      Parse.report_error err;
55
      raise exc
60
       Parse.report_error err;
61
       raise exc
56 62
    | Corelang.Error (loc, err) as exc -> (
57 63
      eprintf "Parsing error: %a%a@."
58
	Error.pp_error_msg err
59
	Location.pp_loc loc;
64
        Error.pp_error_msg err
65
        Location.pp_loc loc;
60 66
      raise exc
61 67
    )
62

  
63
let parse_source source_name =
64
  (* Loading the input file *)
65
  Location.set_input source_name;
66
  let s_in = open_in source_name in
67
  let lexbuf = Lexing.from_channel s_in in
68
  Location.init lexbuf source_name;
69

  
70
  (* Parsing *)
71
  Log.report ~level:1 
72
    (fun fmt -> fprintf fmt ".. parsing source file %s@ " source_name);
73
  try
74
    let prog = Parse.prog Parser_lustre.prog Lexer_lustre.token lexbuf in
75
    (*ignore (Modules.load_program ISet.empty prog);*)
76
    close_in s_in;
77
    prog
78
  with
79
  | (Parse.Error err) as exc -> 
80
    Parse.report_error err;
81
    raise exc
82
  | Corelang.Error (loc, err) as exc ->
83
    eprintf "Parsing error: %a%a@."
84
      Error.pp_error_msg err
85
      Location.pp_loc loc;
86
    raise exc
68
  in
69
  close_in f_in;
70
  prog
71
    
87 72

  
88 73
let expand_automata decls =
89 74
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. expanding automata@ ");
......
169 154
   (Env.initial, Env.initial)
170 155
 *)
171 156

  
172
let generate_lusic_header destname lusic_ext =	
173
  match !Options.output with
174
  | "C" -> C_backend_lusic.print_lusic_to_h destname lusic_ext
175
  | _ -> ()
176 157
	 
177 158

  
178 159
    

Also available in: Unified diff