fj.data.test.PropertyAssert Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of functionaljava-quickcheck_1.8 Show documentation

Functional Java is an open source library that supports closures for the Java programming language

The newest version!

package fj.data.test;

import fj.Unit;
import fj.test.CheckResult;
import fj.test.Property;
import org.junit.Assert;

/**
 * Created by MarkPerry on 18/12/2014.
 */
public final class PropertyAssert {

    private PropertyAssert(){}

    public static Unit assertResult(Property p) {
        CheckResult cr = p.check();
        CheckResult.summary.println(cr);
        Assert.assertTrue(cr.isExhausted() || cr.isPassed() || cr.isProven());
        return Unit.unit();
    }

}