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, FLOAT, INT, LONG, NEWLINE, NONE, PARTIAL_END, WORD

Constructor Summary

Constructors

Constructor and Description
Parser(InputStream in)

Method Summary

Methods

Modifier and Type	Method and Description
void	parseAcknowledgement()
BigDecimal	parseBigDecimal()
String	parseBlock()
ConcreteState	parseConcreteInitial(UppaalSystem system)
ConcreteState	parseConcreteState(UppaalSystem system) Parses a concrete state.
ConcreteSuccessor	parseConcreteSuccessor(UppaalSystem system)
SystemEdge[]	parseEdges(UppaalSystem system)
SystemEdgeSelect[]	parseEdgesWS(UppaalSystem system)
ArrayList<ConcreteTransition>	parseEnabledConcreteTransitions(UppaalSystem system)
ArrayList<SymbolicTransition>	parseEnabledTransitions(UppaalSystem system)
void	parseEnd()
GanttChart	parseGanttChart(UppaalSystem system, BigDecimal globalTime) Parses a Gantt chart.
void	parseGanttHeader(UppaalSystem system)
String	parseId()
int	parseInteger()
Limit	parseLimit()
long	parseLong()
LscProcess	parseLscProcess(Document document)
void	parsePartialEnd()
ArrayList<Problem>	parseProblems()
void	parseProblems(ArrayList<Problem> problems)
void	parseProlog()
char	parseQueryResult()
SymbolicState	parseSymbolicInitial(UppaalSystem system)
SymbolicState	parseSymbolicState(UppaalSystem system)
UppaalSystem	parseSystem(Document document)
ArrayList<SymbolicTransition>	parseXTRTrace(UppaalSystem system)
boolean	skipProblems()

Methods inherited from class com.uppaal.engine.LexicalAnalyser

getException, getFloat, 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

parseBigDecimal

public BigDecimal parseBigDecimal()
                           throws ProtocolException,
                                  IOException

Throws:

ProtocolException

IOException

parseLimit

public Limit parseLimit()
                 throws ProtocolException,
                        IOException,
                        ServerException

Throws:

ProtocolException

IOException

ServerException

parseEnd

public void parseEnd()
              throws ProtocolException,
                     IOException

Throws:

ProtocolException

IOException

parsePartialEnd

public void parsePartialEnd()
                     throws ProtocolException,
                            IOException

Throws:

ProtocolException

IOException

parseSymbolicState

public SymbolicState parseSymbolicState(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<SymbolicTransition> 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

parseGanttHeader

public void parseGanttHeader(UppaalSystem system)
                      throws ProtocolException,
                             EngineException,
                             IOException

Throws:

ProtocolException

EngineException

IOException

parseSymbolicInitial

public SymbolicState parseSymbolicInitial(UppaalSystem system)
                                   throws EngineException,
                                          IOException

Throws:

EngineException

IOException

parseConcreteInitial

public ConcreteState parseConcreteInitial(UppaalSystem system)
                                   throws EngineException,
                                          IOException,
                                          ServerException

Throws:

EngineException

IOException

ServerException

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<SymbolicTransition> parseXTRTrace(UppaalSystem system)
                                            throws ProtocolException,
                                                   IOException

Throws:

ProtocolException

IOException

parseConcreteState

public ConcreteState parseConcreteState(UppaalSystem system)
                                 throws IOException,
                                        ProtocolException,
                                        ServerException

Parses a concrete state. * ( )*

Throws:

IOException

ProtocolException

ServerException

parseEdgesWS

public SystemEdgeSelect[] parseEdgesWS(UppaalSystem system)
                                throws ProtocolException,
                                       IOException,
                                       ServerException

Throws:

ProtocolException

IOException

ServerException

parseEnabledConcreteTransitions

public ArrayList<ConcreteTransition> parseEnabledConcreteTransitions(UppaalSystem system)
                                                              throws EngineException,
                                                                     IOException

Throws:

EngineException

IOException

parseConcreteSuccessor

public ConcreteSuccessor parseConcreteSuccessor(UppaalSystem system)
                                         throws IOException,
                                                EngineException,
                                                ServerException

Throws:

IOException

EngineException

ServerException

parseGanttChart

public GanttChart parseGanttChart(UppaalSystem system,
                         BigDecimal globalTime)
                           throws ProtocolException,
                                  ServerException,
                                  IOException

Parses a Gantt chart. ( )* a positive integer: Number of messages in the following the row number/id the value of the bar to be displayed. This number can be positive, 0 or negative. a positive number: interval start time start of interval open or closed? a positive number: interval stop time end of interval open or closed?

Throws:

IOException

ServerException

ProtocolException