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.AutoCloseable, java.lang.Readable

public class SourceReader
extends java.io.PushbackReader

Field Summary

Fields

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

Constructors

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

Method Summary

Methods

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