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/khs_ast.ml | |
| parent | 8456506c0b9c8e78eec2cc464851cef36ca03398 (diff) | |
| download | SystemeReseaux-Projet-0140792c8111d2dd1cf9004f2e3e602ec34ed30a.tar.gz SystemeReseaux-Projet-0140792c8111d2dd1cf9004f2e3e602ec34ed30a.zip | |
Cleanup.
Diffstat (limited to 'khb/khs_ast.ml')
| -rw-r--r-- | khb/khs_ast.ml | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/khb/khs_ast.ml b/khb/khs_ast.ml deleted file mode 100644 index f5b2c8d..0000000 --- a/khb/khs_ast.ml +++ /dev/null @@ -1,36 +0,0 @@ - -type khs_binop = - | PLUS | MINUS - | TIMES | DIV | MOD - | EQUAL | NEQUAL - | GT | LT | GE | LE - | AND | OR | XOR - -type khs_unop = - | MINUS | NOT - -type khs_expr = - | EEmpty - | EInt of int - | EStr of string - | EBool of bool - | EFrame - | ELocal of string - | EBinary of khs_expr * khs_binop * khs_expr - | EUnary of khs_unop * khs_expr - | ETernary of khs_expr * khs_expr * khs_expr - | ECat of khs_expr * khs_expr - | ELoad of khs_expr - | ENewChan - -type khs_stmt = - | SLabel of string - | SSet of khs_expr * khs_expr - | SGoto of khs_expr - | SPar of khs_expr - (* RECV and SEND do a load on their second argument (the chan), - (ie they expect an address and not a value) *) - | SRecv of khs_expr * khs_expr - | SSend of khs_expr * khs_expr - | SUnset of khs_expr list - | SExit |