Class

Properties

Related Doc: package scalacheck

Permalink

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()

Linear Supertypes

AnyRef, Any

Ordering

Alphabetic
By inheritance

Inherited

Properties
AnyRef
Any

Hide All
Show all

Visibility

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( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped