com.uppaal.engine
Class Parser

java.lang.Object
  com.uppaal.engine.LexicalAnalyser
      com.uppaal.engine.Parser

public class Parser
extends LexicalAnalyser

Simple recursive decent parser for the communication protocol. Used by the EngineStub.

Field Summary

Fields inherited from class com.uppaal.engine.LexicalAnalyser

BLOCK, END, ERROR_EOL, INT, LONG, NEWLINE, NONE, WORD

Constructor Summary

Parser(InputStream in)

Method Summary

void	parseAcknowledgement()
String	parseBlock()
SystemEdge[]	parseEdges(UppaalSystem system)
ArrayList<Transition>	parseEnabledTransitions(UppaalSystem system)
void	parseEnd()
String	parseId()
SystemState	parseInitial(UppaalSystem system)
int	parseInteger()
long	parseLong()
LscProcess	parseLscProcess(Document document)
ArrayList<Problem>	parseProblems()
void	parseProblems(ArrayList<Problem> problems)
void	parseProlog()
char	parseQueryResult()
SystemState	parseState(UppaalSystem system)
UppaalSystem	parseSystem(Document document)
ArrayList<Transition>	parseXTRTrace(UppaalSystem system)
boolean	skipProblems()

Methods inherited from class com.uppaal.engine.LexicalAnalyser

getIntValue, getLookahead, getValue, getWord, nextToken, read, readBlock

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser(InputStream in)

Method Detail

parseProlog

public void parseProlog()
                 throws EngineException,
                        IOException

Throws:

EngineException

IOException

parseId

public String parseId()
               throws ProtocolException,
                      IOException

Throws:

ProtocolException

IOException

parseInteger

public int parseInteger()
                 throws ProtocolException,
                        IOException,
                        ServerException

Throws:

ProtocolException

IOException

ServerException

parseLong

public long parseLong()
               throws ProtocolException,
                      IOException,
                      ServerException

Throws:

ProtocolException

IOException

ServerException

parseEnd

public void parseEnd()
              throws ProtocolException,
                     IOException

Throws:

ProtocolException

IOException

parseState

public SystemState parseState(UppaalSystem system)
                       throws ProtocolException,
                              IOException,
                              ServerException

Throws:

ProtocolException

IOException

ServerException

parseEdges

public SystemEdge[] parseEdges(UppaalSystem system)
                        throws ProtocolException,
                               IOException,
                               ServerException

Throws:

ProtocolException

IOException

ServerException

parseEnabledTransitions

public ArrayList<Transition> parseEnabledTransitions(UppaalSystem system)
                                              throws EngineException,
                                                     IOException

Throws:

EngineException

IOException

parseAcknowledgement

public void parseAcknowledgement()
                          throws EngineException,
                                 IOException

Throws:

EngineException

IOException

parseBlock

public String parseBlock()
                  throws EngineException,
                         IOException

Throws:

EngineException

IOException

parseInitial

public SystemState parseInitial(UppaalSystem system)
                         throws EngineException,
                                IOException

Throws:

EngineException

IOException

parseSystem

public UppaalSystem parseSystem(Document document)
                         throws EngineException,
                                IOException

Throws:

EngineException

IOException

parseLscProcess

public LscProcess parseLscProcess(Document document)
                           throws EngineException,
                                  IOException

Throws:

EngineException

IOException

parseProblems

public ArrayList<Problem> parseProblems()
                                 throws EngineException,
                                        IOException

Throws:

EngineException

IOException

parseProblems

public void parseProblems(ArrayList<Problem> problems)
                   throws EngineException,
                          IOException

Throws:

EngineException

IOException

skipProblems

public boolean skipProblems()
                     throws EngineException,
                            IOException

Throws:

EngineException

IOException

parseQueryResult

public char parseQueryResult()
                      throws EngineException,
                             IOException

Throws:

EngineException

IOException

parseXTRTrace

public ArrayList<Transition> parseXTRTrace(UppaalSystem system)
                                    throws ProtocolException,
                                           IOException

Throws:

ProtocolException

IOException