org.scalacheck

Properties

Related Doc: package scalacheck

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()
Source
Properties.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Properties
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Properties(name: String)

Type Members

  1. sealed class PropertySpecifier extends AnyRef

    Used for specifying properties.

    Used for specifying properties. Usage:

    property("myProp") = ...

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  5. 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.

  6. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  12. 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.

  13. def include(ps: Properties): Unit

    Adds all properties from another property collection to this one

  14. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  15. 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.

  16. val name: String

  17. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  20. 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.

  21. def properties: Seq[(String, Prop)]

    Returns all properties of this collection in a list of name/property pairs.

  22. lazy val property: PropertySpecifier

  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  24. def toString(): String

    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped