|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.Reader | +--java.io.FilterReader | +--soot.util.EscapedReader
A FilterReader which catches escaped characters (\\unnnn
) in the
input and de-escapes them. Used in the Jimple Parser.
Fields inherited from class java.io.FilterReader |
in |
Fields inherited from class java.io.Reader |
lock |
Constructor Summary | |
EscapedReader(java.io.Reader fos)
Constructs an EscapedReader around the given Reader. |
Method Summary | |
int |
read()
Reads a character from the input. |
Methods inherited from class java.io.FilterReader |
close,
mark,
markSupported,
read,
ready,
reset,
skip |
Methods inherited from class java.io.Reader |
read |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public EscapedReader(java.io.Reader fos)
Method Detail |
public int read() throws java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |