final
class
Check extends AnyRef
Instance Constructors
-
new
Check()(implicit linked: Result)
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
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: nir.Type.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
clone(): AnyRef
-
var
ctx: List[String]
-
def
enterInst(inst: Inst): Unit
-
val
env: Map[Local, Type]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
error(msg: String): Unit
-
val
errors: UnrolledBuffer[Check.Error]
-
def
expect(expected: Type, got: Type): Unit
-
def
expect(expected: Type, got: Val): Unit
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
in[T](entry: String)(f: ⇒ T): T
-
final
def
isInstanceOf[T0]: Boolean
-
val
labels: Map[Local, Seq[Type]]
-
var
name: Global
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
ok: Unit
-
var
retty: Type
-
def
run(infos: Seq[Info]): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit