package lustre-v6
-
lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val type_to_string : Data.t -> string -> stringval data_type_to_c : Data.t -> string -> stringval lic_type_to_c : Lic.type_ -> string -> stringval string_of_flow_decl : (string * Data.t) -> stringDependending 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;
}....}