Class ClassWriter.RawElement
java.lang.Object
com.ibm.wala.shrike.shrikeCT.ClassWriter.Element
com.ibm.wala.shrike.shrikeCT.ClassWriter.RawElement
- Enclosing class:
ClassWriter
A RawElement is an Element that is already available as some chunk of a byte buffer.
-
Constructor Summary
ConstructorDescriptionRawElement
(byte[] buf, int offset, int len) Create an Element for the 'len' bytes in 'buf' at offset 'offset'. -
Method Summary
-
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 classClassWriter.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 classClassWriter.Element
- Returns:
- the number of bytes copies, which must be equal to getSize()
-