scala.tools.nsc.Global.icodes

Type Members

final case class ARRAY(elem: TypeKind) extends TypeKind with Product with Serializable
case class Arithmetic(op: ArithmeticOp, kind: TypeKind) extends Primitive with Product with Serializable
class ArithmeticOp extends AnyRef

This class represents an arithmetic operation.
case class ArrayLength(kind: TypeKind) extends Primitive with Product with Serializable
case class BOXED(kind: TypeKind) extends TypeKind with Product with Serializable

A boxed value.
class BasicBlock extends ProgramPoint[BasicBlock] with Seq[Instruction]

This class represents a basic block.
class Code extends AnyRef

This class represents the intermediate code of a method or other multi-block piece of code, like exception handlers.
case class Comparison(op: ComparisonOp, kind: TypeKind) extends Primitive with Product with Serializable
class ComparisonOp extends AnyRef

This class represents a comparison operation.
case class Conversion(src: TypeKind, dst: TypeKind) extends Primitive with Product with Serializable
class DepthFirstLinerizer extends Linearizer

Linearize code using a depth first traversal.
class DumpLinearizer extends Linearizer

A 'dump' of the blocks in this method, which does not require any well-formedness of the basic blocks (like the last instruction being a jump).
class ExceptionHandler extends AnyRef
class Finalizer extends ExceptionHandler
class IClass extends IMember

Represent a class in ICode
abstract class ICodePhase extends GlobalPhase

A phase which works on icode.
class IField extends IMember

Represent a field in ICode
trait IMember extends Ordered[IMember]

Common interface for IClass/IField/IMethod.
class IMethod extends IMember

Represents a method in ICode.
abstract class Instruction extends Cloneable

This class represents an instruction of the intermediate code.
abstract class Linearizer extends AnyRef
class Local extends AnyRef

Represent local variables and parameters
case class Logical(op: LogicalOp, kind: TypeKind) extends Primitive with Product with Serializable
class LogicalOp extends AnyRef

This class represents a logical operation.
class MSILLinearizer extends Linearizer

The MSIL linearizer is used only for methods with at least one exception handler.
case class Negation(kind: TypeKind) extends Primitive with Product with Serializable
class NormalLinearizer extends Linearizer with WorklistAlgorithm

A simple linearizer which predicts all branches to take the 'success' branch and tries to schedule those blocks immediately after the test.
class Primitive extends AnyRef

This class represents a primitive operation.
class PrimitivePrinter extends AnyRef

Pretty printer for primitives
final case class REFERENCE(cls: Symbol) extends TypeKind with Product with Serializable

A class type.
type Rep = List[TypeKind]

Definition Classes
TypeStacks
class ReversePostOrderLinearizer extends Linearizer

Linearize code in reverse post order.
case class Shift(op: ShiftOp, kind: TypeKind) extends Primitive with Product with Serializable
class ShiftOp extends AnyRef

This class represents a shift operation.
case class StringConcat(el: TypeKind) extends Primitive with Product with Serializable
case class Test(op: TestOp, kind: TypeKind, zero: Boolean) extends Primitive with Product with Serializable
class TestOp extends AnyRef

This class represents a test operation.
class TextPrinter extends AnyRef
sealed abstract class TypeKind extends AnyRef

This class represents a type kind.
class TypeStack extends AnyRef
sealed abstract class ValueTypeKind extends TypeKind

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
object ADD extends ArithmeticOp with Product with Serializable

An arithmetic addition operation
object AND extends LogicalOp with Product with Serializable

A bitwise AND operation
object ASR extends ShiftOp with Product with Serializable

An arithmetic shift to the right
lazy val AnyRefReference: TypeKind

Definition Classes
ICodes
def ArrayN(elem: TypeKind, dims: Int): ARRAY

Definition Classes
TypeKinds
object BOOL extends ValueTypeKind with Product with Serializable

A boolean value
object BYTE extends ValueTypeKind with Product with Serializable

A 1-byte signed integer
lazy val BoxedUnitReference: TypeKind

Definition Classes
ICodes
object CHAR extends ValueTypeKind with Product with Serializable

A 2-byte UNSIGNED integer
object CMP extends ComparisonOp with Product with Serializable

A comparison operation with no default for NaNs
object CMPG extends ComparisonOp with Product with Serializable

A comparison operation with +1 default for NaNs
object CMPL extends ComparisonOp with Product with Serializable

A comparison operation with -1 default for NaNs
object ConcatClass extends TypeKind with Product with Serializable

Dummy TypeKind to represent the ConcatClass in a platform-independent way.
object DIV extends ArithmeticOp with Product with Serializable

An arithmetic division operation
object DOUBLE extends ValueTypeKind with Product with Serializable

An 8-byte floating point number
object EQ extends TestOp with Product with Serializable

An equality test
object EndConcat extends Primitive with Product with Serializable

type: (buf) => STR jvm : It should turn the StringBuffer into a String.
object FLOAT extends ValueTypeKind with Product with Serializable

A 4-byte floating point number
object GE extends TestOp with Product with Serializable

A greater-than-or-equal test
object GT extends TestOp with Product with Serializable

A greater-than test
object INT extends ValueTypeKind with Product with Serializable

A 4-byte signed integer
object LE extends TestOp with Product with Serializable

A less-than-or-equal test
object LONG extends ValueTypeKind with Product with Serializable

An 8-byte signed integer
object LSL extends ShiftOp with Product with Serializable

A logical shift to the left
object LSR extends ShiftOp with Product with Serializable

A logical shift to the right
object LT extends TestOp with Product with Serializable

A less-than test
object MUL extends ArithmeticOp with Product with Serializable

An arithmetic multiplication operation
object NE extends TestOp with Product with Serializable

A non-equality test
object NOT extends ArithmeticOp with Product with Serializable

Bitwise negation.
object NoFinalizer extends Finalizer
lazy val NothingReference: TypeKind

Definition Classes
ICodes
lazy val NullReference: TypeKind

Definition Classes
ICodes
object OR extends LogicalOp with Product with Serializable

A bitwise OR operation
lazy val ObjectReference: TypeKind

Definition Classes
ICodes
object REM extends ArithmeticOp with Product with Serializable

An arithmetic remainder operation
object SHORT extends ValueTypeKind with Product with Serializable

A 2-byte signed integer
object SUB extends ArithmeticOp with Product with Serializable

An arithmetic subtraction operation
object StartConcat extends Primitive with Product with Serializable

Signals the beginning of a series of concatenations.
lazy val StringReference: TypeKind

Definition Classes
ICodes
lazy val ThrowableReference: TypeKind

Definition Classes
ICodes
object UNIT extends ValueTypeKind with Product with Serializable

The unit value
object XOR extends LogicalOp with Product with Serializable

A bitwise XOR operation
final def asInstanceOf[T0]: T0

Definition Classes
Any
def available(sym: Symbol): Boolean

Is the given class available as icode?
Is the given class available as icode?

Definition Classes
Repository
def checkValid(m: IMethod): Unit

Definition Classes
ICodes
def checkerDebug(msg: String): Unit

Definition Classes
ICodes
val classes: HashMap[Symbol, IClass]

The ICode representation of classes
The ICode representation of classes

Definition Classes
ICodes
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def dump(): Unit

Print all classes and basic blocks.
Print all classes and basic blocks. Used for debugging.

Definition Classes
ICodes
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
final def getClass(): java.lang.Class[_]

Definition Classes
AnyRef → Any
val global: Global.this.type

Definition Classes
icodes → ICodes → Repository
def hashCode(): Int

Definition Classes
AnyRef → Any
def icode(sym: Symbol, force: Boolean): IClass

The icode of the given class.
The icode of the given class. If not available, it loads its bytecode.

Definition Classes
Repository
def icode(sym: Symbol): Option[IClass]

The icode of the given class, if available
The icode of the given class, if available

Definition Classes
Repository
object icodeReader extends ICodeReader
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val linearizer: Linearizer

The ICode linearizer.
The ICode linearizer.

Definition Classes
ICodes
object liveness extends Liveness
def load(sym: Symbol): Unit

Load bytecode for given symbol.
Load bytecode for given symbol.

Definition Classes
Repository
val loaded: Map[Symbol, IClass]

Definition Classes
Repository
def lub(a: TypeKind, b: TypeKind): TypeKind

The least upper bound of two typekinds.
The least upper bound of two typekinds. They have to be either REFERENCE or ARRAY kinds.
The lub is based on the lub of scala types.

Definition Classes
TypeKinds
var lubs0: Int

Definition Classes
TypeKinds
def msil_mgdptr(tk: TypeKind): TypeKind

Definition Classes
TypeKinds
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
object opcodes extends AnyRef
lazy val primitiveTypeMap: Map[Symbol, TypeKind]

A map from scala primitive Types to ICode TypeKinds
A map from scala primitive Types to ICode TypeKinds

Definition Classes
TypeKinds
object reachingDefinitions extends ReachingDefinitions
def shouldCheckIcode: Boolean

Debugging flag
Debugging flag

Definition Classes
ICodes
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def toTypeKind(t: Type): TypeKind

Return the TypeKind of the given type
Return the TypeKind of the given type
Call to .normalize fixes #3003 (follow type aliases). Otherwise, arrayOrClassType below would return ObjectReference.

Definition Classes
TypeKinds
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()

icodes

object icodes extends ICodes

Type Members

final case class ARRAY(elem: TypeKind) extends TypeKind with Product with Serializable

case class Arithmetic(op: ArithmeticOp, kind: TypeKind) extends Primitive with Product with Serializable

class ArithmeticOp extends AnyRef

case class ArrayLength(kind: TypeKind) extends Primitive with Product with Serializable

case class BOXED(kind: TypeKind) extends TypeKind with Product with Serializable

class BasicBlock extends ProgramPoint[BasicBlock] with Seq[Instruction]

class Code extends AnyRef

case class Comparison(op: ComparisonOp, kind: TypeKind) extends Primitive with Product with Serializable

class ComparisonOp extends AnyRef

case class Conversion(src: TypeKind, dst: TypeKind) extends Primitive with Product with Serializable

class DepthFirstLinerizer extends Linearizer

class DumpLinearizer extends Linearizer

class ExceptionHandler extends AnyRef

class Finalizer extends ExceptionHandler

class IClass extends IMember

abstract class ICodePhase extends GlobalPhase

class IField extends IMember

trait IMember extends Ordered[IMember]

class IMethod extends IMember

abstract class Instruction extends Cloneable

abstract class Linearizer extends AnyRef

class Local extends AnyRef

case class Logical(op: LogicalOp, kind: TypeKind) extends Primitive with Product with Serializable

class LogicalOp extends AnyRef

class MSILLinearizer extends Linearizer

case class Negation(kind: TypeKind) extends Primitive with Product with Serializable

class NormalLinearizer extends Linearizer with WorklistAlgorithm

class Primitive extends AnyRef

class PrimitivePrinter extends AnyRef

final case class REFERENCE(cls: Symbol) extends TypeKind with Product with Serializable

type Rep = List[TypeKind]

class ReversePostOrderLinearizer extends Linearizer

case class Shift(op: ShiftOp, kind: TypeKind) extends Primitive with Product with Serializable

class ShiftOp extends AnyRef

case class StringConcat(el: TypeKind) extends Primitive with Product with Serializable

case class Test(op: TestOp, kind: TypeKind, zero: Boolean) extends Primitive with Product with Serializable

class TestOp extends AnyRef

class TextPrinter extends AnyRef

sealed abstract class TypeKind extends AnyRef

class TypeStack extends AnyRef

sealed abstract class ValueTypeKind extends TypeKind

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

object ADD extends ArithmeticOp with Product with Serializable

object AND extends LogicalOp with Product with Serializable

object ASR extends ShiftOp with Product with Serializable

lazy val AnyRefReference: TypeKind

def ArrayN(elem: TypeKind, dims: Int): ARRAY

object BOOL extends ValueTypeKind with Product with Serializable

object BYTE extends ValueTypeKind with Product with Serializable

lazy val BoxedUnitReference: TypeKind

object CHAR extends ValueTypeKind with Product with Serializable

object CMP extends ComparisonOp with Product with Serializable

object CMPG extends ComparisonOp with Product with Serializable

object CMPL extends ComparisonOp with Product with Serializable

object ConcatClass extends TypeKind with Product with Serializable

object DIV extends ArithmeticOp with Product with Serializable

object DOUBLE extends ValueTypeKind with Product with Serializable

object EQ extends TestOp with Product with Serializable

object EndConcat extends Primitive with Product with Serializable

object FLOAT extends ValueTypeKind with Product with Serializable

object GE extends TestOp with Product with Serializable

object GT extends TestOp with Product with Serializable

object INT extends ValueTypeKind with Product with Serializable

object LE extends TestOp with Product with Serializable

object LONG extends ValueTypeKind with Product with Serializable

object LSL extends ShiftOp with Product with Serializable

object LSR extends ShiftOp with Product with Serializable

object LT extends TestOp with Product with Serializable

object MUL extends ArithmeticOp with Product with Serializable

object NE extends TestOp with Product with Serializable

object NOT extends ArithmeticOp with Product with Serializable

object NoFinalizer extends Finalizer