tools/scala.scalanative.checker/Check

Check

final class Check(implicit linked: Result) extends NIRCheck
Companion:
object
class NIRCheck
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 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
override def checkMethod(meth: Method): Unit
Definition Classes
def checkNext(next: Next): Unit
def checkOp(op: Op): Unit
def checkUnwind(next: Next): Unit
def enterInst(inst: Inst): Unit
def in[T](entry: String)(f: => T): T

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]): Unit
Inherited from:
NIRCheck

Concrete fields

val env: Map[Local, Type]
val labels: Map[Local, Seq[Type]]
var retty: Type

Inherited fields

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