com.uppaal.engine
Class LexicalAnalyser

java.lang.Object
  extended by com.uppaal.engine.LexicalAnalyser
Direct Known Subclasses:
Parser

public class LexicalAnalyser
extends Object

Lexical analyser used by EngineStub. It generates tokens from an InputStream. You most likely do not want to use this directly.


Field Summary
static int BLOCK
           
static int END
           
static int ERROR_EOL
           
static int INT
           
static int LONG
           
static int NEWLINE
           
static int NONE
           
static int WORD
           
 
Constructor Summary
LexicalAnalyser(InputStream r)
           
 
Method Summary
 int getIntValue()
           
 int getLookahead()
           
 long getValue()
           
 String getWord()
           
 int nextToken()
           
 char read()
           
 String readBlock()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NEWLINE

public static final int NEWLINE
See Also:
Constant Field Values

END

public static final int END
See Also:
Constant Field Values

WORD

public static final int WORD
See Also:
Constant Field Values

BLOCK

public static final int BLOCK
See Also:
Constant Field Values

INT

public static final int INT
See Also:
Constant Field Values

LONG

public static final int LONG
See Also:
Constant Field Values

NONE

public static final int NONE
See Also:
Constant Field Values

ERROR_EOL

public static final int ERROR_EOL
See Also:
Constant Field Values
Constructor Detail

LexicalAnalyser

public LexicalAnalyser(InputStream r)
Method Detail

getLookahead

public int getLookahead()
                 throws IOException
Throws:
IOException

getWord

public String getWord()

getIntValue

public int getIntValue()

getValue

public long getValue()

readBlock

public String readBlock()
                 throws IOException
Throws:
IOException

read

public char read()
          throws IOException
Throws:
IOException

nextToken

public int nextToken()
              throws IOException
Throws:
IOException


Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.