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
 

Field Detail

lineSeparator

public final java.lang.String lineSeparator
Convenience field containing the system's line separator.
Constructor Detail

EscapedWriter

public EscapedWriter(java.io.Writer fos)
Constructs an EscapedWriter around the given Writer.
Method Detail

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