SimpleCharStream

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

Constructors

Link copied to clipboard
constructor(dstream: Reader, startline: Int, startcolumn: Int, buffersize: Int)
Constructor.
constructor(dstream: Reader, startline: Int, startcolumn: Int)
Constructor.
constructor(dstream: Reader)
Constructor.
constructor(dstream: InputStream, encoding: String, startline: Int, startcolumn: Int, buffersize: Int)
Constructor.
constructor(dstream: InputStream, startline: Int, startcolumn: Int, buffersize: Int)
Constructor.
constructor(dstream: InputStream, encoding: String, startline: Int, startcolumn: Int)
Constructor.
constructor(dstream: InputStream, startline: Int, startcolumn: Int)
Constructor.
constructor(dstream: InputStream, encoding: String)
Constructor.
constructor(dstream: InputStream)
Constructor.

Properties

Link copied to clipboard
open var bufpos: Int
Position in buffer.
Link copied to clipboard
val staticFlag: Boolean = false
Whether parser is static.

Functions

Link copied to clipboard
open fun adjustBeginLineColumn(newLine: Int, newCol: Int)
Method to adjust line and column numbers for the start of a token.
Link copied to clipboard
open fun backup(amount: Int)
Backup a number of characters.
Link copied to clipboard
open fun BeginToken(): Char
Start.
Link copied to clipboard
open fun Done()
Reset buffer when finished.
Link copied to clipboard
open fun getBeginColumn(): Int
Get token beginning column number.
Link copied to clipboard
open fun getBeginLine(): Int
Get token beginning line number.
Link copied to clipboard
open fun getColumn(): Int
Link copied to clipboard
open fun getEndColumn(): Int
Get token end column number.
Link copied to clipboard
open fun getEndLine(): Int
Get token end line number.
Link copied to clipboard
open fun GetImage(): String
Get token literal value.
Link copied to clipboard
open fun getLine(): Int
Link copied to clipboard
open fun GetSuffix(len: Int): Array<Char>
Get the suffix.
Link copied to clipboard
open fun readChar(): Char
Read a character.
Link copied to clipboard
open fun ReInit(dstream: InputStream)
open fun ReInit(dstream: Reader)
open fun ReInit(dstream: InputStream, encoding: String)
open fun ReInit(dstream: InputStream, startline: Int, startcolumn: Int)
open fun ReInit(dstream: Reader, startline: Int, startcolumn: Int)
open fun ReInit(dstream: InputStream, startline: Int, startcolumn: Int, buffersize: Int)
open fun ReInit(dstream: InputStream, encoding: String, startline: Int, startcolumn: Int)
open fun ReInit(dstream: Reader, startline: Int, startcolumn: Int, buffersize: Int)
open fun ReInit(dstream: InputStream, encoding: String, startline: Int, startcolumn: Int, buffersize: Int)
Reinitialise.