scala.tools.nsc.Global

icodeChecker

object icodeChecker extends ICodeChecker

Source
Global.scala
Linear Supertypes
ICodeChecker, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. icodeChecker
  2. ICodeChecker
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def check(b: BasicBlock, initial: TypeStack): TypeStack

    Check the basic block to be type correct and return the produced type stack.

    Check the basic block to be type correct and return the produced type stack.

    Definition Classes
    ICodeChecker

  8. def check(c: Code): Unit

    Definition Classes
    ICodeChecker

  9. def check(m: IMethod): Unit

    Definition Classes
    ICodeChecker

  10. def check(cls: IClass): Unit

    Definition Classes
    ICodeChecker

  11. def checkICodes(): Unit

    Definition Classes
    ICodeChecker

  12. var clasz: IClass

    Definition Classes
    ICodeChecker

  13. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  14. var code: Code

    Definition Classes
    ICodeChecker

  15. def defaultInstrPrinter: () ⇒ String

    Definition Classes
    ICodeChecker

  16. val emptyStack: TypeStack

    Definition Classes
    ICodeChecker

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

    Definition Classes
    AnyRef

  18. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  19. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef → Any

  21. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  22. def icodeError(msg: String, stack: TypeStack): Unit

    Definition Classes
    ICodeChecker

  23. def icodeError(msg: String): Unit

    Definition Classes
    ICodeChecker

  24. val in: Map[BasicBlock, TypeStack]

    Definition Classes
    ICodeChecker

  25. def initMaps(bs: Seq[BasicBlock]): Unit

    Definition Classes
    ICodeChecker

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  27. def logChecker(msg: String): Unit

    A wrapper to route log messages to debug output also.

    A wrapper to route log messages to debug output also.

    Definition Classes
    ICodeChecker

  28. def meet(bl: BasicBlock): Unit

    Apply the meet operator of the stack lattice on bl's predecessors.

    Apply the meet operator of the stack lattice on bl's predecessors. :-). Compute the input to bl by checking that all stacks have the same length, and taking the lub of types at the same positions.

    Definition Classes
    ICodeChecker

  29. var method: IMethod

    Definition Classes
    ICodeChecker

  30. def mkInstrPrinter(f: (Int) ⇒ String): () ⇒ String

    A couple closure creators to reduce noise in the output: when multiple items are pushed or popped, this lets us print something short and sensible for those beyond the first.

    A couple closure creators to reduce noise in the output: when multiple items are pushed or popped, this lets us print something short and sensible for those beyond the first.

    Definition Classes
    ICodeChecker

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

    Definition Classes
    AnyRef

  32. def notChecked(ts: TypeStack): Boolean

    The presence of emptyStack means that path has not yet been checked (and may not be empty).

    The presence of emptyStack means that path has not yet been checked (and may not be empty).

    Definition Classes
    ICodeChecker

  33. final def notify(): Unit

    Definition Classes
    AnyRef

  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  35. val out: Map[BasicBlock, TypeStack]

    Definition Classes
    ICodeChecker

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

    Definition Classes
    AnyRef

  37. def toString(): String

    Definition Classes
    AnyRef → Any

  38. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from ICodeChecker

Inherited from AnyRef

Inherited from Any