Package org.tweetyproject.arg.delp.parser

Class SimpleCharStream

java.lang.Object

org.tweetyproject.arg.delp.parser.SimpleCharStream

public class SimpleCharStream
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	bufpos
static final boolean	staticFlag

Constructor Summary

Constructors

Constructor	Description
SimpleCharStream(InputStream dstream)
SimpleCharStream(InputStream dstream, int startline, int startcolumn)
SimpleCharStream(InputStream dstream, int startline, int startcolumn, int buffersize)
SimpleCharStream(InputStream dstream, String encoding)
SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn)
SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize)
SimpleCharStream(Reader dstream)
SimpleCharStream(Reader dstream, int startline, int startcolumn)
SimpleCharStream(Reader dstream, int startline, int startcolumn, int buffersize)

Method Summary

Modifier and Type	Method	Description
void	adjustBeginLineColumn(int newLine, int newCol)
void	backup(int amount)
char	BeginToken()
void	Done()
int	getBeginColumn()
int	getBeginLine()
int	getColumn()	Deprecated.
int	getEndColumn()
int	getEndLine()
String	GetImage()
int	getLine()	Deprecated.
char[]	GetSuffix(int len)
char	readChar()
void	ReInit(InputStream dstream)
void	ReInit(InputStream dstream, int startline, int startcolumn)
void	ReInit(InputStream dstream, int startline, int startcolumn, int buffersize)
void	ReInit(InputStream dstream, String encoding)
void	ReInit(InputStream dstream, String encoding, int startline, int startcolumn)
void	ReInit(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize)
void	ReInit(Reader dstream)
void	ReInit(Reader dstream, int startline, int startcolumn)
void	ReInit(Reader dstream, int startline, int startcolumn, int buffersize)

Methods inherited from class java.lang.Object

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

Field Details

staticFlag

public static final boolean staticFlag

See Also:

• Constant Field Values

bufpos

public int bufpos

Constructor Details

SimpleCharStream

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

SimpleCharStream

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

SimpleCharStream

public SimpleCharStream(Reader dstream)

SimpleCharStream

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

Throws:

UnsupportedEncodingException

SimpleCharStream

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

SimpleCharStream

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

Throws:

UnsupportedEncodingException

SimpleCharStream

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

SimpleCharStream

public SimpleCharStream(InputStream dstream,
 String encoding)
                 throws UnsupportedEncodingException

Throws:

UnsupportedEncodingException

SimpleCharStream

public SimpleCharStream(InputStream dstream)

Method Details

BeginToken

public char BeginToken()
                throws IOException

Throws:

IOException

readChar

public char readChar()
              throws IOException

Throws:

IOException

getColumn

@Deprecated
public int getColumn()

Deprecated.

getLine

@Deprecated
public int getLine()

Deprecated.

getEndColumn

public int getEndColumn()

getEndLine

public int getEndLine()

getBeginColumn

public int getBeginColumn()

getBeginLine

public int getBeginLine()

backup

public void backup(int amount)

ReInit

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

ReInit

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

ReInit

public void ReInit(Reader dstream)

ReInit

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

Throws:

UnsupportedEncodingException

ReInit

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

ReInit

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

Throws:

UnsupportedEncodingException

ReInit

public void ReInit(InputStream dstream)

ReInit

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

Throws:

UnsupportedEncodingException

ReInit

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

GetImage

public String GetImage()

GetSuffix

public char[] GetSuffix(int len)

Done

public void Done()

adjustBeginLineColumn

public void adjustBeginLineColumn(int newLine,
 int newCol)