tools/scala.scalanative.checker/Check

Check

final
class Check(implicit linked: Result)
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def checkAggregateOp(ty: AggregateKind, indexes: Seq[Val], stores: Option[Type]): Unit
def checkBinOp(bin: Bin, ty: Type, l: Val, r: Val): Unit
def checkCallArgs(ty: Function, args: Seq[Val]): Unit
def checkCompOp(comp: Comp, ty: Type, l: Val, r: Val): Unit
def checkConvOp(conv: Conv, ty: Type, value: Val): Unit
def checkFieldOp(ty: Type, obj: Val, name: Global, value: Option[Val]): Unit
def checkFloatOp(op: String, ty: Type, l: Val, r: Val): Unit
def checkInfo(info: Info): Unit
def checkInst(inst: Inst): Unit
def checkIntegerOp(op: String, ty: Type, l: Val, r: Val): Unit
def checkIntegerOrBoolOp(op: String, ty: Type, l: Val, r: Val): Unit
def checkIntegerOrBoolOrRefOp(op: String, ty: Type, l: Val, r: Val): Unit
def checkMethod(meth: Method): Unit
def checkNext(next: Next): Unit
def checkOp(op: Op): Unit
def checkUnwind(next: Next): Unit
def enterInst(inst: Inst): Unit
def error(msg: String): Unit
def expect(expected: Type, got: Val): Unit
def expect(expected: Type, got: Type): Unit
def in[T](entry: String)(f: => T): T
def ok: Unit
def run(infos: Seq[Info]): Unit

Concrete fields

var ctx: List[String]
val env: Map[Local, Type]
val errors: UnrolledBuffer[Error]
val labels: Map[Local, Seq[Type]]
var name: Global
var retty: Type