Check

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. def checkFloatOp(op: String, ty: Type, l: Val, r: Val): Unit

    

12. def checkInfo(info: Info): Unit

    

13. def checkInst(inst: Inst): Unit

    

14. def checkIntegerOp(op: String, ty: Type, l: Val, r: Val): Unit

    

15. def checkIntegerOrBoolOp(op: String, ty: Type, l: Val, r: Val): Unit

    

16. def checkIntegerOrBoolOrRefOp(op: String, ty: Type, l: Val, r: Val): Unit

    

17. def checkMethod(meth: Method): Unit

    

18. def checkNext(next: Next): Unit

    

19. def checkOp(op: Op): Unit

    

20. def checkUnwind(next: Next): Unit

    

21. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

22. var ctx: List[String]

    

23. def enterInst(inst: Inst): Unit

    

24. val env: Map[Local, Type]

    

25. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

26. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

27. def error(msg: String): Unit

    

28. val errors: UnrolledBuffer[Check.Error]

    

29. def expect(expected: Type, got: Type): Unit

    

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

    

31. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

32. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

33. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

34. def in[T](entry: String)(f: ⇒ T): T

    

35. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

36. val labels: Map[Local, Seq[Type]]

    

37. var name: Global

    

38. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

39. final def notify(): Unit

    

    Definition Classes

    AnyRef

40. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

41. def ok: Unit

    

42. var retty: Type

    

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

    

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

    

    Definition Classes

    AnyRef

45. def toString(): String

    

    Definition Classes

    AnyRef → Any

46. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )