Module Soc2cUtilSource

Sourceval type_to_string : Data.t -> string -> string
Sourceval data_type_to_c : Data.t -> string -> string
Sourceval lic_type_to_c : Lic.type_ -> string -> string
Sourceval string_of_flow_decl : (string * Data.t) -> string
Sourceval string_of_flow_decl_w7annot : Soc.gao list -> (string * Data.t) -> string
Sourcetype var_kind =
  1. | ML_IO of Soc.key
  2. | M_IO
  3. | Local
Sourceval gen_c_switch : string -> (string * string) list -> string

Dependending on Lv6MainArgs.global.soc2_no_switch gen_c_switch "c" ["case1","stmt1" ; "case2","stmt2" ; ... ] returns switch(c) { case case1: stmt1 ; break; case case2: stmt2 ; break; ... } or if (c == case1) { stmt1 } else { if (c == case2) { stmt2 } else { ... nop; }....}