Packages

t

org.opalj.bi.reader

VerificationTypeInfoReader

trait VerificationTypeInfoReader extends Constant_PoolAbstractions

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. VerificationTypeInfoReader
  2. Constant_PoolAbstractions
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract type CONSTANT_Utf8_info <: Constant_Pool_Entry
    Definition Classes
    Constant_PoolAbstractions
  2. abstract type ClassFile
    Definition Classes
    Constant_PoolAbstractions
  3. final type Constant_Pool = Array[Constant_Pool_Entry]
    Definition Classes
    Constant_PoolAbstractions
  4. abstract type Constant_Pool_Entry <: ConstantPoolEntry
    Definition Classes
    Constant_PoolAbstractions
  5. final type Constant_Pool_Index = Int
    Definition Classes
    Constant_PoolAbstractions
  6. type DeferredActionsStore = Buffer[(ClassFile) => ClassFile] with Constant_Pool_Entry

    A DeferredActionsStore stores all functions that need to perform post load actions.

    A DeferredActionsStore stores all functions that need to perform post load actions.

    One example is the resolution of references to attributes. (The constant pool is the only structure that is passed around and hence it is the only place where to store information/functions related to a specific class file).

    Definition Classes
    Constant_PoolAbstractions
  7. abstract type VerificationTypeInfo

Abstract Value Members

  1. abstract def DoubleVariableInfo(): VerificationTypeInfo
  2. abstract def FloatVariableInfo(): VerificationTypeInfo
  3. abstract def IntegerVariableInfo(): VerificationTypeInfo
  4. abstract def LongVariableInfo(): VerificationTypeInfo
  5. abstract def NullVariableInfo(): VerificationTypeInfo
  6. abstract def ObjectVariableInfo(cp: Constant_Pool, type_index: Constant_Pool_Index): VerificationTypeInfo

    The Object_variable_info type indicates that the location contains an instance of the class referenced by the constant pool entry.

  7. abstract def TopVariableInfo(): VerificationTypeInfo
  8. abstract def UninitializedThisVariableInfo(): VerificationTypeInfo
  9. abstract def UninitializedVariableInfo(offset: Int): VerificationTypeInfo

    The Uninitialized_variable_info indicates that the location contains the verification type uninitialized(offset).

    The Uninitialized_variable_info indicates that the location contains the verification type uninitialized(offset). The offset item indicates the offset of the new instruction that created the object being stored in the location.

  10. abstract def applyDeferredActions(cp: Constant_Pool, classFile: ClassFile): ClassFile

    This method is called/needs to be called after the class file was completely loaded to perform class file specific transformations.

    This method is called/needs to be called after the class file was completely loaded to perform class file specific transformations.

    Definition Classes
    Constant_PoolAbstractions
  11. implicit abstract val constantPoolEntryType: ClassTag[Constant_Pool_Entry]
    Definition Classes
    Constant_PoolAbstractions

Concrete 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. def VerificationTypeInfo(cp: Constant_Pool, in: DataInputStream): VerificationTypeInfo
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  15. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  18. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped