Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def checkAggregateOp(ty: AggregateKind, indexes: Seq[Val], stores: Option[Type]): Unit
6.  def checkBinOp(bin: Bin, ty: Type, l: Val, r: Val): Unit
7.  def checkCallArgs(ty: nir.Type.Function, args: Seq[Val]): Unit
8.  def checkCompOp(comp: Comp, ty: Type, l: Val, r: Val): Unit
9.  def checkConvOp(conv: Conv, ty: Type, value: Val): Unit
10.  def checkFieldOp(ty: Type, obj: Val, name: Global, value: Option[Val]): Unit
11.  final def checkFieldOp(op: Field): Unit

    Attributes

    protected

    Definition Classes

    NIRCheck

12.  def checkFloatOp(op: String, ty: Type, l: Val, r: Val): Unit
13.  def checkInfo(info: Info): Unit

    Definition Classes

    NIRCheck

14.  def checkInst(inst: Inst): Unit
15.  def checkIntegerOp(op: String, ty: Type, l: Val, r: Val): Unit
16.  def checkIntegerOrBoolOp(op: String, ty: Type, l: Val, r: Val): Unit
17.  def checkIntegerOrBoolOrRefOp(op: String, ty: Type, l: Val, r: Val): Unit
18.  def checkMethod(meth: Method): Unit

    Definition Classes

    Check → NIRCheck

19.  final def checkMethodOp(op: Method): Unit

    Attributes

    protected

    Definition Classes

    NIRCheck

20.  def checkNext(next: Next): Unit
21.  def checkOp(op: Op): Unit
22.  def checkUnwind(next: Next): Unit
23.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

24.  var ctx: List[String]

    Definition Classes

    NIRCheck

25.  def enterInst(inst: Inst): Unit
26.  val env: Map[Local, Type]
27.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

28.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

29.  def error(msg: String): Unit

    Definition Classes

    NIRCheck

30.  val errors: UnrolledBuffer[Check.Error]

    Definition Classes

    NIRCheck

31.  def expect(expected: Type, got: Type): Unit

    Definition Classes

    NIRCheck

32.  def expect(expected: Type, got: Val): Unit

    Definition Classes

    NIRCheck

33.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

34.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

35.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

36.  def in[T](entry: String)(f: ⇒ T): T
37.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

38.  val labels: Map[Local, Seq[Type]]
39.  var name: Global

    Definition Classes

    NIRCheck

40.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

41.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

42.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

43.  def ok: Unit

    Definition Classes

    NIRCheck

44.  var retty: Type
45.  def run(infos: Seq[Info]): Unit

    Definition Classes

    NIRCheck

46.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

47.  def toString(): String

    Definition Classes

    AnyRef → Any

48.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

50.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()