Type Members

1.  trait AnnotationAttributesBinding extends AnnotationsBinding with AnnotationsReader with ParametersAnnotationsReader with RuntimeInvisibleAnnotations_attributeReader with RuntimeVisibleAnnotations_attributeReader with RuntimeInvisibleParameterAnnotations_attributeReader with RuntimeVisibleParameterAnnotations_attributeReader with AnnotationDefault_attributeReader with AttributeBinding

   Factory methods to create representations of the attributes related to Java annotations.

2.  trait AnnotationsBinding extends AnnotationsAbstractions with ElementValuePairsReader with ConstantPoolBinding

   Factory methods to create representations of Java annotations.

3.  trait AttributeBinding extends AttributesAbstractions

   Defines the common bindings for all "resolved" attributes.

4.  trait BootstrapMethods_attributeBinding extends BootstrapMethods_attributeReader with ConstantPoolBinding with AttributeBinding

   Final bindings and factory methods for the BoostrapMethods attribute.

5.  class BytecodeInstructionsCache extends AnyRef
6.  trait BytecodeOptimizer extends MethodsBinding

   Performs some very basic, in-place control-flow simplifications to make the code more regular.

   Performs some very basic, in-place control-flow simplifications to make the code more regular. In particular to make it more likely that an if that is actually a loop's if actually jumps back.

   The following transformations are performed:

   • trivial gotos which jump to the immediately succeeding instruction are replaced by nops (the CFG may contain less basic blocks afterwards)
   • goto chains are shortened (i.e., a goto jumping to another goto) (this primarily reduces the number of instructions that need to be evaluated at abstract interpretation time; it may - however - also reduce the number of basic blocks)
   • useless ifs where the jump target is the next instruction are replaced by nops (the CFG may contain less basic blocks afterwards)
   • if -> goto instruction sequences are resolved (this primarily reduces the number of instructions that need to be evaluated at abstract interpretation time; it may - however - also reduce the number of basic blocks)
   • useless switches are replaced (the CFG may contain less basic blocks afterwards)

   The target array has the same size as the source array to make sure that branch offsets/line- numbers etc. point to the correct instruction. Furthermore, we try to avoid the introduction of dead code.

   Note

   All transformation always only reduce the number of basic blocks and never create new basic blocks. The existing stack map table attributes are never effected and remain valid; they may just contain more entries than strictly necessary.

7.  trait BytecodeReaderAndBinding extends InstructionsDeserializer

   Defines a method to parse an array of bytes (containing Java bytecode instructions) and to return an array of org.opalj.br.instructions.Instruction's.

   Defines a method to parse an array of bytes (containing Java bytecode instructions) and to return an array of org.opalj.br.instructions.Instruction's.

   The target array has the same size as the source array to make sure that branch offsets etc. point to the correct instruction.

8.  trait CachedBytecodeReaderAndBinding extends InstructionsDeserializer

   Defines a method to parse an array of bytes (containing Java bytecode instructions) and to return an array of org.opalj.br.instructions.Instructions.

   Defines a method to parse an array of bytes (containing Java bytecode instructions) and to return an array of org.opalj.br.instructions.Instructions.

   The target array has the same size as the source array to make sure that branch offsets etc. point to the correct instruction.

   This reader caches the instructions – primarily – to save memory once all class files are loaded.

9.  trait ClassFileBinding extends ClassFileReader

10.  trait CodeAttributeBinding extends Code_attributeReader with ConstantPoolBinding with CodeBinding with AttributeBinding

    Binding for the code attribute.

11.  trait CodeBinding extends AnyRef

12.  trait CompactLineNumberTable_attributeBinding extends CompactLineNumberTable_attributeReader with ConstantPoolBinding with AttributeBinding

    Implements the factory methods to create line number tables.

13.  trait ConstantPoolBinding extends Constant_PoolReader

    A representation of the constant pool.

    A representation of the constant pool.

    Note

    The constant pool is considered to be static; i.e., references between constant pool entries are always resolved at most once and the results are cached. Hence, after reading the constant pool the constant pool is treated as immutable; the referenced constant pool entry must not change.

14.  trait ConstantValue_attributeBinding extends ConstantValue_attributeReader with ConstantPoolBinding with AttributeBinding

15.  trait DeferredInvokedynamicResolution extends ConstantPoolBinding with CodeBinding

    Mixin this trait to resolve links between org.opalj.br.instructions.INVOKEDYNAMIC instructions and the BootstrapMethodTable.

16.  trait Deprecated_attributeBinding extends Deprecated_attributeReader with ConstantPoolBinding with AttributeBinding

17.  trait EnclosingMethod_attributeBinding extends EnclosingMethod_attributeReader with ConstantPoolBinding with AttributeBinding

18.  trait Exceptions_attributeBinding extends Exceptions_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory method to create a method's exception attribute.

19.  trait FieldsBinding extends FieldsReader

20.  trait InnerClasses_attributeBinding extends InnerClasses_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory methods to create inner classes attributes and entries.

21.  trait InstructionsDeserializer extends DeferredInvokedynamicResolution

22.  trait InvokedynamicRewriting extends DeferredInvokedynamicResolution

    Provides support for rewriting Java 8/Scala lambda or method reference expressions that were compiled to org.opalj.br.instructions.INVOKEDYNAMIC instructions.

    Provides support for rewriting Java 8/Scala lambda or method reference expressions that were compiled to org.opalj.br.instructions.INVOKEDYNAMIC instructions. This trait should be mixed in alongside a BytecodeReaderAndBinding, which extracts basic invokedynamic information from the BootstrapMethodTable.

    Specifically, whenever an invokedynamic instruction is encountered that is the result of a lambda/method reference expression compiled by Oracle's JDK8, it creates a proxy class file that represents the synthetic object that the JVM generates after executing the invokedynamic call site. This proxy is then stored in the temporary ClassFile attribute SynthesizedClassFiles. All such ClassFiles will be picked up later for inclusion in the project.

    See also

    DismantlingInvokeDynamic for further information.

23.  trait Java7Framework extends Java7LibraryFramework with CodeAttributeBinding with SourceDebugExtension_attributeBinding with BootstrapMethods_attributeBinding with StackMapTable_attributeBinding with CompactLineNumberTable_attributeBinding with LocalVariableTable_attributeBinding with LocalVariableTypeTable_attributeBinding with Exceptions_attributeBinding with BytecodeReaderAndBinding with BytecodeOptimizer with CodeReader

    This "framework" can be used to read in Java 7 (version 51) class files.

    This "framework" can be used to read in Java 7 (version 51) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented.

24.  trait Java7LibraryFramework extends ConstantPoolBinding with FieldsBinding with MethodsBinding with ClassFileBinding with AttributesReader with SkipUnknown_attributeReader with AnnotationAttributesBinding with InnerClasses_attributeBinding with EnclosingMethod_attributeBinding with SourceFile_attributeBinding with Deprecated_attributeBinding with Signature_attributeBinding with Synthetic_attributeBinding with ConstantValue_attributeBinding with Exceptions_attributeBinding with Module_attributeBinding

    This "framework" can be used to read in Java 7 (version 51) class files if only the public interface of a class is needed.

25.  trait Java8Framework extends Java7Framework with Java8LibraryFramework

    This "framework" can be used to read Java 8 (version 52) class files.

    This "framework" can be used to read Java 8 (version 52) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented.

26.  class Java8FrameworkWithCaching extends Java8LibraryFramework with CodeAttributeBinding with SourceDebugExtension_attributeBinding with BootstrapMethods_attributeBinding with StackMapTable_attributeBinding with CompactLineNumberTable_attributeBinding with LocalVariableTable_attributeBinding with LocalVariableTypeTable_attributeBinding with Exceptions_attributeBinding with CachedBytecodeReaderAndBinding with BytecodeOptimizer with CodeReader

    This configuration can be used to read in Java 8 (version 52) class files.

    This configuration can be used to read in Java 8 (version 52) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented. Instructions will be cached.

27.  class Java8FrameworkWithInvokedynamicSupportAndCaching extends Java8FrameworkWithCaching with InvokedynamicRewriting

    This configuration can be used to read in Java 8 (version 52) class files with full support for rewriting invokedynamic instructions created by the JDK(8) compiler for lambda and method reference expressions.

    This configuration can be used to read in Java 8 (version 52) class files with full support for rewriting invokedynamic instructions created by the JDK(8) compiler for lambda and method reference expressions. All standard information (as defined in the Java Virtual Machine Specification) is represented. Instructions will be cached.

28.  trait Java8LibraryFramework extends Java7LibraryFramework with MethodParameters_attributeBinding with TypeAnnotationAttributesBinding

    This "framework" can be used to read in Java 8 (version 52) class files.

    This "framework" can be used to read in Java 8 (version 52) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented except of method implementations.

29.  trait Java9Framework extends Java8Framework with Java9LibraryFramework

    This "framework" can be used to read Java 9 (version 53) and Java 10 (version 54) class files.

    This "framework" can be used to read Java 9 (version 53) and Java 10 (version 54) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented. (Java 10 did not introduce new attributes.)

30.  class Java9FrameworkWithCaching extends Java8FrameworkWithCaching with Java9LibraryFramework

    This configuration can be used to read in Java 9 (version 53) class files.

    This configuration can be used to read in Java 9 (version 53) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented. Instructions will be cached.

31.  class Java9FrameworkWithInvokedynamicSupportAndCaching extends Java8FrameworkWithInvokedynamicSupportAndCaching with Java9LibraryFramework

    This configuration can be used to read in Java 9 (version 53) class files.

    This configuration can be used to read in Java 9 (version 53) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented. Instructions will be cached.

32.  trait Java9LibraryFramework extends Java8LibraryFramework with ModuleMainClass_attributeBinding with ModulePackages_attributeBinding

    This "framework" can be used to read in Java 9 (version 53) class files.

    This "framework" can be used to read in Java 9 (version 53) class files. All standard information (as defined in the Java Virtual Machine Specification) is represented except of method implementations.

33.  trait LibraryClassFileBinding extends ClassFileBinding

    Default class file binding where all private fields and methods are not represented.

34.  trait LocalVariableTable_attributeBinding extends LocalVariableTable_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory methods to create local variable tables and their entries.

35.  trait LocalVariableTypeTable_attributeBinding extends LocalVariableTypeTable_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory methods to create local variable type tables and their entries.

36.  trait MethodParameters_attributeBinding extends MethodParameters_attributeReader with ConstantPoolBinding with AttributeBinding

    Implements the factory methods to create method parameter tables and their entries.

37.  trait MethodsBinding extends MethodsReader

38.  trait ModuleMainClass_attributeBinding extends ModuleMainClass_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory method to create the ModuleMainClass attribute (Java 9).

39.  trait ModulePackages_attributeBinding extends ModulePackages_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory method to create the ModulePackages attribute (Java 9).

40.  trait Module_attributeBinding extends Module_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory method to create the "class level" Module attribute (Java 9).

41.  trait Signature_attributeBinding extends Signature_attributeReader with ConstantPoolBinding with AttributeBinding

    Implements the factory method defined and used by the generic signature attribute reader.

42.  type Source = AnyRef
43.  trait SourceDebugExtension_attributeBinding extends SourceDebugExtension_attributeReader with ConstantPoolBinding with AttributeBinding

    Provides the factory method to create a source debug extension attribute.

44.  trait SourceFile_attributeBinding extends SourceFile_attributeReader with ConstantPoolBinding with AttributeBinding

    The factory method to create the source file attribute.

45.  trait StackMapTable_attributeBinding extends StackMapTable_attributeReader with StackMapFrameReader with VerificationTypeInfoReader with ConstantPoolBinding with AttributeBinding

    Provides the factory methods to create a stack map table attribute and its entries.

46.  trait Synthetic_attributeBinding extends Synthetic_attributeReader with ConstantPoolBinding with AttributeBinding

    Represents Java's Synthetic attribute.

47.  trait TypeAnnotationAttributesBinding extends TypeAnnotationsBinding with RuntimeInvisibleTypeAnnotations_attributeReader with RuntimeVisibleTypeAnnotations_attributeReader with AttributeBinding

    Factory methods to create representations of the attributes related to Java type annotations.

48.  trait TypeAnnotationsBinding extends TypeAnnotationsReader with TypeAnnotationTargetReader with TypeAnnotationPathReader with AnnotationsBinding with AttributeBinding

    Factory methods to create representations of Java type annotations.

49.  trait Unknown_attributeBinding extends Unknown_attributeReader with ConstantPoolBinding with AttributeBinding

    "Factory" to create unknown attributes which are used to represent class file attributes that are not understood by this framework.

50.  trait UnpackedLineNumberTable_attributeBinding extends LineNumberTable_attributeReader with ConstantPoolBinding with AttributeBinding

    Implements the factory methods to create line number tables and their entries.