module Cast:sig
..end
type
cexpr_detail =
| |
This |
| |
Null |
| |
Id of |
| |
NewObj of |
| |
NewArr of |
| |
Literal of |
| |
Assign of |
| |
Deref of |
| |
Field of |
| |
Invoc of |
| |
Unop of |
| |
Binop of |
| |
Refine of |
| |
Refinable of |
typecexpr =
string * cexpr_detail
type
cstmt =
| |
Decl of |
| |
If of |
| |
While of |
| |
Expr of |
| |
Super of |
| |
Return of |
type
cfunc = {
|
returns : |
|
name : |
|
formals : |
|
body : |
|
builtin : |
|
inklass : |
|
static : |
typeclass_struct =
(string * Ast.var_def list) list
typemain_func =
string * string
typeancestry_info =
string list StringModules.lookup_map
typeprogram =
class_struct StringModules.lookup_map * cfunc list *
main_func list * ancestry_info