discipline/org.typelevel.discipline/AllProperties

AllProperties

class AllProperties(name: String, bases: Seq[(String, RuleSet)], collectParentProps: => SortedMap[String, Prop]) extends Properties
class Object
trait Matchable
class Any

Type members

Inherited classlikes

sealed class PropertySpecifier()

Used for specifying properties. Usage:

Used for specifying properties. Usage:

property("myProp") = ...
Inherited from:
Properties
sealed class PropertyWithSeedSpecifier()
Inherited from:
Properties

Value members

Inherited methods

def check(prms: Parameters): Unit

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.

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.

Inherited from:
Properties
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.

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

Inherited from:
Properties
def include(ps: Properties): Unit

Adds all properties from another property collection to this one

Adds all properties from another property collection to this one

Inherited from:
Properties
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. Calls System.exit with the exit code set to the number of failed properties.

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.

Inherited from:
Console.out.println("Incorrectoptions:\n".+(os.mkString(","))) Test.CmdLineParser.printHelp() System.exit(-1) }">Properties
def overrideParameters(p: Parameters): Parameters

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.

Inherited from:
Properties
def properties: Seq[(String, Prop)]

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

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

Inherited from:
Properties

Inherited fields

lazy val property: PropertySpecifier
Inherited from:
Properties