soot.util
Class EscapedReader

java.lang.Object
  java.io.Reader
      java.io.FilterReader
          soot.util.EscapedReader

All Implemented Interfaces:

Closeable, Readable

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

Overrides:

read in class FilterReader

Throws:

IOException