ScalaCheckPropertyCheck
Attributes
- Graph
-
- Supertypes
-
trait ExpectationsCreationtrait MatchResultStackTraceclass Objecttrait Matchableclass Any
- 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 the match result
this method can be overridden to throw exceptions when checking the match result
Attributes
- Inherited from:
- ExpectationsCreation
this method can be overridden to throw exceptions when checking the match result
this method can be overridden to throw exceptions when checking the match result
Attributes
- Inherited from:
- ExpectationsCreation
this method can be overridden to throw exceptions when checking the result
this method can be overridden to throw exceptions when checking the result
Attributes
- Inherited from:
- ExpectationsCreation
Attributes
- Returns
-
an Expectable with a description function
- Inherited from:
- ExpectationsCreation
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 function to show the element T
- Inherited from:
- ExpectationsCreation
this method can be overridden to intercept a MatchResult and change its message before it is thrown
this method can be overridden to intercept a MatchResult and change its message before it is thrown
Attributes
- Inherited from:
- ExpectationsCreation
Attributes
- Returns
-
the match result without any side-effects
- Inherited from:
- ExpectationsCreation
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