JSci.maths.symbolic
Class SimpleCharStream

java.lang.Object
  extended by JSci.maths.symbolic.SimpleCharStream

 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
(package private) static int available
           
protected static int[] bufcolumn
           
protected static char[] buffer
           
protected static int[] bufline
           
static int bufpos
           
(package private) static int bufsize
           
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
           
(package private) static int tokenBegin
           
 
Constructor Summary
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.Reader dstream)
           
SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn)
           
SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
           
 
Method Summary
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)
           
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.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 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

bufsize

static int bufsize

available

static int available

tokenBegin

static int tokenBegin

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
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,
                        int startline,
                        int startcolumn,
                        int buffersize)

SimpleCharStream

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

SimpleCharStream

public SimpleCharStream(java.io.InputStream dstream)
Method Detail

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,
                   int startline,
                   int startcolumn,
                   int buffersize)

ReInit

public void ReInit(java.io.InputStream dstream)

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.