soot.util

Class EscapedReader

java.lang.Object

java.io.Reader

java.io.FilterReader

soot.util.EscapedReader

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable

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.

Field Summary

Fields inherited from class java.io.FilterReader

in

Fields inherited from class java.io.Reader

lock

Constructor Summary

Constructors

Constructor and Description
EscapedReader(java.io.Reader fos) Constructs an EscapedReader around the given Reader.

Method Summary

Methods

Modifier and Type	Method and Description
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(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

Throws:

java.io.IOException