Package org.tweetyproject.arg.delp.parser

Class SimpleCharStream

java.lang.Object

org.tweetyproject.arg.delp.parser.SimpleCharStream

public class SimpleCharStream
extends 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	Description
int	bufpos	Position in buffer.
static final boolean	staticFlag	Whether parser is static.

Constructor Summary

Constructors

Constructor	Description
SimpleCharStream(InputStream dstream)	Constructs a SimpleCharStream with the specified input stream.
SimpleCharStream(InputStream dstream, int startline, int startcolumn)	Constructs a SimpleCharStream with the specified input stream, starting line, and starting column.
SimpleCharStream(InputStream dstream, int startline, int startcolumn, int buffersize)	Constructs a SimpleCharStream with the specified input stream, starting line, starting column, and buffer size.
SimpleCharStream(InputStream dstream, String encoding)	Constructs a SimpleCharStream with the specified input stream and encoding.
SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn)	Constructs a SimpleCharStream with the specified input stream, encoding, starting line, and starting column.
SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize)	Constructs a SimpleCharStream with the specified input stream, encoding, starting line, starting column, and buffer size.
SimpleCharStream(Reader dstream)	Constructs a SimpleCharStream with the specified reader.
SimpleCharStream(Reader dstream, int startline, int startcolumn)	Constructs a SimpleCharStream with the specified reader, starting line, and starting column.
SimpleCharStream(Reader dstream, int startline, int startcolumn, int buffersize)	Constructs a SimpleCharStream with the specified reader, starting line, starting column, and buffer size.

Method Summary

Modifier and Type	Method	Description
void	adjustBeginLineColumn(int newLine, int newCol)	Method to adjust line and column numbers for the start of a token.
void	backup(int amount)	Rewinds the input stream by a specified number of characters.
char	BeginToken()	Start.
void	Done()	Reset buffer when finished.
int	getBeginColumn()	Retrieves the column number where the current token begins.
int	getBeginLine()	Retrieves the line number where the current token begins.
int	getColumn()	Deprecated.
int	getEndColumn()	Get token end column number.
int	getEndLine()	Get token end line number.
String	GetImage()	Get token literal value.
int	getLine()	Deprecated.
char[]	GetSuffix(int len)	Get the suffix.
char	readChar()	Read a character.
void	ReInit(InputStream dstream)	Reinitializes the SimpleCharStream with the specified input stream.
void	ReInit(InputStream dstream, int startline, int startcolumn)	Reinitializes the SimpleCharStream with the specified input stream, starting line, and starting column.
void	ReInit(InputStream dstream, int startline, int startcolumn, int buffersize)	Reinitializes the SimpleCharStream with the specified input stream, starting line, starting column, and buffer size.
void	ReInit(InputStream dstream, String encoding)	Reinitializes the SimpleCharStream with the specified input stream and encoding.
void	ReInit(InputStream dstream, String encoding, int startline, int startcolumn)	Reinitializes the SimpleCharStream with the specified input stream, encoding, starting line, and starting column.
void	ReInit(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize)	Reinitializes the SimpleCharStream with the specified input stream, encoding, starting line, starting column, and buffer size.
void	ReInit(Reader dstream)	Reinitializes the SimpleCharStream with the specified reader.
void	ReInit(Reader dstream, int startline, int startcolumn)	Reinitializes the SimpleCharStream with the specified reader, starting line, and starting column.
void	ReInit(Reader dstream, int startline, int startcolumn, int buffersize)	Reinitializes the SimpleCharStream with the specified reader, starting line, starting column, and buffer size.

Methods inherited from class java.lang.Object

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

Field Details

staticFlag

public static final boolean staticFlag

Whether parser is static.

See Also:

• Constant Field Values

bufpos

public int bufpos

Position in buffer.

Constructor Details

SimpleCharStream

public SimpleCharStream(Reader dstream,
 int startline,
 int startcolumn,
 int buffersize)

Constructs a SimpleCharStream with the specified reader, starting line, starting column, and buffer size.

Parameters:

dstream - The input reader from which characters are read.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

buffersize - The size of the character buffer.

SimpleCharStream

public SimpleCharStream(Reader dstream,
 int startline,
 int startcolumn)

Constructs a SimpleCharStream with the specified reader, starting line, and starting column. The buffer size is set to 4096 characters.

Parameters:

dstream - The input reader from which characters are read.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

SimpleCharStream

public SimpleCharStream(Reader dstream)

Constructs a SimpleCharStream with the specified reader. The starting line and column are set to 1, and the buffer size is set to 4096 characters.

Parameters:

dstream - The input reader from which characters are read.

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 String encoding,
 int startline,
 int startcolumn,
 int buffersize)
                 throws UnsupportedEncodingException

Constructs a SimpleCharStream with the specified input stream, encoding, starting line, starting column, and buffer size.

Parameters:

dstream - The input stream from which characters are read.

encoding - The character encoding to use.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

buffersize - The size of the character buffer.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 int startline,
 int startcolumn,
 int buffersize)

Constructs a SimpleCharStream with the specified input stream, starting line, starting column, and buffer size. Uses the default encoding for reading.

Parameters:

dstream - The input stream from which characters are read.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

buffersize - The size of the character buffer.

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 String encoding,
 int startline,
 int startcolumn)
                 throws UnsupportedEncodingException

Constructs a SimpleCharStream with the specified input stream, encoding, starting line, and starting column. The buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

encoding - The character encoding to use.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 int startline,
 int startcolumn)

Constructs a SimpleCharStream with the specified input stream, starting line, and starting column. The buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 String encoding)
                 throws UnsupportedEncodingException

Constructs a SimpleCharStream with the specified input stream and encoding. The starting line and column are set to 1, and the buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

encoding - The character encoding to use.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

SimpleCharStream

public SimpleCharStream(InputStream dstream)

Constructs a SimpleCharStream with the specified input stream. The starting line and column are set to 1, and the buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

Method Details

BeginToken

public char BeginToken()
                throws IOException

Start.

Returns:

the begin token

Throws:

IOException - error

readChar

public char readChar()
              throws IOException

Read a character.

Returns:

a char

Throws:

IOException - error

getColumn

@Deprecated
public int getColumn()

Deprecated.

Return column

Returns:

column

See Also:

• getEndColumn()

getLine

@Deprecated
public int getLine()

Deprecated.

Return line

Returns:

line

See Also:

• getEndLine()

getEndColumn

public int getEndColumn()

Get token end column number.

Returns:

column

getEndLine

public int getEndLine()

Get token end line number.

Returns:

line

getBeginColumn

public int getBeginColumn()

Retrieves the column number where the current token begins.

Returns:

The column number of the beginning of the current token.

getBeginLine

public int getBeginLine()

Retrieves the line number where the current token begins.

Returns:

The line number of the beginning of the current token.

backup

public void backup(int amount)

Rewinds the input stream by a specified number of characters. This allows you to backtrack in the input stream if needed.

Parameters:

amount - The number of characters to move backwards. This should be a positive integer.

ReInit

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

Reinitializes the SimpleCharStream with the specified reader, starting line, starting column, and buffer size. This method also resets the internal state of the stream.

Parameters:

dstream - The new input reader from which characters are read.

startline - The new line number where reading starts.

startcolumn - The new column number where reading starts.

buffersize - The new size of the character buffer.

ReInit

public void ReInit(Reader dstream,
 int startline,
 int startcolumn)

Reinitializes the SimpleCharStream with the specified reader, starting line, and starting column. The buffer size is set to 4096 characters.

Parameters:

dstream - The new input reader from which characters are read.

startline - The new line number where reading starts.

startcolumn - The new column number where reading starts.

ReInit

public void ReInit(Reader dstream)

Reinitializes the SimpleCharStream with the specified reader. The starting line and column are set to 1, and the buffer size is set to 4096 characters.

Parameters:

dstream - The new input reader from which characters are read.

ReInit

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

Reinitializes the SimpleCharStream with the specified input stream, encoding, starting line, starting column, and buffer size.

Parameters:

dstream - The input stream from which characters are read.

encoding - The character encoding to use. If null, the default encoding is used.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

buffersize - The size of the character buffer.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

ReInit

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

Reinitializes the SimpleCharStream with the specified input stream, starting line, starting column, and buffer size. Uses the default encoding.

Parameters:

dstream - The input stream from which characters are read.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

buffersize - The size of the character buffer.

ReInit

public void ReInit(InputStream dstream,
 String encoding)
            throws UnsupportedEncodingException

Reinitializes the SimpleCharStream with the specified input stream and encoding. The starting line and column are set to 1, and the buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

encoding - The character encoding to use.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

ReInit

public void ReInit(InputStream dstream)

Reinitializes the SimpleCharStream with the specified input stream. The starting line and column are set to 1, and the buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

ReInit

public void ReInit(InputStream dstream,
 String encoding,
 int startline,
 int startcolumn)
            throws UnsupportedEncodingException

Reinitializes the SimpleCharStream with the specified input stream, encoding, starting line, and starting column. The buffer size is set to 4096 characters.

Parameters:

dstream - The input stream from which characters are read.

encoding - The character encoding to use.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

ReInit

public void ReInit(InputStream dstream,
 int startline,
 int startcolumn)

Reinitializes the SimpleCharStream with the specified input stream, starting line, and starting column. The buffer size is set to 4096 characters. Uses the default encoding.

Parameters:

dstream - The input stream from which characters are read.

startline - The line number where reading starts.

startcolumn - The column number where reading starts.

GetImage

public String GetImage()

Get token literal value.

Returns:

a token

GetSuffix

public char[] GetSuffix(int len)

Get the suffix.

Parameters:

len - size

Returns:

the suffix

Done

public void Done()

Reset buffer when finished.

adjustBeginLineColumn

public void adjustBeginLineColumn(int newLine,
 int newCol)

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

Parameters:

newLine - line

newCol - col