soot.util
Class EscapedReader

java.lang.Object
  |
  +--java.io.Reader
        |
        +--java.io.FilterReader
              |
              +--soot.util.EscapedReader

public class EscapedReader
extends java.io.FilterReader

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

EscapedReader

public EscapedReader(java.io.Reader fos)
Constructs an EscapedReader around the given Reader.
Method Detail

read

public int read()
         throws java.io.IOException
Reads a character from the input.
Overrides:
read in class java.io.FilterReader