keel.Algorithms.Rule_Learning.Swap1

Class SimpleCharStream

java.lang.Object

keel.Algorithms.Rule_Learning.Swap1.SimpleCharStream

public class SimpleCharStream
extends java.lang.Object

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

Field Summary

Fields

Modifier and Type	Field and Description
protected static int[]	bufcolumn
protected static char[]	buffer
protected static int[]	bufline
static int	bufpos
protected static int	column
protected static int	inBuf
protected static java.io.Reader	inputStream
protected static int	line
protected static int	maxNextCharInd
protected static boolean	prevCharIsCR
protected static boolean	prevCharIsLF
static boolean	staticFlag
protected static int	tabSize

Constructor Summary

Constructors

Constructor and Description
SimpleCharStream(java.io.InputStream dstream)
SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn)
SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding)
SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)
SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize)
SimpleCharStream(java.io.Reader dstream)
SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn)
SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)

Method Summary

Modifier and Type	Method and Description
static void	adjustBeginLineColumn(int newLine, int newCol) Method to adjust line and column numbers for the start of a token.
static void	backup(int amount)
static char	BeginToken()
static void	Done()
protected static void	ExpandBuff(boolean wrapAround)
protected static void	FillBuff()
static int	getBeginColumn()
static int	getBeginLine()
static int	getColumn() Deprecated.
static int	getEndColumn()
static int	getEndLine()
static java.lang.String	GetImage()
static int	getLine() Deprecated.
static char[]	GetSuffix(int len)
protected static int	getTabSize(int i)
static char	readChar()
void	ReInit(java.io.InputStream dstream)
void	ReInit(java.io.InputStream dstream, int startline, int startcolumn)
void	ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
void	ReInit(java.io.InputStream dstream, java.lang.String encoding)
void	ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)
void	ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize)
void	ReInit(java.io.Reader dstream)
void	ReInit(java.io.Reader dstream, int startline, int startcolumn)
void	ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
protected static void	setTabSize(int i)
protected static void	UpdateLineColumn(char c)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

staticFlag

public static final boolean staticFlag

See Also:

Constant Field Values

bufpos

public static int bufpos

bufline

protected static int[] bufline

bufcolumn

protected static int[] bufcolumn

column

protected static int column

line

protected static int line

prevCharIsCR

protected static boolean prevCharIsCR

prevCharIsLF

protected static boolean prevCharIsLF

inputStream

protected static java.io.Reader inputStream

buffer

protected static char[] buffer

maxNextCharInd

protected static int maxNextCharInd

inBuf

protected static int inBuf

tabSize

protected static int tabSize

Constructor Detail

SimpleCharStream

public SimpleCharStream(java.io.Reader dstream,
                        int startline,
                        int startcolumn,
                        int buffersize)

SimpleCharStream

public SimpleCharStream(java.io.Reader dstream,
                        int startline,
                        int startcolumn)

SimpleCharStream

public SimpleCharStream(java.io.Reader dstream)

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream,
                        java.lang.String encoding,
                        int startline,
                        int startcolumn,
                        int buffersize)
                 throws java.io.UnsupportedEncodingException

Throws:

java.io.UnsupportedEncodingException

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream,
                        int startline,
                        int startcolumn,
                        int buffersize)

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream,
                        java.lang.String encoding,
                        int startline,
                        int startcolumn)
                 throws java.io.UnsupportedEncodingException

Throws:

java.io.UnsupportedEncodingException

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream,
                        int startline,
                        int startcolumn)

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream,
                        java.lang.String encoding)
                 throws java.io.UnsupportedEncodingException

Throws:

java.io.UnsupportedEncodingException

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream)

Method Detail

setTabSize

protected static void setTabSize(int i)

getTabSize

protected static int getTabSize(int i)

ExpandBuff

protected static void ExpandBuff(boolean wrapAround)

FillBuff

protected static void FillBuff()
                        throws java.io.IOException

Throws:

java.io.IOException

BeginToken

public static char BeginToken()
                       throws java.io.IOException

Throws:

java.io.IOException

UpdateLineColumn

protected static void UpdateLineColumn(char c)

readChar

public static char readChar()
                     throws java.io.IOException

Throws:

java.io.IOException

getColumn

public static int getColumn()

Deprecated.

See Also:

getEndColumn()

getLine

public static int getLine()

Deprecated.

See Also:

getEndLine()

getEndColumn

public static int getEndColumn()

getEndLine

public static int getEndLine()

getBeginColumn

public static int getBeginColumn()

getBeginLine

public static int getBeginLine()

backup

public static void backup(int amount)

ReInit

public void ReInit(java.io.Reader dstream,
                   int startline,
                   int startcolumn,
                   int buffersize)

ReInit

public void ReInit(java.io.Reader dstream,
                   int startline,
                   int startcolumn)

ReInit

public void ReInit(java.io.Reader dstream)

ReInit

public void ReInit(java.io.InputStream dstream,
                   java.lang.String encoding,
                   int startline,
                   int startcolumn,
                   int buffersize)
            throws java.io.UnsupportedEncodingException

Throws:

java.io.UnsupportedEncodingException

ReInit

public void ReInit(java.io.InputStream dstream,
                   int startline,
                   int startcolumn,
                   int buffersize)

ReInit

public void ReInit(java.io.InputStream dstream,
                   java.lang.String encoding)
            throws java.io.UnsupportedEncodingException

Throws:

java.io.UnsupportedEncodingException

ReInit

public void ReInit(java.io.InputStream dstream)

ReInit

public void ReInit(java.io.InputStream dstream,
                   java.lang.String encoding,
                   int startline,
                   int startcolumn)
            throws java.io.UnsupportedEncodingException

Throws:

java.io.UnsupportedEncodingException

ReInit

public void ReInit(java.io.InputStream dstream,
                   int startline,
                   int startcolumn)

GetImage

public static java.lang.String GetImage()

GetSuffix

public static char[] GetSuffix(int len)

Done

public static void Done()

adjustBeginLineColumn

public static void adjustBeginLineColumn(int newLine,
                                         int newCol)

Method to adjust line and column numbers for the start of a token.