Package com.ibm.wala.shrike.shrikeCT

Class SourceFileWriter

java.lang.Object

com.ibm.wala.shrike.shrikeCT.ClassWriter.Element

com.ibm.wala.shrike.shrikeCT.SourceFileWriter

public final class SourceFileWriter
extends ClassWriter.Element

This class builds serializable SourceFile attributes.

After constructing a SourceFileWriter, you must call setSourceFileCPIndex.

Constructor Summary

Constructors

Constructor	Description
SourceFileWriter(ClassWriter w)	Build an empty writer.

Method Summary

Modifier and Type	Method	Description
int	copyInto(byte[] buf, int offset)	Copy the bytes into 'buf' at offset 'offset'.
int	getSize()
void	setSourceFileCPIndex(int index)	Set the index of the constant pool item holding the source file name.

Methods inherited from class java.lang.Object

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

Constructor Details

SourceFileWriter

public SourceFileWriter(ClassWriter w)

Build an empty writer.

Throws:

IllegalArgumentException - if w is null

Method Details

getSize

public int getSize()
            throws IllegalArgumentException

Specified by:

getSize in class ClassWriter.Element

Returns:

the number of bytes that will be generated.

Throws:

IllegalArgumentException

copyInto

public int copyInto(byte[] buf,
 int offset)
             throws IllegalArgumentException

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

Throws:

IllegalArgumentException

setSourceFileCPIndex

public void setSourceFileCPIndex(int index)
                          throws IllegalArgumentException

Set the index of the constant pool item holding the source file name.

Throws:

IllegalArgumentException