soot.util
Class EscapedWriter
java.lang.Object
|
+--java.io.Writer
|
+--java.io.FilterWriter
|
+--soot.util.EscapedWriter
- public class EscapedWriter
- extends java.io.FilterWriter
A FilterWriter which catches to-be-escaped characters (\\unnnn
) in the
input and substitutes their escaped representation. Used for Soot output.
Field Summary |
java.lang.String |
lineSeparator
Convenience field containing the system's line separator. |
Fields inherited from class java.io.FilterWriter |
out |
Fields inherited from class java.io.Writer |
lock |
Constructor Summary |
EscapedWriter(java.io.Writer fos)
Constructs an EscapedWriter around the given Writer. |
Method Summary |
void |
print(int ch)
Print a single character (unsupported). |
void |
write(int ch)
Write a single character. |
void |
write(java.lang.String s,
int off,
int len)
Write a segment of the given String. |
Methods inherited from class java.io.FilterWriter |
close,
flush,
write |
Methods inherited from class java.io.Writer |
write,
write |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
lineSeparator
public final java.lang.String lineSeparator
- Convenience field containing the system's line separator.
EscapedWriter
public EscapedWriter(java.io.Writer fos)
- Constructs an EscapedWriter around the given Writer.
print
public void print(int ch)
throws java.io.IOException
- Print a single character (unsupported).
write
public void write(java.lang.String s,
int off,
int len)
throws java.io.IOException
- Write a segment of the given String.
- Overrides:
- write in class java.io.FilterWriter
write
public void write(int ch)
throws java.io.IOException
- Write a single character.
- Overrides:
- write in class java.io.FilterWriter