let load_ya_file f =
try
let c = open_in f in
let (automata,auto_vars,auto_funs) = Yalexer.parse c in
close_in c;
Data_for_aorai.setAutomata automata auto_vars auto_funs;
with
Not_found ->
Aorai_option.fatal "Problem with file : %s\n" f
| Yalexer.Error (loc,msg) ->
Aorai_option.abort
"File %S, line %d, characters %d-%d:@\nError: %s"
(fst loc).Lexing.pos_fname (fst loc).Lexing.pos_lnum
((fst loc).Lexing.pos_cnum - (fst loc).Lexing.pos_bol)
((snd loc).Lexing.pos_cnum - (fst loc).Lexing.pos_bol)
msg