From 8dcb59ce2de9ea97e0de55bfe3f04df934a593bb Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 29 Mar 2016 14:15:56 +0100 Subject: Add tests for JavaTypes.bind --- .../tests/frontends/java/JavaTypesTests.java | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java (limited to 'src/test') diff --git a/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java b/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java new file mode 100644 index 0000000..ae8d9c0 --- /dev/null +++ b/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaTypesTests.java @@ -0,0 +1,28 @@ +package org.zwobble.couscous.tests.frontends.java; + +import org.junit.Test; +import org.zwobble.couscous.frontends.java.JavaTypes; +import org.zwobble.couscous.types.ScalarType; +import org.zwobble.couscous.types.TypeParameter; + +import static org.junit.Assert.assertEquals; +import static org.zwobble.couscous.types.BoundTypeParameter.boundTypeParameter; +import static org.zwobble.couscous.types.TypeParameter.typeParameter; + +public class JavaTypesTests { + private static final ScalarType INT_TYPE = ScalarType.of("int"); + + @Test + public void bindingTypeToItselfReturnsType() { + assertEquals( + INT_TYPE, + JavaTypes.bind(INT_TYPE, INT_TYPE)); + } + @Test + public void bindingTypeToGenericTypeParameterReturnsBoundTypeParameter() { + TypeParameter typeParameter = typeParameter(ScalarType.of("List"), "T"); + assertEquals( + boundTypeParameter(typeParameter, INT_TYPE), + JavaTypes.bind(typeParameter, INT_TYPE)); + } +} -- cgit v1.2.3