org.quicktheories.api.Subject4 Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of quicktheories Show documentation

Property based testing for Java

The newest version!

package org.quicktheories.api;

/**
 * The state for a theory involving four values
 *
 * @param
 *          
 *          Type of first value
 * @param 
 *          Type of second value
 * @param 
 *          Type of third value
 * @param 
 *          Type of fourth value
 */
public interface Subject4 {

  /**
   * Checks a boolean property across a random sample of possible values
   * 
   * @param property
   *          property to check
   */
  public void check(final Predicate4 property);

  /**
   * Checks a property across a random sample of possible values where
   * falsification is indicated by an unchecked exception such as an assertion
   * 
   * @param property
   *          property to check
   */
  public void checkAssert(final QuadConsumer property);

}