Package org.tweetyproject.lp.asp.parser

Class SimpleCharStream

java.lang.Object

org.tweetyproject.lp.asp.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, character encoding, and a default buffer size of 4096 characters.
SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn)	Constructs a SimpleCharStream with the specified input stream, character 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, character encoding, starting line, starting column, and buffer size.
SimpleCharStream(Reader dstream)	Constructs a SimpleCharStream with the specified input reader.
SimpleCharStream(Reader dstream, int startline, int startcolumn)	Constructs a SimpleCharStream with the specified input reader, starting line, and starting column.
SimpleCharStream(Reader dstream, int startline, int startcolumn, int buffersize)	Constructs a SimpleCharStream with the specified input 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)	backup by amount
char	BeginToken()	Return begin
void	Done()	Reset buffer when finished.
int	getBeginColumn()	Get token beginning column number
int	getBeginLine()	Get token beginning line number
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 character stream with the specified input stream.
void	ReInit(InputStream dstream, int startline, int startcolumn)	Reinitializes the character stream with the specified input stream, starting line, and starting column.
void	ReInit(InputStream dstream, int startline, int startcolumn, int buffersize)	Reinitializes the character stream with the specified input stream, starting line, starting column, and buffer size.
void	ReInit(InputStream dstream, String encoding)	Reinitializes the character stream with the specified input stream and character encoding.
void	ReInit(InputStream dstream, String encoding, int startline, int startcolumn)	Reinitializes the character stream with the specified input stream, character encoding, starting line, and starting column.
void	ReInit(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize)	Reinitializes the character stream with the specified input stream, character encoding, starting line, starting column, and buffer size.
void	ReInit(Reader dstream)	Reinitializes this SimpleCharStream with a new input reader.
void	ReInit(Reader dstream, int startline, int startcolumn)	Reinitializes this SimpleCharStream with a new input reader, starting line, and starting column.
void	ReInit(Reader dstream, int startline, int startcolumn, int buffersize)	Reinitializes this SimpleCharStream with a new input 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 input reader, starting line, starting column, and buffer size.

Parameters:

dstream - The Reader to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

buffersize - The size of the buffer used to read characters.

SimpleCharStream

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

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

Parameters:

dstream - The Reader to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

SimpleCharStream

public SimpleCharStream(Reader dstream)

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

Parameters:

dstream - The Reader to read character data from.

SimpleCharStream

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

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

Parameters:

dstream - The InputStream to read character data from.

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

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

buffersize - The size of the buffer used to read characters.

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. The character encoding is set to the platform's default.

Parameters:

dstream - The InputStream to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

buffersize - The size of the buffer used to read characters.

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 by default. The character encoding is set to the platform's default.

Parameters:

dstream - The InputStream to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

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 by default. The character encoding is set to the platform's default.

Parameters:

dstream - The InputStream to read character data from.

SimpleCharStream

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

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

Parameters:

dstream - The InputStream to read character data from.

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

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 String encoding)
                 throws UnsupportedEncodingException

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

Parameters:

dstream - The InputStream to read character data from.

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

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

Method Details

BeginToken

public char BeginToken()
                throws IOException

Return begin

Returns:

a char

Throws:

IOException - error

readChar

public char readChar()
              throws IOException

Read a character

Returns:

a character

Throws:

IOException - error

getColumn

@Deprecated
public int getColumn()

Deprecated.

Returns:

a column

See Also:

• Return a column

getLine

@Deprecated
public int getLine()

Deprecated.

Returns:

a line

See Also:

• Return a line

getEndColumn

public int getEndColumn()

Get token end column number

Returns:

token end column number

getEndLine

public int getEndLine()

Get token end line number

Returns:

token end line number

getBeginColumn

public int getBeginColumn()

Get token beginning column number

Returns:

Get token beginning column number

getBeginLine

public int getBeginLine()

Get token beginning line number

Returns:

Get token beginning line number

backup

public void backup(int amount)

backup by amount

Parameters:

amount - the amount

ReInit

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

Reinitializes this SimpleCharStream with a new input reader, starting line, starting column, and buffer size.

Parameters:

dstream - The Reader to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

buffersize - The size of the buffer used to read characters.

ReInit

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

Reinitializes this SimpleCharStream with a new input reader, starting line, and starting column. The buffer size is set to 4096 characters by default.

Parameters:

dstream - The Reader to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

ReInit

public void ReInit(Reader dstream)

Reinitializes this SimpleCharStream with a new input reader. The starting line and column are set to 1, and the buffer size is set to 4096 characters by default.

Parameters:

dstream - The Reader to read character data from.

ReInit

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

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

Parameters:

dstream - The InputStream to read character data from.

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

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

buffersize - The size of the buffer used to read characters.

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

ReInit

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

Reinitializes the character stream with the specified input stream, starting line, starting column, and buffer size. The character encoding is set to the platform's default.

Parameters:

dstream - The InputStream to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

buffersize - The size of the buffer used to read characters.

ReInit

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

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

Parameters:

dstream - The InputStream to read character data from.

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

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

ReInit

public void ReInit(InputStream dstream)

Reinitializes the character stream with the specified input stream. The starting line and column are set to 1, and the buffer size is set to 4096 characters by default. The character encoding is set to the platform's default.

Parameters:

dstream - The InputStream to read character data from.

ReInit

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

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

Parameters:

dstream - The InputStream to read character data from.

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

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

Throws:

UnsupportedEncodingException - If the specified encoding is not supported.

ReInit

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

Reinitializes the character stream with the specified input stream, starting line, and starting column. The buffer size is set to 4096 characters by default and the character encoding is set to the platform's default.

Parameters:

dstream - The InputStream to read character data from.

startline - The line number to start reading from (1-based).

startcolumn - The column number to start reading from (1-based).

GetImage

public String GetImage()

Get token literal value.

Returns:

image

GetSuffix

public char[] GetSuffix(int len)

Get the suffix.

Parameters:

len - length

Returns:

char

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 - new line

newCol - the column