Used for specifying properties.
Convenience method that checks the properties with the given parameters (or default parameters, if not specified) and reports the result on the console.
Convenience method that checks the properties with the given parameters (or default parameters, if not specified) and reports the result on the console. Should only be used when running tests interactively within the Scala REPL.
If you need to get the results
from the test use the check
methods in org.scalacheck.Test
instead.
Adds all properties from another property collection to this one with a prefix this is prepended to each included property's name.
Adds all properties from another property collection to this one
Convenience method that makes it possible to use this property collection as an application that checks itself on execution.
Convenience method that makes it possible to use this property collection
as an application that checks itself on execution. Calls System.exit
with the exit code set to the number of failed properties.
Changes to the test parameters that are specific to this class.
Changes to the test parameters that are specific to this class. Can be used to set custom parameter values for this test.
Returns all properties of this collection in a list of name/property pairs.
Represents a collection of properties, with convenient methods for checking all properties at once. This class is itself a property, which holds if and only if all of the contained properties hold.
Properties are added in the following way: