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.  final def checkFieldOp(op: Field): Unit

   Attributes

   protected

   Definition Classes

   NIRCheck

6.  def checkInfo(info: Info): Unit

   Definition Classes

   NIRCheck

7.  def checkInst(inst: Inst): Unit
8.  def checkMethod(meth: Method): Unit

   Definition Classes

   QuickCheck → NIRCheck

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

   Attributes

   protected

   Definition Classes

   NIRCheck

10.  def checkOp(op: Op): Unit
11.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

12.  var ctx: List[String]

    Definition Classes

    NIRCheck

13.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef → Any

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

    Definition Classes

    NIRCheck

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

    Definition Classes

    NIRCheck

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

    Definition Classes

    NIRCheck

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

    Definition Classes

    NIRCheck

19.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

21.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

22.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

23.  var name: Global

    Definition Classes

    NIRCheck

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

    Definition Classes

    AnyRef

25.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

26.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

27.  def ok: Unit

    Definition Classes

    NIRCheck

28.  def run(infos: Seq[Info]): Unit

    Definition Classes

    NIRCheck

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

    Definition Classes

    AnyRef

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()