From c5f612e695f9fdc1773048899483f447507d3462 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 24 Nov 2015 21:06:25 +0000 Subject: Add tests for FreeVariables --- .../tests/frontends/java/FreeVariablesTests.java | 34 ++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 src/test/java/org/zwobble/couscous/tests/frontends/java/FreeVariablesTests.java (limited to 'src/test/java/org') diff --git a/src/test/java/org/zwobble/couscous/tests/frontends/java/FreeVariablesTests.java b/src/test/java/org/zwobble/couscous/tests/frontends/java/FreeVariablesTests.java new file mode 100644 index 0000000..68cfda7 --- /dev/null +++ b/src/test/java/org/zwobble/couscous/tests/frontends/java/FreeVariablesTests.java @@ -0,0 +1,34 @@ +package org.zwobble.couscous.tests.frontends.java; + +import org.junit.Test; +import org.zwobble.couscous.ast.FormalArgumentNode; +import org.zwobble.couscous.ast.VariableDeclaration; +import org.zwobble.couscous.values.StringValue; + +import java.util.List; + +import static java.util.Arrays.asList; +import static java.util.Collections.emptyList; +import static org.junit.Assert.assertEquals; +import static org.zwobble.couscous.ast.FormalArgumentNode.formalArg; +import static org.zwobble.couscous.ast.VariableDeclaration.var; +import static org.zwobble.couscous.ast.VariableReferenceNode.reference; +import static org.zwobble.couscous.frontends.java.FreeVariables.findFreeVariables; + +public class FreeVariablesTests { + @Test + public void referenceIsFreeIfThereIsNoAssociatedDeclaration() { + VariableDeclaration declaration = var("[id]", "[name]", StringValue.REF); + List freeVariables = findFreeVariables(emptyList(), asList(reference(declaration))); + assertEquals(asList(declaration), freeVariables); + } + + @Test + public void referenceIsNotFreeIfIsDeclaredAsArgument() { + VariableDeclaration declaration = var("[id]", "[name]", StringValue.REF); + List freeVariables = findFreeVariables( + asList(formalArg(declaration)), + asList(reference(declaration))); + assertEquals(emptyList(), freeVariables); + } +} -- cgit v1.2.3