diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 21:56:04 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 21:56:04 +0200 |
| commit | 0140792c8111d2dd1cf9004f2e3e602ec34ed30a (patch) | |
| tree | edce9a1f3f65d1ad107e9e9dd2d28797e653a67d /_khb_experiment/khb_ast.ml | |
| parent | 8456506c0b9c8e78eec2cc464851cef36ca03398 (diff) | |
| download | SystemeReseaux-Projet-0140792c8111d2dd1cf9004f2e3e602ec34ed30a.tar.gz SystemeReseaux-Projet-0140792c8111d2dd1cf9004f2e3e602ec34ed30a.zip | |
Cleanup.
Diffstat (limited to '_khb_experiment/khb_ast.ml')
| -rw-r--r-- | _khb_experiment/khb_ast.ml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/_khb_experiment/khb_ast.ml b/_khb_experiment/khb_ast.ml new file mode 100644 index 0000000..fa52ece --- /dev/null +++ b/_khb_experiment/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 |