SpinalFormalFunSuite

Instance Constructors

new SpinalFormalFunSuite()

Type Members

class CheckingEqualizer[L] extends AnyRef

Definition Classes
TripleEqualsSupport
class Equalizer[L] extends AnyRef

Definition Classes
TripleEqualsSupport
trait NoArgTest extends () ⇒ Outcome with TestData

Attributes
protected
Definition Classes
TestSuite

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

Definition Classes
TripleEqualsSupport
def !==(right: Null): TripleEqualsInvocation[Null]

Definition Classes
TripleEqualsSupport
def !==[T](right: T): TripleEqualsInvocation[T]

Definition Classes
TripleEqualsSupport
final def ##(): Int

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

Definition Classes
AnyRef → Any
def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

Definition Classes
TripleEqualsSupport
def ===(right: Null): TripleEqualsInvocation[Null]

Definition Classes
TripleEqualsSupport
def ===[T](right: T): TripleEqualsInvocation[T]

Definition Classes
TripleEqualsSupport
def alert: Alerter

Attributes
protected
Definition Classes
AnyFunSuiteLike → Alerting
final def asInstanceOf[T0]: T0

Definition Classes
Any
def assert(assertion: Bool)(implicit loc: Location): AssertStatement
macro def assert(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

Definition Classes
Assertions
macro def assert(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion

Definition Classes
Assertions
macro def assertCompiles(code: String)(implicit pos: Position): Assertion

Definition Classes
Assertions
macro def assertDoesNotCompile(code: String)(implicit pos: Position): Assertion

Definition Classes
Assertions
def assertResult(expected: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

Definition Classes
Assertions
def assertResult(expected: Any, clue: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

Definition Classes
Assertions
def assertThrows[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): Assertion

Definition Classes
Assertions
macro def assertTypeError(code: String)(implicit pos: Position): Assertion

Definition Classes
Assertions
def assume(assertion: Bool)(implicit loc: Location): AssertStatement
macro def assume(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

Definition Classes
Assertions
macro def assume(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion

Definition Classes
Assertions
def cancel(cause: Throwable)(implicit pos: Position): Nothing

Definition Classes
Assertions
def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing

Definition Classes
Assertions
def cancel(message: String)(implicit pos: Position): Nothing

Definition Classes
Assertions
def cancel()(implicit pos: Position): Nothing

Definition Classes
Assertions
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]

Definition Classes
TripleEquals → TripleEqualsSupport
implicit def convertToEqualizer[T](left: T): Equalizer[T]

Definition Classes
TripleEquals → TripleEqualsSupport
def defaultEquality[A]: Equality[A]

Definition Classes
TripleEqualsSupport
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

Definition Classes
Suite
def expectedTestCount(filter: Filter): Int

Definition Classes
Suite
def fail(cause: Throwable)(implicit pos: Position): Nothing

Definition Classes
Assertions
def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing

Definition Classes
Assertions
def fail(message: String)(implicit pos: Position): Nothing

Definition Classes
Assertions
def fail()(implicit pos: Position): Nothing

Definition Classes
Assertions
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

Attributes
protected
Definition Classes
AnyFunSuiteLike
def info: Informer

Attributes
protected
Definition Classes
AnyFunSuiteLike → Informing
def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T

Definition Classes
Assertions
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
def markup: Documenter

Attributes
protected
Definition Classes
AnyFunSuiteLike → Documenting
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def nestedSuites: IndexedSeq[Suite]

Definition Classes
Suite
def note: Notifier

Attributes
protected
Definition Classes
AnyFunSuiteLike → Notifying
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def pending: Assertion with PendingStatement

Definition Classes
Assertions
def pendingUntilFixed(f: ⇒ Unit)(implicit pos: Position): Assertion with PendingStatement

Definition Classes
Assertions
final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

Definition Classes
AnyFunSuiteLike → TestRegistration
final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

Definition Classes
AnyFunSuiteLike → TestRegistration
def rerunner: Option[String]

Definition Classes
Suite
def run(testName: Option[String], args: Args): Status

Definition Classes
AnyFunSuiteLike → Suite
def runNestedSuites(args: Args): Status

Attributes
protected
Definition Classes
Suite
def runTest(testName: String, args: Args): Status

Attributes
protected
Definition Classes
AnyFunSuiteLike → TestSuite → Suite
def runTests(testName: Option[String], args: Args): Status

Attributes
protected
Definition Classes
AnyFunSuiteLike → Suite
def shouldFail(body: ⇒ Unit): Assertion
final val succeed: Assertion

Definition Classes
Assertions
def suiteId: String

Definition Classes
Suite
def suiteName: String

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

Definition Classes
AnyRef
def tags: Map[String, Set[String]]

Definition Classes
AnyFunSuiteLike → Suite
def test(testName: String)(testFun: ⇒ Unit): Unit
def test(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

Attributes
protected
Definition Classes
AnyFunSuiteLike
def testDataFor(testName: String, theConfigMap: ConfigMap): TestData

Definition Classes
AnyFunSuiteLike → Suite
def testNames: Set[String]

Definition Classes
AnyFunSuiteLike → Suite
def testsFor(unit: Unit): Unit

Attributes
protected
Definition Classes
AnyFunSuiteLike
def toString(): String

Definition Classes
AnyFunSuite → AnyFunSuiteLike → AnyRef → Any
def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
final def wait(arg0: Long, arg1: Int): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
def withClue[T](clue: Any)(fun: ⇒ T): T

Definition Classes
Assertions
def withFixture(test: NoArgTest): Outcome

Attributes
protected
Definition Classes
TestSuite

Deprecated Value Members

def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
Annotations
@deprecated
Deprecated
(Since version 3.1.0) The conversionCheckedConstraint method has been deprecated and will be removed in a future version of ScalaTest. It is no longer needed now that the deprecation period of ConversionCheckedTripleEquals has expired. It will not be replaced.
def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
Annotations
@deprecated
Deprecated
(Since version 3.1.0) The convertEquivalenceToAToBConversionConstraint method has been deprecated and will be removed in a future version of ScalaTest. It is no longer needed now that the deprecation period of ConversionCheckedTripleEquals has expired. It will not be replaced.
def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
Annotations
@deprecated
Deprecated
(Since version 3.1.0) The convertEquivalenceToBToAConversionConstraint method has been deprecated and will be removed in a future version of ScalaTest. It is no longer needed now that the deprecation period of ConversionCheckedTripleEquals has expired. It will not be replaced.
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.
def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): CanEqual[A, B]

Definition Classes
TripleEquals → TripleEqualsSupport
Annotations
@deprecated
Deprecated
(Since version 3.1.0) The lowPriorityConversionCheckedConstraint method has been deprecated and will be removed in a future version of ScalaTest. It is no longer needed now that the deprecation period of ConversionCheckedTripleEquals has expired. It will not be replaced.
final val styleName: String

Definition Classes
AnyFunSuiteLike → Suite
Annotations
@deprecated
Deprecated
(Since version 3.1.0) The styleName lifecycle method has been deprecated and will be removed in a future version of ScalaTest with no replacement.

Related Doc: package formal

class SpinalFormalFunSuite extends AnyFunSuite

Instance Constructors

new SpinalFormalFunSuite()

Type Members

class CheckingEqualizer[L] extends AnyRef

class Equalizer[L] extends AnyRef

trait NoArgTest extends () ⇒ Outcome with TestData

Value Members

final def !=(arg0: Any): Boolean

def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

def !==(right: Null): TripleEqualsInvocation[Null]

def !==[T](right: T): TripleEqualsInvocation[T]

final def ##(): Int

final def ==(arg0: Any): Boolean

def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

def ===(right: Null): TripleEqualsInvocation[Null]

def ===[T](right: T): TripleEqualsInvocation[T]

def alert: Alerter

final def asInstanceOf[T0]: T0

def assert(assertion: Bool)(implicit loc: Location): AssertStatement

macro def assert(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

macro def assert(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion

macro def assertCompiles(code: String)(implicit pos: Position): Assertion

macro def assertDoesNotCompile(code: String)(implicit pos: Position): Assertion

def assertResult(expected: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

def assertResult(expected: Any, clue: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

def assertThrows[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): Assertion

macro def assertTypeError(code: String)(implicit pos: Position): Assertion

def assume(assertion: Bool)(implicit loc: Location): AssertStatement

macro def assume(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion

macro def assume(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion

def cancel(cause: Throwable)(implicit pos: Position): Nothing

def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing

def cancel(message: String)(implicit pos: Position): Nothing

def cancel()(implicit pos: Position): Nothing

def clone(): AnyRef

def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]

def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]

def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]

implicit def convertToEqualizer[T](left: T): Equalizer[T]

def defaultEquality[A]: Equality[A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

def expectedTestCount(filter: Filter): Int

def fail(cause: Throwable)(implicit pos: Position): Nothing

def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing

def fail(message: String)(implicit pos: Position): Nothing

def fail()(implicit pos: Position): Nothing

final def getClass(): Class[_]

def hashCode(): Int

def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

def info: Informer

def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T

final def isInstanceOf[T0]: Boolean

def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]

def markup: Documenter

final def ne(arg0: AnyRef): Boolean

def nestedSuites: IndexedSeq[Suite]

def note: Notifier

final def notify(): Unit

final def notifyAll(): Unit

def pending: Assertion with PendingStatement

def pendingUntilFixed(f: ⇒ Unit)(implicit pos: Position): Assertion with PendingStatement

final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit

def rerunner: Option[String]

def run(testName: Option[String], args: Args): Status

def runNestedSuites(args: Args): Status

def runTest(testName: String, args: Args): Status

def runTests(testName: Option[String], args: Args): Status

def shouldFail(body: ⇒ Unit): Assertion

final val succeed: Assertion

def suiteId: String

def suiteName: String

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

def tags: Map[String, Set[String]]

def test(testName: String)(testFun: ⇒ Unit): Unit