From bfafa7dbc3325749358538a95cbb4831db66b03c Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Wed, 12 Mar 2014 10:11:12 +0100 Subject: First commit --- khb/khb_ast.ml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 khb/khb_ast.ml (limited to 'khb/khb_ast.ml') diff --git a/khb/khb_ast.ml b/khb/khb_ast.ml new file mode 100644 index 0000000..fa52ece --- /dev/null +++ b/khb/khb_ast.ml @@ -0,0 +1,27 @@ + +type khb_binop = + | PLUS | MINUS + | TIMES | DIV | MOD + | EQUAL | NEQUAL + | GT | LT | GE | LE + | AND | OR | XOR + | SEND | RECV | ASSIGN | SEQ + +type khb_unop = + | MINUS | NOT + | DEREF | REF + + +type khb_expr = + | BVar of string + | BStr of string + | BInt of int + | BBool of bool + | BUnary of unop * expr + | BBinary of expr * unop * expr + | BTernary of expr * expr * expr + | BCall of string * expr list + | BLoop of expr + | BNewChan + | BPar of expr + | BIndex of expr * expr -- cgit v1.2.3