ExpectationCheckerAsserting

Abstract class that in the future will hold an intermediate priority CheckerAsserting implicit, which will enable inspector expressions that have result type Expectation, a more composable form of assertion that returns a result instead of throwing an exception when it fails.

Linear Supertypes

UnitCheckerAsserting, AnyRef, Any

Known Subclasses

CheckerAsserting

Instance Constructors

new ExpectationCheckerAsserting()

Type Members

abstract class CheckerAssertingImpl[T] extends CheckerAsserting[T]

Abstract subclass of CheckerAsserting that provides the bulk of the implementations of CheckerAsserting check method.
Abstract subclass of CheckerAsserting that provides the bulk of the implementations of CheckerAsserting check method.

Definition Classes
UnitCheckerAsserting

Value Members

final def !=(arg0: Any): Boolean

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

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

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

Definition Classes
Any
implicit def assertingNatureOfT[T]: CheckerAsserting[T] { type Result = Unit }

Provides support of CheckerAsserting for Unit.
Provides support of CheckerAsserting for Unit. Do nothing when the check succeeds, but throw GeneratorDrivenPropertyCheckFailedException when check fails.

Definition Classes
UnitCheckerAsserting
def clone(): AnyRef

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

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

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package scalacheck

abstract class ExpectationCheckerAsserting extends UnitCheckerAsserting

Instance Constructors

new ExpectationCheckerAsserting()

Type Members

abstract class CheckerAssertingImpl[T] extends CheckerAsserting[T]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

implicit def assertingNatureOfT[T]: CheckerAsserting[T] { type Result = Unit }

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from UnitCheckerAsserting

Inherited from AnyRef

Inherited from Any

Ungrouped