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

Methods inherited from class 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()