class Properties extends AnyRef
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:
object MyProps extends Properties("MyProps") { property("myProp1") = forAll { (n:Int, m:Int) => n+m == m+n } }
- Annotations
- @JSExportDescendentClasses() @JSExportDescendentObjects()
- Alphabetic
- By Inheritance
- Properties
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Properties(name: String)
Type Members
-
sealed
class
PropertySpecifier
extends AnyRef
Used for specifying properties.
Used for specifying properties. Usage:
property("myProp") = ...
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
check(prms: Parameters = Test.Parameters.default): Unit
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. -
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
def
include(ps: Properties, prefix: String): Unit
Adds all properties from another property collection to this one with a prefix this is prepended to each included property's name.
-
def
include(ps: Properties): Unit
Adds all properties from another property collection to this one
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
main(args: Array[String]): Unit
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. - val name: String
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
overrideParameters(p: Parameters): Parameters
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.
-
def
properties: Seq[(String, Prop)]
Returns all properties of this collection in a list of name/property pairs.
- lazy val property: PropertySpecifier
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )