Class ClassWriter.RawElement

java.lang.Object
com.ibm.wala.shrike.shrikeCT.ClassWriter.Element
com.ibm.wala.shrike.shrikeCT.ClassWriter.RawElement
Enclosing class:
ClassWriter

public static final class ClassWriter.RawElement extends ClassWriter.Element
A RawElement is an Element that is already available as some chunk of a byte buffer.
  • Constructor Summary

    Constructors
    Constructor
    Description
    RawElement(byte[] buf, int offset, int len)
    Create an Element for the 'len' bytes in 'buf' at offset 'offset'.
  • Method Summary

    Modifier and Type
    Method
    Description
    int
    copyInto(byte[] dest, int destOffset)
    Copy the bytes into 'buf' at offset 'offset'.
    int
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • RawElement

      public RawElement(byte[] buf, int offset, int len)
      Create an Element for the 'len' bytes in 'buf' at offset 'offset'.
  • Method Details

    • getSize

      public int getSize()
      Specified by:
      getSize in class ClassWriter.Element
      Returns:
      the number of bytes that will be generated.
    • copyInto

      public int copyInto(byte[] dest, int destOffset)
      Description copied from class: ClassWriter.Element
      Copy the bytes into 'buf' at offset 'offset'.
      Specified by:
      copyInto in class ClassWriter.Element
      Returns:
      the number of bytes copies, which must be equal to getSize()