end of line
[scilab.git] / scilab / modules / scicos / src / translator / translation / libraryManager.ml
1 (*
2  *  Translator from Modelica 2.x to flat Modelica
3  *
4  *  Copyright (C) 2005 - 2007 Imagine S.A.
5  *  For more information or commercial use please contact us at www.amesim.com
6  *
7  *  This program is free software; you can redistribute it and/or
8  *  modify it under the terms of the GNU General Public License
9  *  as published by the Free Software Foundation; either version 2
10  *  of the License, or (at your option) any later version.
11  *
12  *  This program is distributed in the hope that it will be useful,
13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  *  GNU General Public License for more details.
16  *
17  *  You should have received a copy of the GNU General Public License
18  *  along with this program; if not, write to the Free Software
19  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
20  *
21  *)
22
23 let evaluate x = Lazy.force x
24
25 let rec parse_stored_libraries lib_paths =
26   List.fold_left parse_library [] lib_paths
27
28 and parse_command cmd =
29   let token_fun = Lexer.token
30   and lexbuf = Lexing.from_string cmd in
31   Parser.parse Parser.CommandLine token_fun lexbuf
32
33 and parse_library lib_syns lib_path =
34   try
35     let file_names = modelica_file_names_of lib_path in
36     lib_syns @ (List.fold_left parse_file [] file_names)
37   with
38     exn ->
39       ExceptHandler.handle exn;
40       lib_syns
41
42 and parse_file lib_syns file_name =
43   let ic = open_in_bin file_name in
44   try
45     let token_fun = Lexer.token
46     and lexbuf = Lexing.from_channel ic in
47     let src = Parser.LibraryFile file_name in
48     let lib_syn = Parser.parse src token_fun lexbuf in
49     close_in ic;
50     lib_syn :: lib_syns
51   with
52     exn ->
53       close_in ic;
54       ExceptHandler.handle exn;
55       lib_syns
56
57 and modelica_file_names_of lib_path =
58   let rec modelica_file_names_of' acc lib_path =
59     let base_name = basename lib_path
60     and dir_name = dirname lib_path in
61     let lib_path = Filename.concat dir_name base_name in
62     match is_directory lib_path with
63     | true ->
64         let names = Array.to_list (Sys.readdir lib_path) in
65         let lib_paths =
66           List.map (function s -> Filename.concat lib_path s) names in
67         List.fold_left modelica_file_names_of' acc lib_paths
68     | false when Filename.check_suffix lib_path ".mo" -> lib_path :: acc
69     | false -> acc in
70   modelica_file_names_of' [] lib_path
71
72 and basename lib_path =
73   match Filename.basename lib_path with
74   | "." -> basename (Filename.dirname lib_path)
75   | s -> s
76
77 and dirname lib_path =
78   match Filename.basename lib_path with
79   | "." -> dirname (Filename.dirname lib_path)
80   | _ -> Filename.dirname lib_path
81
82 and is_directory dirname =
83   try
84     Sys.is_directory dirname
85   with _ -> false
86