Previous  Up  Next

Module CfAst


module CfAst: sig .. end
exception CfAstError

type expr =
| Apply of Loc.loc * string * expr * expr list
| Connect of Loc.loc * expr * expr
| Cond of Loc.loc * expr * expr * expr
| Name of Loc.loc * string
| Comp of Loc.loc * string * string list * stmt list
| Prim of Loc.loc * string * string list
| DotName of Loc.loc * expr * string
| DotPosition of Loc.loc * expr * Intbig.intbig
| Integer of Loc.loc * Intbig.intbig
| Float of Loc.loc * float
| Boolean of Loc.loc * bool
| Vector of Loc.loc * string
| Record of Loc.loc * (string * expr) list
| Free of Loc.loc

type stmt =
| ApplyStmt of expr
| ConnectStmt of expr 
val expr_loc : expr -> Loc.loc
val stmt_loc : stmt -> Loc.loc
val add_sub_env : expr -> expr -> string -> expr
val write_apply : expr -> string -> Pervasives.out_channel -> unit