net.oneandone.mork.scanner

Class Scanner

java.lang.Object

net.oneandone.mork.scanner.Scanner

public class Scanner
extends Object

A token stream, input for parsers.

Field Summary

Fields

Modifier and Type	Field and Description
static int	EOF
static int	ERROR
static int	ERROR_PC
static int	NO_TERMINAL

Constructor Summary

Constructors

Constructor and Description
Scanner(int start, int modeCount, char[] table, Position pos, Reader reader)

Method Summary

Modifier and Type	Method and Description
int	find(int mode, net.oneandone.sushi.util.IntBitSet terminals)
void	getPosition(Position result) assigns the position of the last terminal returned by eat.
String	getText() returns the text of the last terminal returned by eat.
boolean	match(int mode, int eof, int[] terminals)
int	next(int mode) Scans the next terminal.

Methods inherited from class java.lang.Object

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

Field Detail

EOF

public static final int EOF

See Also:

Constant Field Values

ERROR

public static final int ERROR

See Also:

Constant Field Values

ERROR_PC

public static final int ERROR_PC

See Also:

Constant Field Values

NO_TERMINAL

public static final int NO_TERMINAL

See Also:

Constant Field Values

Constructor Detail

Scanner

public Scanner(int start,
               int modeCount,
               char[] table,
               Position pos,
               Reader reader)

Method Detail

getPosition

public void getPosition(Position result)

assigns the position of the last terminal returned by eat.

getText

public String getText()

returns the text of the last terminal returned by eat.

next

public int next(int mode)
         throws IOException

Scans the next terminal.

Returns:

terminal or ERROR or EOF

Throws:

IOException

find

public int find(int mode,
                net.oneandone.sushi.util.IntBitSet terminals)
         throws IOException

Throws:

IOException

match

public boolean match(int mode,
                     int eof,
                     int[] terminals)
              throws IOException

Throws:

IOException