public class EscapedWriter extends FilterWriter
\\unnnn
) in the
input and substitutes their escaped representation. Used for Soot output.Modifier and Type | Field and Description |
---|---|
String |
lineSeparator
Convenience field containing the system's line separator.
|
out
Constructor and Description |
---|
EscapedWriter(Writer fos)
Constructs an EscapedWriter around the given Writer.
|
Modifier and Type | Method and Description |
---|---|
void |
print(int ch)
Print a single character (unsupported).
|
void |
write(int ch)
Write a single character.
|
void |
write(String s,
int off,
int len)
Write a segment of the given String.
|
close, flush, write
public final String lineSeparator
public EscapedWriter(Writer fos)
public void print(int ch) throws IOException
IOException
public void write(String s, int off, int len) throws IOException
write
in class FilterWriter
IOException
public void write(int ch) throws IOException
write
in class FilterWriter
IOException