prolog.syntax
Class ModelScanner

java.lang.Object
  |
  +--prolog.syntax.Scanner
        |
        +--prolog.syntax.ModelScanner

public class ModelScanner

extends Scanner

Field Summary

protected int	counter
protected java.util.List	listeners

Fields inherited from class prolog.syntax.Scanner

currentChar, currentLine, currentSign, currentWord, source, symbolTable

Constructor Summary

ModelScanner(ISymbolTable t)

Method Summary

void	addScannerListener(IScannerListener l)
void	fireCharScanned(int index)
void	fireWordScanned(int col1, int col2)
int	input()
void	openDocument(java.io.File f)
void	openDocument(java.io.Reader input)
void	openDocument(java.lang.String text)
void	removeScannerListener(IScannerListener l)
void	reset()
void	scanWord()

Methods inherited from class prolog.syntax.Scanner

close, getCurrentChar, getCurrentLine, getCurrentSign, getCurrentWord, isCurrentChar, isCurrentWhiteSpace, skipWhiteSpace, test

Methods inherited from class java.lang.Object

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

Field Detail

listeners

protected java.util.List listeners

counter

protected int counter

Constructor Detail

ModelScanner

public ModelScanner(ISymbolTable t)

Method Detail

reset

public void reset()

Overrides:

reset in class Scanner

openDocument

public void openDocument(java.io.File f)
                  throws java.io.FileNotFoundException

Overrides:

openDocument in class Scanner

openDocument

public void openDocument(java.lang.String text)

Overrides:

openDocument in class Scanner

openDocument

public void openDocument(java.io.Reader input)

Overrides:

openDocument in class Scanner

input

public int input()

Overrides:

input in class Scanner

scanWord

public void scanWord()

Overrides:

scanWord in class Scanner

addScannerListener

public void addScannerListener(IScannerListener l)

removeScannerListener

public void removeScannerListener(IScannerListener l)

fireCharScanned

public void fireCharScanned(int index)

fireWordScanned

public void fireWordScanned(int col1,
                            int col2)