feat: division by zero evaluation error

src/evaluator/expression/infix/mod.rs

@@ -43,9 +43,15 @@ impl Evaluator {
                     InfixOperator::Multiply => Ok(Object::Integer {
                         value: left_value * right_value,
                     }),
-                    InfixOperator::Divide => Ok(Object::Integer {
-                        value: left_value / right_value,
-                    }),
+                    InfixOperator::Divide => match right_value {
+                        0 => anyhow::bail!(
+                            "Division by zero, cannot apply the {} infix operator to a right hand operand of 0.",
+                            operator
+                        ),
+                        right_value => Ok(Object::Integer {
+                            value: left_value / right_value,
+                        }),
+                    },
                     InfixOperator::GreaterThan => match left_value > right_value {
                         true => Ok(Object::True),
                         false => Ok(Object::False),

src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs

@@ -0,0 +1,37 @@
+use super::*;
+
+#[template]
+#[rstest(
+    code,
+    snapshot_name,
+    case("5 / 0", "division_by_zero_integer_infix_expression_case_1"),
+    case("0 / 0", "division_by_zero_integer_infix_expression_case_2"),
+    case("-5 / 0", "division_by_zero_integer_infix_expression_case_3"),
+    case("10 / (5 - 5)", "division_by_zero_integer_infix_expression_case_4"),
+    case(
+        "let denominator = 0; 100 / denominator;",
+        "division_by_zero_integer_infix_expression_case_5"
+    )
+)]
+fn division_by_zero_integer_infix_expression_cases(code: &str, snapshot_name: &str) {}
+
+#[apply(division_by_zero_integer_infix_expression_cases)]
+fn test_division_by_zero_integer_infix_expression_lexical_analysis(
+    code: &str,
+    snapshot_name: &str,
+) {
+    assert_lexical_analysis!(code, snapshot_name);
+}
+
+#[apply(division_by_zero_integer_infix_expression_cases)]
+fn test_division_by_zero_integer_infix_expression_syntax_analysis(code: &str, snapshot_name: &str) {
+    assert_syntax_analysis!(code, snapshot_name);
+}
+
+#[apply(division_by_zero_integer_infix_expression_cases)]
+fn test_division_by_zero_integer_infix_expression_evaluation_error(
+    code: &str,
+    snapshot_name: &str,
+) {
+    assert_evaluation_error!(code, snapshot_name);
+}

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_1_evaluation_error.snap

@@ -0,0 +1,7 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: error
+---
+Err(
+    "Division by zero, cannot apply the / infix operator to a right hand operand of 0.",
+)

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_1_lexical_analysis.snap

@@ -0,0 +1,13 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: tokens
+---
+[
+    Integer {
+        literal: 5,
+    },
+    Divide,
+    Integer {
+        literal: 0,
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_1_syntax_analysis.snap

@@ -0,0 +1,17 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: abstract_syntax_tree
+---
+[
+    Expression {
+        expression: Infix {
+            left_hand: Integer {
+                literal: 5,
+            },
+            operator: Divide,
+            right_hand: Integer {
+                literal: 0,
+            },
+        },
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_2_evaluation_error.snap

@@ -0,0 +1,7 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: error
+---
+Err(
+    "Division by zero, cannot apply the / infix operator to a right hand operand of 0.",
+)

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_2_lexical_analysis.snap

@@ -0,0 +1,13 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: tokens
+---
+[
+    Integer {
+        literal: 0,
+    },
+    Divide,
+    Integer {
+        literal: 0,
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_2_syntax_analysis.snap

@@ -0,0 +1,17 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: abstract_syntax_tree
+---
+[
+    Expression {
+        expression: Infix {
+            left_hand: Integer {
+                literal: 0,
+            },
+            operator: Divide,
+            right_hand: Integer {
+                literal: 0,
+            },
+        },
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_3_evaluation_error.snap

@@ -0,0 +1,7 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: error
+---
+Err(
+    "Division by zero, cannot apply the / infix operator to a right hand operand of 0.",
+)

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_3_lexical_analysis.snap

@@ -0,0 +1,14 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: tokens
+---
+[
+    Minus,
+    Integer {
+        literal: 5,
+    },
+    Divide,
+    Integer {
+        literal: 0,
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_3_syntax_analysis.snap

@@ -0,0 +1,19 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: abstract_syntax_tree
+---
+[
+    Expression {
+        expression: Infix {
+            left_hand: MinusPrefix {
+                right_hand: Integer {
+                    literal: 5,
+                },
+            },
+            operator: Divide,
+            right_hand: Integer {
+                literal: 0,
+            },
+        },
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_4_evaluation_error.snap

@@ -0,0 +1,7 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: error
+---
+Err(
+    "Division by zero, cannot apply the / infix operator to a right hand operand of 0.",
+)

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_4_lexical_analysis.snap

@@ -0,0 +1,19 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: tokens
+---
+[
+    Integer {
+        literal: 10,
+    },
+    Divide,
+    OpeningRoundBracket,
+    Integer {
+        literal: 5,
+    },
+    Minus,
+    Integer {
+        literal: 5,
+    },
+    ClosingRoundBracket,
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_4_syntax_analysis.snap

@@ -0,0 +1,23 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: abstract_syntax_tree
+---
+[
+    Expression {
+        expression: Infix {
+            left_hand: Integer {
+                literal: 10,
+            },
+            operator: Divide,
+            right_hand: Infix {
+                left_hand: Integer {
+                    literal: 5,
+                },
+                operator: Minus,
+                right_hand: Integer {
+                    literal: 5,
+                },
+            },
+        },
+    },
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_5_evaluation_error.snap

@@ -0,0 +1,7 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: error
+---
+Err(
+    "Division by zero, cannot apply the / infix operator to a right hand operand of 0.",
+)

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_5_lexical_analysis.snap

@@ -0,0 +1,23 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: tokens
+---
+[
+    Let,
+    Identifier {
+        literal: "denominator",
+    },
+    Assign,
+    Integer {
+        literal: 0,
+    },
+    SemiColon,
+    Integer {
+        literal: 100,
+    },
+    Divide,
+    Identifier {
+        literal: "denominator",
+    },
+    SemiColon,
+]

src/tests/evaluation_error/division_by_zero_integer_infix_expression/snapshots/monkey_interpreter__tests__evaluation_error__division_by_zero_integer_infix_expression__test_division_by_zero_integer_infix_expression_case_5_syntax_analysis.snap

@@ -0,0 +1,25 @@
+---
+source: src/tests/evaluation_error/division_by_zero_integer_infix_expression/mod.rs
+expression: abstract_syntax_tree
+---
+[
+    Statement {
+        statement: Let {
+            identifier: "denominator",
+            expression: Integer {
+                literal: 0,
+            },
+        },
+    },
+    Expression {
+        expression: Infix {
+            left_hand: Integer {
+                literal: 100,
+            },
+            operator: Divide,
+            right_hand: Identifier {
+                identifier: "denominator",
+            },
+        },
+    },
+]

src/tests/evaluation_error/mod.rs

@@ -3,6 +3,7 @@ use super::*;
 #[macro_use]
 mod macros;
 
+mod division_by_zero_integer_infix_expression;
 mod type_mismatch_boolean_infix_expression;
 mod type_mismatch_boolean_prefix_expression;
 mod type_mismatch_integer_infix_expression;