ScalaCheckPropertyCheck
Attributes
- Graph
-
- Supertypes
-
trait ExpectationsCreationtrait ResultCheckstrait MatchResultStackTraceclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsResultPropobject AsResultProp.typetrait OneExpectationPerProptrait ScalaCheckPropertyDsltrait ScalaChecktrait AsResultPropLowImplicitsShow all
Members list
Value members
Concrete methods
checks if the property is true for each generated value, and with the specified parameters
checks if the property is true for each generated value, and with the specified parameters
Attributes
copied from ScalaCheck to be able to inject the proper freqMap pretty
copied from ScalaCheck to be able to inject the proper freqMap pretty
Attributes
Attributes
- Returns
-
the cause of the exception as a String if there is one
Inherited methods
this method can be overridden to throw exceptions when checking a result
this method can be overridden to throw exceptions when checking a result
Attributes
- Inherited from:
- ResultChecks
Attributes
- Returns
-
an Expectable with a description function
- Inherited from:
- ExpectationsCreation
Attributes
- Returns
-
an Expectable with a description
- Inherited from:
- ExpectationsCreation
Attributes
- Returns
-
an Expectable
- Inherited from:
- ExpectationsCreation
Attributes
- Returns
-
an Expectable with a description function
- Inherited from:
- ExpectationsCreation
Attributes
- Returns
-
an Expectable with a function to show the element T
- Inherited from:
- ExpectationsCreation
this method can be overridden to intercept a Result and modify it. It is used for example to set a stacktrace providing the location of a failure
this method can be overridden to intercept a Result and modify it. It is used for example to set a stacktrace providing the location of a failure
Attributes
- Inherited from:
- ResultChecks
Attributes
- Returns
-
the result without any side-effects
- Inherited from:
- ResultChecks
this method can be overridden to avoid filling-in a stacktrace indicating the location of the result
this method can be overridden to avoid filling-in a stacktrace indicating the location of the result
Attributes
- Inherited from:
- MatchResultStackTrace
Attributes
- Inherited from:
- ExpectationsCreation
Attributes
- Inherited from:
- ExpectationsCreation