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