tools/scala.scalanative.checker/QuickCheck

QuickCheck

final class QuickCheck(implicit analysis: Result) extends NIRCheck
class NIRCheck
class Object
trait Matchable
class Any

Value members

Concrete methods

def checkInst(inst: Inst): Unit
override def checkMethod(meth: Method): Unit
Definition Classes
def checkOp(op: Op): Unit

Inherited methods

final protected def checkFieldOp(op: Field): Unit
Inherited from:
NIRCheck
def checkInfo(info: Info): Unit
Inherited from:
NIRCheck
final protected def checkMethodOp(op: Method): Unit
Inherited from:
NIRCheck
def error(msg: String): Unit
Inherited from:
NIRCheck
def expect(expected: Type, got: Type): Unit
Inherited from:
NIRCheck
def expect(expected: Type, got: Val): Unit
Inherited from:
NIRCheck
def ok: Unit
Inherited from:
NIRCheck
def run(infos: Seq[Info])(implicit ec: ExecutionContext): Future[Seq[Error]]
Inherited from:
NIRCheck

Inherited fields

var ctx: List[String]
Inherited from:
NIRCheck
val errors: UnrolledBuffer[Error]
Inherited from:
NIRCheck
var name: Global
Inherited from:
NIRCheck