From cf3b2cfd72f61fa3e4fdb13ebcfb70927c052599 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 6 Oct 2015 17:26:33 +0100 Subject: Ensure field is set to correct value --- .../couscous/tests/interpreter/EvaluatorTests.java | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'src/test') diff --git a/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java b/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java index 7c5594a..808c2a7 100644 --- a/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java +++ b/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java @@ -134,6 +134,26 @@ public class EvaluatorTests extends BackendEvalTests { assertEquals(new NoSuchField("value"), exception); } + @Test + public void cannotSetValueOfFieldWithWrongType() { + val classNode = ClassNode.builder("com.example.Example") + .field("value", IntegerValue.REF) + .constructor(constructor -> constructor + .statement(assignStatement( + fieldAccess(constructor.thisReference(), "value", IntegerValue.REF), + literal("")))) + .build(); + + val exception = assertThrows(UnexpectedValueType.class, + () -> evalExpression( + asList(classNode), + constructorCall( + classNode.getName(), + asList()))); + + assertEquals(new UnexpectedValueType(IntegerValue.REF, StringValue.REF), exception); + } + private static Environment emptyEnvironment() { return new Environment( JavaProject.builder().build(), -- cgit v1.2.3