de.uka.ilkd.key.proof.io

Class CountingBufferedReader

java.lang.Object

java.io.Reader

java.io.BufferedReader

de.uka.ilkd.key.proof.io.CountingBufferedReader

All Implemented Interfaces:

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

public class CountingBufferedReader
extends java.io.BufferedReader

Field Summary

Fields

Modifier and Type	Field and Description
private int	chars
private ProgressMonitor	monitor
private int	step

Fields inherited from class java.io.Reader

lock

Constructor Summary

Constructors

Constructor and Description
CountingBufferedReader(java.io.InputStream in)
CountingBufferedReader(java.io.InputStream in, int size, int step)
CountingBufferedReader(java.io.InputStream in, ProgressMonitor monitor, int step)
CountingBufferedReader(java.io.InputStream in, ProgressMonitor monitor, int step, int alreadyRead)

Method Summary

Modifier and Type	Method and Description
int	getNumberOfParsedChars()
private void	incCharCounter(long inc)
int	read()
int	read(char[] cbuf, int off, int len)
java.lang.String	readLine()
long	skip(long n)

Methods inherited from class java.io.BufferedReader

close, lines, mark, markSupported, ready, reset

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

Field Detail

chars

private int chars

step

private int step

monitor

private ProgressMonitor monitor

Constructor Detail

CountingBufferedReader

public CountingBufferedReader(java.io.InputStream in)

CountingBufferedReader

public CountingBufferedReader(java.io.InputStream in,
                              ProgressMonitor monitor,
                              int step)

CountingBufferedReader

public CountingBufferedReader(java.io.InputStream in,
                              ProgressMonitor monitor,
                              int step,
                              int alreadyRead)

CountingBufferedReader

public CountingBufferedReader(java.io.InputStream in,
                              int size,
                              int step)

Method Detail

incCharCounter

private void incCharCounter(long inc)

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.BufferedReader

Throws:

java.io.IOException

read

public int read(char[] cbuf,
                int off,
                int len)
         throws java.io.IOException

Overrides:

read in class java.io.BufferedReader

Throws:

java.io.IOException

readLine

public java.lang.String readLine()
                          throws java.io.IOException

Overrides:

readLine in class java.io.BufferedReader

Throws:

java.io.IOException

skip

public long skip(long n)
          throws java.io.IOException

Overrides:

skip in class java.io.BufferedReader

Throws:

java.io.IOException

getNumberOfParsedChars

public int getNumberOfParsedChars()