Class

org.scalacheck

Properties

Related Doc: package scalacheck

Permalink

class Properties extends AnyRef

Represents a collection of properties, with convenient methods for checking all properties at once.

Properties are added in the following way:

object MyProps extends Properties("MyProps") {
  property("myProp1") = forAll { (n:Int, m:Int) =>
    n+m == m+n
  }
}
Annotations
@EnableReflectiveInstantiation()
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Properties
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Properties(name: String)

    Permalink

Type Members

  1. sealed class PropertySpecifier extends AnyRef

    Permalink

    Used for specifying properties.

    Used for specifying properties. Usage:

    property("myProp") = ...

  2. sealed class PropertyWithSeedSpecifier extends AnyRef

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def check(prms: Parameters = Test.Parameters.default): Unit

    Permalink

    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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  11. def include(ps: Properties, prefix: String): Unit

    Permalink

    Adds all properties from another property collection to this one with a prefix this is prepended to each included property's name.

  12. def include(ps: Properties): Unit

    Permalink

    Adds all properties from another property collection to this one

  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  14. def main(args: Array[String]): Unit

    Permalink

    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.

  15. val name: String

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  19. def overrideParameters(p: Parameters): Parameters

    Permalink

    Customize the parameters specific to this class.

    Customize the parameters specific to this class.

    After the command-line (either main above or sbt) modifies the default parameters, this method is called with the current state of the parameters. This method must then return parameters. The default implementation returns the parameters unchanged. However, a user can override this method in a properties subclass. Their method can modify the parameters. Those parameters will take precedence when the properties are executed.

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

    Permalink

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

  21. lazy val property: PropertySpecifier

    Permalink

  22. lazy val propertyWithSeed: PropertyWithSeedSpecifier

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  24. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  25. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  26. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped