NIRCheck

sealed abstract class NIRCheck(implicit linked: Result)
class Object
trait Matchable
class Any
class Check

Value members

Abstract methods

def checkMethod(meth: Method): Unit

Concrete methods

final protected def checkFieldOp(op: Field): Unit
def checkInfo(info: Info): Unit
final protected def checkMethodOp(op: Method): Unit
def error(msg: String): Unit
def expect(expected: Type, got: Val): Unit
def expect(expected: Type, got: Type): Unit
def ok: Unit
def run(infos: Seq[Info]): Unit

Concrete fields

var name: Global