public class Parser extends LexicalAnalyser
Constructor and Description |
---|
Parser(InputStream in) |
getException, getFloat, getIntValue, getLookahead, getValue, getWord, nextToken, read, readBlock
public Parser(InputStream in)
public void parseProlog() throws EngineException, IOException
EngineException
IOException
public String parseId() throws ProtocolException, IOException
ProtocolException
IOException
public int parseInteger() throws ProtocolException, IOException, ServerException
public long parseLong() throws ProtocolException, IOException, ServerException
public BigDecimal parseBigDecimal() throws ProtocolException, IOException
ProtocolException
IOException
public Limit parseLimit() throws ProtocolException, IOException, ServerException
public void parseEnd() throws ProtocolException, IOException
ProtocolException
IOException
public void parsePartialEnd() throws ProtocolException, IOException
ProtocolException
IOException
public SymbolicState parseSymbolicState(UppaalSystem system) throws ProtocolException, IOException, ServerException
public SystemEdge[] parseEdges(UppaalSystem system) throws ProtocolException, IOException, ServerException
public ArrayList<SymbolicTransition> parseEnabledTransitions(UppaalSystem system) throws EngineException, IOException
EngineException
IOException
public void parseAcknowledgement() throws EngineException, IOException
EngineException
IOException
public String parseBlock() throws EngineException, IOException
EngineException
IOException
public void parseGanttHeader(UppaalSystem system) throws ProtocolException, EngineException, IOException
public SymbolicState parseSymbolicInitial(UppaalSystem system) throws EngineException, IOException
EngineException
IOException
public ConcreteState parseConcreteInitial(UppaalSystem system) throws EngineException, IOException, ServerException
public UppaalSystem parseSystem(Document document) throws EngineException, IOException
EngineException
IOException
public LscProcess parseLscProcess(Document document) throws EngineException, IOException
EngineException
IOException
public ArrayList<Problem> parseProblems() throws EngineException, IOException
EngineException
IOException
public void parseProblems(ArrayList<Problem> problems) throws EngineException, IOException
EngineException
IOException
public boolean skipProblems() throws EngineException, IOException
EngineException
IOException
public char parseQueryResult() throws EngineException, IOException
EngineException
IOException
public ArrayList<SymbolicTransition> parseXTRTrace(UppaalSystem system) throws ProtocolException, IOException
ProtocolException
IOException
public ConcreteState parseConcreteState(UppaalSystem system) throws IOException, ProtocolException, ServerException
public SystemEdgeSelect[] parseEdgesWS(UppaalSystem system) throws ProtocolException, IOException, ServerException
public ArrayList<ConcreteTransition> parseEnabledConcreteTransitions(UppaalSystem system) throws EngineException, IOException
EngineException
IOException
public ConcreteSuccessor parseConcreteSuccessor(UppaalSystem system) throws IOException, EngineException, ServerException
public GanttChart parseGanttChart(UppaalSystem system, BigDecimal globalTime) throws ProtocolException, ServerException, IOException
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.