Trait

org.opalj.bi.reader

VerificationTypeInfoReader

Related Doc: package reader

Permalink

trait VerificationTypeInfoReader extends Constant_PoolAbstractions

Linear Supertypes
Constant_PoolAbstractions, AnyRef, Any
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. All

Type Members

  1. abstract type ClassFile

    Permalink
    Definition Classes
    Constant_PoolAbstractions

  2. abstract type Constant_Pool

    Permalink
    Definition Classes
    Constant_PoolAbstractions

  3. abstract type Constant_Pool_Entry

    Permalink
    Definition Classes
    Constant_PoolAbstractions

  4. type Constant_Pool_Index = Int

    Permalink
    Definition Classes
    Constant_PoolAbstractions

  5. type DeferredActionsStore = Buffer[(ClassFile) ⇒ ClassFile] with Constant_Pool_Entry

    Permalink

    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

  6. abstract type VerificationTypeInfo

    Permalink

Abstract Value Members

  1. abstract def DoubleVariableInfo(): VerificationTypeInfo

    Permalink

  2. abstract def FloatVariableInfo(): VerificationTypeInfo

    Permalink

  3. abstract def IntegerVariableInfo(): VerificationTypeInfo

    Permalink

  4. abstract def LongVariableInfo(): VerificationTypeInfo

    Permalink

  5. abstract def NullVariableInfo(): VerificationTypeInfo

    Permalink

  6. abstract def ObjectVariableInfo(cp: Constant_Pool, type_index: Constant_Pool_Index): VerificationTypeInfo

    Permalink

    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

    Permalink

  8. abstract def UninitializedThisVariableInfo(): VerificationTypeInfo

    Permalink

  9. abstract def UninitializedVariableInfo(offset: Int): VerificationTypeInfo

    Permalink

    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

    Permalink

    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

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. def VerificationTypeInfo(cp: Constant_Pool, in: DataInputStream): VerificationTypeInfo

    Permalink

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Permalink
    Definition Classes
    AnyRef → Any

  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  17. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  18. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Constant_PoolAbstractions

Inherited from AnyRef

Inherited from Any

Ungrouped