Module GenCast (.ml)

module GenCast: sig .. end
Trim up the sast func_def to the cast cfunc_def
Returns It's a cast cfunc_def. Woo.

val to_fname : string -> string -> string
Parameters:
fuid : string
fname : string
val to_aname : string -> string -> string
Parameters:
fuid : string
fname : string
val to_rname : string -> string -> string -> string
Parameters:
fuid : string
fhost : string
fname : string
val to_dispatch : string -> string -> string -> string
Parameters:
fuid : string
fhost : string
fname : string
val get_fname : Sast.func_def -> string
Parameters:
() : Sast.func_def
val get_rname : Sast.func_def -> string
Parameters:
() : Sast.func_def
val get_vname : string -> string
Parameters:
vname : string
val get_pointer : string -> string
Parameters:
typ : string
val get_tname : string -> string
Parameters:
tname : string
val from_tname : string -> string
Parameters:
tname : string
val opt_tname : string option -> string option
Parameters:
?? : string option
val get_vdef : string * string -> string * string
Parameters:
(vtype,vname) : string * string
val cast_switch : string -> string -> Sast.refine_switch -> Sast.refine_switch
Parameters:
meth : string
refine : string
val sast_to_castexpr : string ->
('a * Sast.varkind) StringModules.StringMap.t -> Sast.expr -> Cast.cexpr
Parameters:
mname : string
env : ('a * Sast.varkind) StringModules.StringMap.t
(typetag,sastexpr) : Sast.expr
val sast_to_castexprlist : string ->
('a * Sast.varkind) StringModules.StringMap.t ->
Sast.expr list -> Cast.cexpr list
Parameters:
mname : string
env : ('a * Sast.varkind) StringModules.StringMap.t
explist : Sast.expr list
val c_expr_detail : string ->
Sast.expr_detail ->
('a * Sast.varkind) StringModules.StringMap.t -> Cast.cexpr_detail
Parameters:
mname : string
sastexp : Sast.expr_detail
env : ('a * Sast.varkind) StringModules.StringMap.t
val cstmtlist : string -> Sast.sstmt list -> Cast.cstmt list
Parameters:
mname : string
slist : Sast.sstmt list
val cdef : Ast.var_def -> Ast.var_def
Parameters:
vdef : Ast.var_def
val cstmt : string -> Sast.sstmt -> Cast.cstmt
Parameters:
mname : string
sstmt : Sast.sstmt
val sast_to_cast_func : Sast.func_def -> Cast.cfunc
Trim up the sast func_def to the cast cfunc_def
Returns It's a cast cfunc_def. Woo.
Parameters:
() : Sast.func_def
val build_class_struct_map : GlobalData.class_data ->
Sast.class_def list ->
(StringModules.StringMap.key * (string * string) list) list
StringModules.StringMap.t
Parameters:
klass_data : GlobalData.class_data
() : Sast.class_def list
val sast_functions : Sast.class_def list -> Sast.func_def list * Sast.func_def list
Parameters:
() : Sast.class_def list
val leaf_ancestors : GlobalData.class_data -> (StringModules.StringMap.key * string list) list
Parameters:
klass_data : GlobalData.class_data
val sast_to_cast : GlobalData.class_data -> Sast.class_def list -> Cast.program
Parameters:
klass_data : GlobalData.class_data
() : Sast.class_def list
val built_in_names : StringModules.StringSet.t