Lahenda eval praktikumis

Author: sim642

src/eval/concrete.ml

@@ -17,17 +17,51 @@ let bool_of_int i = i <> 0
     Vihje: mod operaator.
     Vihje: int_of_bool. *)
 let eval_binary (l: int) (b: binary) (r: int): int =
-  failwith "TODO"
+  match b with
+  | Add -> l + r
+  | Sub -> l - r
+  | Mul -> l * r
+  | Div -> l / r
+  | Mod -> l mod r
+  | Eq -> int_of_bool (l = r)
+  | Ne -> int_of_bool (l <> r)
+  | Lt -> int_of_bool (l < r)
+  | Le -> int_of_bool (l <= r)
+  | Gt -> int_of_bool (l > r)
+  | Ge -> int_of_bool (l >= r)
 
 (** Väärtustab avaldise keskkonnas ja oraakliga.
     NB! Väärtustamise järjekord on oluline.
     Vihje: eval_binary. *)
 let rec eval_expr (env: env) (oracle: oracle) (expr: expr): int =
-  failwith "TODO"
+  match expr with
+  | Num i -> i
+  | Var x -> Env.find x env
+  | Rand (l, u) -> oracle (l, u)
+  | Binary (l, b, r) ->
+    let li = eval_expr env oracle l in
+    let ri = eval_expr env oracle r in
+    eval_binary li b ri
 
 (** Väärtustab lause keskkonnas ja oraakliga.
     Vihje: Vea jaoks kasuta failwith funktsiooni.
     Vihje: bool_of_int.
     Vihje: While jaoks kasuta rekursiooni. *)
 let rec eval_stmt (env: env) (oracle: oracle) (stmt: stmt): env =
-  failwith "TODO"
+  match stmt with
+  | Nop -> env
+  | Error -> failwith "eval_stmt: Error"
+  | Assign (x, e) ->
+    Env.add x (eval_expr env oracle e) env
+  | Seq (a, b) ->
+    eval_stmt (eval_stmt env oracle a) oracle b
+  | If (c, t, f) ->
+    if bool_of_int (eval_expr env oracle c) then
+      eval_stmt env oracle t
+    else
+      eval_stmt env oracle f
+  | While (c, b) ->
+    if bool_of_int (eval_expr env oracle c) then
+      eval_stmt (eval_stmt env oracle b) oracle stmt
+    else
+      env