|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | 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.
Field Summary |
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
read
in class java.io.FilterReader
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |