net.oneandone.mork.scanner

Class ScannerFactory

java.lang.Object

net.oneandone.mork.scanner.ScannerFactory

public class ScannerFactory
extends Object

An immutable FA. Instances are used for acual scanning. I would call it FA if FA could be called FABuffer. But in this case, FABuilder would become FABufferBuilder ...

 TODO
 o binary search in TableFA?
  o Java Scanner needs up to 60 comparisons
 

Field Summary

Fields

Modifier and Type	Field and Description
static String	SCANNER_TOO_BIG

Constructor Summary

Constructors

Constructor and Description
ScannerFactory(int start, int modeCount, char[] table)

Method Summary

Modifier and Type	Method and Description
static ScannerFactory	create(FA fa, int errorSi, ParserTable parserTable, net.oneandone.sushi.util.IntBitSet whites, PrintWriter verbose, PrintWriter listing)
static ScannerFactory	createSimple(FA fa, int errorSi, net.oneandone.sushi.util.IntBitSet terminals)
Scanner	newInstance(Position pos, Reader src)
int	size()

Methods inherited from class java.lang.Object

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

Field Detail

SCANNER_TOO_BIG

public static final String SCANNER_TOO_BIG

See Also:

Constant Field Values

Constructor Detail

ScannerFactory

public ScannerFactory(int start,
                      int modeCount,
                      char[] table)

Method Detail

create

public static ScannerFactory create(FA fa,
                                    int errorSi,
                                    ParserTable parserTable,
                                    net.oneandone.sushi.util.IntBitSet whites,
                                    PrintWriter verbose,
                                    PrintWriter listing)
                             throws GenericException

Throws:

GenericException

createSimple

public static ScannerFactory createSimple(FA fa,
                                          int errorSi,
                                          net.oneandone.sushi.util.IntBitSet terminals)
                                   throws GenericException

Throws:

GenericException

newInstance

public Scanner newInstance(Position pos,
                           Reader src)

size

public int size()