Package com.ibm.wala.shrike.shrikeCT

Class 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

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

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • RawElement

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

    • Method Detail

      • 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()