1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
(***********************************************************************)
(* *)
(* CamlIDL *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1999 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0 *)
(* *)
(***********************************************************************)
(* $Id: enum.ml,v 1.9 2000/08/19 11:04:56 xleroy Exp $ *)
(* Handling of enums *)
open Printf
open Utils
open Variables
open Idltypes
(* Translate an ML datatype [v] to a C enum [c] *)
let enum_ml_to_c ml_to_c oc en v c =
iprintf oc "%s = camlidl_transl_table_%s_enum_%d[Int_val(%s)];\n"
c en.en_mod en.en_stamp v
(* Translate a C enum [c] to an ML datatype [v] *)
let enum_c_to_ml c_to_ml oc en c v =
if List.length en.en_consts <= 4 then begin
iprintf oc "switch(%s) {\n" c;
iter_index
(fun i c ->
iprintf oc "case %s: %s = Val_int(%d); break;\n" c.const_name v i)
0 en.en_consts;
iprintf oc "default: invalid_argument(\"%s: bad enum %s value\");\n"
!current_function en.en_name;
iprintf oc "}\n"
end else begin
iprintf oc "%s = camlidl_find_enum(%s, camlidl_transl_table_%s_enum_%d, %d, \"%s: bad enum %s value\");\n"
v c en.en_mod en.en_stamp (List.length en.en_consts)
!current_function en.en_name
end
(* Translate an ML list [v] to a C enumset [c] *)
let enumset_ml_to_c ml_to_c oc en v c =
if en.en_name = "" then
error "[set] attribute does not apply to anonymous enum";
iprintf oc "%s = convert_flag_list(%s, camlidl_transl_table_%s_enum_%d);\n"
c v en.en_mod en.en_stamp
(* Translate a C enumset [c] to an ML list [v] *)
let enumset_c_to_ml c_to_ml oc en c v =
if en.en_name = "" then
error "[set] attribute does not apply to anonymous enum";
iprintf oc "%s = camlidl_alloc_flag_list(%s, camlidl_transl_table_%s_enum_%d, %d);\n"
v c en.en_mod en.en_stamp (List.length en.en_consts)
|
