civicaml/util.mli

(* Logging functions, they print to stderr and consider the verbosity flag *)
val prt_line : string -> unit
val prt_node : Ast.node -> unit
val log_line : int -> string -> unit
val log_node : int -> Ast.node -> unit
val dbg_line : string -> unit
val dbg_node : Ast.node -> unit

(* Generate a fresh variable from a given prefix, e.g. "foo" -> "foo$1"  *)
val fresh_var : string -> string

(* Generate a fresg constant from a given prefix, e.g. "foo" -> "foo$$1"  *)
val fresh_const : string -> string

(* Generate an Ast.loc tuple from Lexing data structures *)
val loc_from_lexpos : Lexing.position -> Lexing.position -> Ast.loc

(* Default transformation traversal for AST nodes *)
val transform_children : (Ast.node -> Ast.node) -> Ast.node -> Ast.node

(* Transform all nodes in a list *)
val transform_all : (Ast.node -> Ast.node) -> Ast.node list -> Ast.node list

(*val visit_children : (Ast.node -> unit) -> Ast.node -> unit*)

(* Extract location from node *)
val locof : Ast.node -> Ast.loc

(* Print file location to stderr *)
val prerr_loc : Ast.loc -> unit

(* Print file location to stderr *)
val prerr_loc_msg : Ast.loc -> string -> int -> unit

(* Flatten Block nodes into the given array of nodes *)
val flatten_blocks : Ast.node list -> Ast.node list

(* Get function / expression type *)
val ctypeof : Ast.node -> Ast.ctype

(* Extract the node list from a Block node *)
val block_body : Ast.node -> Ast.node list

(* Get the size of a list by traversing it recurcively *)
val list_size : 'a list -> int

(* Get the basic type of a ctype, removing array dimensions *)
val base_type : Ast.ctype -> Ast.ctype

(* Get the number of dimensions from an Array type *)
val array_depth : Ast.ctype -> int