diff src/test/java/fj/data/test/TestNull.java @ 0:fe80c1edf1be

add getLoop
author tatsuki
date Fri, 20 Mar 2015 21:04:03 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/test/java/fj/data/test/TestNull.java	Fri Mar 20 21:04:03 2015 +0900
@@ -0,0 +1,33 @@
+package fj.data.test;
+
+import fj.F2;
+import fj.F3;
+import fj.data.List;
+import fj.test.Arbitrary;
+import fj.test.CheckResult;
+import fj.test.Gen;
+import fj.test.Property;
+import org.junit.Test;
+
+import static fj.Function.compose;
+import static fj.test.Arbitrary.*;
+import static fj.test.Arbitrary.arbLong;
+import static fj.test.Coarbitrary.coarbInteger;
+import static fj.test.Coarbitrary.coarbLong;
+import static fj.test.Property.prop;
+import static fj.test.Property.property;
+
+/**
+ * Created by MarkPerry on 3/07/2014.
+ */
+public class TestNull {
+
+	@Test
+	public void testShowNullParameters() {
+		Property p = property(arbitrary(Gen.<Integer>value(null)), (Integer i) -> {
+				return prop(i != null);
+		});
+		CheckResult.summary.println(p.check());
+	}
+
+}