| java.lang.Object java.io.Writer java.io.FilterWriter soot.util.EscapedWriter
EscapedWriter | public class EscapedWriter extends FilterWriter (Code) | | A FilterWriter which catches to-be-escaped characters (\\unnnn ) in the
input and substitutes their escaped representation. Used for Soot output.
|
Field Summary | |
final public String | lineSeparator Convenience field containing the system's line separator. |
Constructor Summary | |
public | EscapedWriter(Writer fos) Constructs an EscapedWriter around the given Writer. |
Method Summary | |
public void | print(int ch) Print a single character (unsupported). | public void | write(String s, int off, int len) Write a segment of the given String. | public void | write(int ch) Write a single character. |
lineSeparator | final public String lineSeparator(Code) | | Convenience field containing the system's line separator.
|
EscapedWriter | public EscapedWriter(Writer fos)(Code) | | Constructs an EscapedWriter around the given Writer.
|
print | public void print(int ch) throws IOException(Code) | | Print a single character (unsupported).
|
|
|