sisc.reader
Class SourceReader

java.lang.Object
  java.io.Reader
      java.io.FilterReader
          java.io.PushbackReader
              sisc.reader.SourceReader

All Implemented Interfaces:

java.io.Closeable, java.lang.Readable

public class SourceReader
extends java.io.PushbackReader

Field Summary

int	column
int	line
java.lang.String	sourceFile

Fields inherited from class java.io.FilterReader

in

Fields inherited from class java.io.Reader

lock

Constructor Summary

SourceReader(java.io.Reader in, java.lang.String file)

Method Summary

protected void	maintainLineColumn(int c)
int	read()
int	read(char[] buffer)
int	read(char[] buffer, int offset, int length)
protected void	unmaintainLineColumn(int c)
void	unread(char[] buffer)
void	unread(char[] buffer, int offset, int length)
void	unread(int c)

Methods inherited from class java.io.PushbackReader

close, mark, markSupported, 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

Field Detail

line

public int line

column

public int column

sourceFile

public java.lang.String sourceFile

Constructor Detail

SourceReader

public SourceReader(java.io.Reader in,
                    java.lang.String file)

Method Detail

maintainLineColumn

protected void maintainLineColumn(int c)

unmaintainLineColumn

protected void unmaintainLineColumn(int c)

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.PushbackReader

Throws:

java.io.IOException

read

public int read(char[] buffer)
         throws java.io.IOException

Overrides:

read in class java.io.Reader

Throws:

java.io.IOException

read

public int read(char[] buffer,
                int offset,
                int length)
         throws java.io.IOException

Overrides:

read in class java.io.PushbackReader

Throws:

java.io.IOException

unread

public void unread(int c)
            throws java.io.IOException

Overrides:

unread in class java.io.PushbackReader

Throws:

java.io.IOException

unread

public void unread(char[] buffer)
            throws java.io.IOException

Overrides:

unread in class java.io.PushbackReader

Throws:

java.io.IOException

unread

public void unread(char[] buffer,
                   int offset,
                   int length)
            throws java.io.IOException

Overrides:

unread in class java.io.PushbackReader

Throws:

java.io.IOException