soot.util

Class EscapedWriter

java.lang.Object

java.io.Writer

java.io.FilterWriter

soot.util.EscapedWriter

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable

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

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
EscapedWriter(java.io.Writer fos) Constructs an EscapedWriter around the given Writer.

Method Summary

Methods

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

append, append, append, 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).

Throws:

java.io.IOException

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

Throws:

java.io.IOException

write

public void write(int ch)
           throws java.io.IOException

Write a single character.

Overrides:

write in class java.io.FilterWriter

Throws:

java.io.IOException