soot.util
Class EscapedReader

java.lang.Object
  extended byjava.io.Reader
      extended byjava.io.FilterReader
          extended bysoot.util.EscapedReader

public class EscapedReader
extends FilterReader

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

EscapedReader

public EscapedReader(Reader fos)
Constructs an EscapedReader around the given Reader.

Method Detail

read

public int read()
         throws IOException
Reads a character from the input.

Throws:
IOException