com.dfki.peregrin.parsers
Class GenericParserInput

java.lang.Object
  |
  +--com.dfki.peregrin.parsers.GenericParserInput

public class GenericParserInput

extends java.lang.Object

Constructor Summary

GenericParserInput()

GenericParserInput(java.io.InputStream input)

GenericParserInput(java.io.Reader input)

GenericParserInput(java.lang.String input)

Method Summary

void	close()
java.lang.String	flush()
char	nextChar()
char	nextNonWhitespaceChar()
void	restoreBuffer(char c)
void	restoreBuffer(java.lang.String buffer)
void	setBuffer(java.lang.String buffer)
java.lang.String	untilChar(char u)
java.lang.String	untilWhiteSpace()

Methods inherited from class java.lang.Object

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

Constructor Detail

GenericParserInput

public GenericParserInput()

GenericParserInput

public GenericParserInput(java.io.InputStream input)

GenericParserInput

public GenericParserInput(java.lang.String input)

GenericParserInput

public GenericParserInput(java.io.Reader input)

Method Detail

nextChar

public char nextChar()

nextNonWhitespaceChar

public char nextNonWhitespaceChar()

untilChar

public java.lang.String untilChar(char u)

untilWhiteSpace

public java.lang.String untilWhiteSpace()

setBuffer

public void setBuffer(java.lang.String buffer)

restoreBuffer

public void restoreBuffer(java.lang.String buffer)

restoreBuffer

public void restoreBuffer(char c)

flush

public java.lang.String flush()

close

public void close()