org.semanticweb.utilities
Class ASCII_UCodeESC_CharStream

java.lang.Object
  extended byorg.semanticweb.utilities.ASCII_UCodeESC_CharStream

public final class ASCII_UCodeESC_CharStream
extends java.lang.Object

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).

Author:
Administrator

Field Summary
 int bufpos
          Description of the Field
static boolean staticFlag
          Description of the Field
 
Constructor Summary
ASCII_UCodeESC_CharStream(java.io.InputStream dstream, int startline, int startcolumn)
          Constructor for the ASCII_UCodeESC_CharStream object
ASCII_UCodeESC_CharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
          Constructor for the ASCII_UCodeESC_CharStream object
ASCII_UCodeESC_CharStream(java.io.Reader dstream, int startline, int startcolumn)
          Constructor for the ASCII_UCodeESC_CharStream object
ASCII_UCodeESC_CharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
          Constructor for the ASCII_UCodeESC_CharStream object
 
Method Summary
 void adjustBeginLineColumn(int newLine, int newCol)
          Method to adjust line and column numbers for the start of a token.
 void backup(int amount)
          Description of the Method
 char BeginToken()
          Description of the Method
 void Done()
          Description of the Method
 int getBeginColumn()
          Gets the beginColumn attribute of the ASCII_UCodeESC_CharStream object
 int getBeginLine()
          Gets the beginLine attribute of the ASCII_UCodeESC_CharStream object
 int getColumn()
          Deprecated.  
 int getEndColumn()
          Gets the endColumn attribute of the ASCII_UCodeESC_CharStream object
 int getEndLine()
          Gets the endLine attribute of the ASCII_UCodeESC_CharStream object
 java.lang.String GetImage()
          Description of the Method
 int getLine()
          Deprecated.  
 char[] GetSuffix(int len)
          Description of the Method
 char readChar()
          Description of the Method
 void ReInit(java.io.InputStream dstream, int startline, int startcolumn)
          Description of the Method
 void ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
          Description of the Method
 void ReInit(java.io.Reader dstream, int startline, int startcolumn)
          Description of the Method
 void ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
          Description of the Method
 
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
Description of the Field

See Also:
Constant Field Values

bufpos

public int bufpos
Description of the Field

Constructor Detail

ASCII_UCodeESC_CharStream

public ASCII_UCodeESC_CharStream(java.io.InputStream dstream,
                                 int startline,
                                 int startcolumn)
Constructor for the ASCII_UCodeESC_CharStream object

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter

ASCII_UCodeESC_CharStream

public ASCII_UCodeESC_CharStream(java.io.InputStream dstream,
                                 int startline,
                                 int startcolumn,
                                 int buffersize)
Constructor for the ASCII_UCodeESC_CharStream object

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter
buffersize - Description of the Parameter

ASCII_UCodeESC_CharStream

public ASCII_UCodeESC_CharStream(java.io.Reader dstream,
                                 int startline,
                                 int startcolumn)
Constructor for the ASCII_UCodeESC_CharStream object

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter

ASCII_UCodeESC_CharStream

public ASCII_UCodeESC_CharStream(java.io.Reader dstream,
                                 int startline,
                                 int startcolumn,
                                 int buffersize)
Constructor for the ASCII_UCodeESC_CharStream object

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter
buffersize - Description of the Parameter
Method Detail

adjustBeginLineColumn

public void adjustBeginLineColumn(int newLine,
                                  int newCol)
Method to adjust line and column numbers for the start of a token.

Parameters:
newLine - Description of the Parameter
newCol - Description of the Parameter

backup

public final void backup(int amount)
Description of the Method

Parameters:
amount - Description of the Parameter

BeginToken

public final char BeginToken()
                      throws java.io.IOException
Description of the Method

Returns:
Description of the Return Value
Throws:
java.io.IOException - Description of the Exception

Done

public void Done()
Description of the Method


getBeginColumn

public final int getBeginColumn()
Gets the beginColumn attribute of the ASCII_UCodeESC_CharStream object

Returns:
The beginColumn value

getBeginLine

public final int getBeginLine()
Gets the beginLine attribute of the ASCII_UCodeESC_CharStream object

Returns:
The beginLine value

getColumn

public final int getColumn()
Deprecated.  

Returns:
The column value
See Also:
getEndColumn()

getEndColumn

public final int getEndColumn()
Gets the endColumn attribute of the ASCII_UCodeESC_CharStream object

Returns:
The endColumn value

getEndLine

public final int getEndLine()
Gets the endLine attribute of the ASCII_UCodeESC_CharStream object

Returns:
The endLine value

GetImage

public final java.lang.String GetImage()
Description of the Method

Returns:
Description of the Return Value

getLine

public final int getLine()
Deprecated.  

Returns:
The line value
See Also:
getEndLine()

GetSuffix

public final char[] GetSuffix(int len)
Description of the Method

Parameters:
len - Description of the Parameter
Returns:
Description of the Return Value

readChar

public final char readChar()
                    throws java.io.IOException
Description of the Method

Returns:
Description of the Return Value
Throws:
java.io.IOException - Description of the Exception

ReInit

public void ReInit(java.io.InputStream dstream,
                   int startline,
                   int startcolumn)
Description of the Method

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter

ReInit

public void ReInit(java.io.InputStream dstream,
                   int startline,
                   int startcolumn,
                   int buffersize)
Description of the Method

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter
buffersize - Description of the Parameter

ReInit

public void ReInit(java.io.Reader dstream,
                   int startline,
                   int startcolumn)
Description of the Method

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter

ReInit

public void ReInit(java.io.Reader dstream,
                   int startline,
                   int startcolumn,
                   int buffersize)
Description of the Method

Parameters:
dstream - Description of the Parameter
startline - Description of the Parameter
startcolumn - Description of the Parameter
buffersize - Description of the Parameter