Constructor and Description |
---|
DotProtocol(InputStream in,
OutputStream out)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Disconnect from the server.
|
protected void |
flush()
Flushes the output stream.
|
ConcreteState |
getConcreteInitial(UppaalSystem system)
Returns the concrete initial state for the system.
|
ConcreteSuccessor |
getConcreteSuccessor(UppaalSystem system,
ConcreteState state,
SystemEdgeSelect[] edges,
BigDecimal currentTime,
BigDecimal delay)
Get the concrete simulation successor
|
GanttChart |
getGanttChart(UppaalSystem system,
BigDecimal globalTime)
Get the gantt chart
|
String |
getOptionsInfo()
Returns information about available options.
|
SymbolicState |
getSymbolicInitial(UppaalSystem system)
Returns the symbolic initial state for the system.
|
ArrayList<SymbolicTransition> |
getTransitions(UppaalSystem system,
SymbolicState state)
Returns the list of outgoing transitions for the state.
|
String |
getVersion()
Returns the version string of the server.
|
QueryVerificationResult |
query(UppaalSystem system,
Query query,
QueryFeedback f)
Write the query data to the server
|
void |
setOptions(String options)
Sets server options used for verification.
|
UppaalSystem |
upload(Document document)
Upload the document to the server.
|
UppaalSystem |
upload(Document document,
ArrayList<Problem> problems)
Upload the document to the server.
|
LscProcess |
uploadLsc(Document document,
ArrayList<Problem> problems) |
protected void |
write(BigDecimal value)
Writes the value to the output stream following by a new line
|
protected void |
write(ConcreteState state,
BigDecimal delay)
Writes the concrete state in the system to the output stream.
|
protected void |
write(Object o)
Writes the object to the output stream following by a newline.
|
protected void |
write(String s)
Writes the string to the output stream following by a newline.
|
protected void |
write(SystemEdge[] edges)
Writes the list of the edges to the output stream
|
protected void |
write(SystemEdgeSelect[] edges)
Writes the list of the selected edges to the output stream
|
public DotProtocol(InputStream in, OutputStream out)
in
- - The input streamout
- - The output streampublic void close() throws IOException
Protocol
close
in interface Protocol
IOException
- engine crash or problem in communication.public SymbolicState getSymbolicInitial(UppaalSystem system) throws EngineException, IOException, CannotEvaluateException
Protocol
getSymbolicInitial
in interface Protocol
system
- the compiled Uppaal system representation.EngineException
- error in the server protocol.IOException
- I/O communication error.CannotEvaluateException
- some expression could not be evaluated.public ConcreteState getConcreteInitial(UppaalSystem system) throws EngineException, IOException, CannotEvaluateException
Protocol
getConcreteInitial
in interface Protocol
system
- the compiled Uppaal system representation.EngineException
- error in the server protocol.IOException
- I/O communication error.CannotEvaluateException
- some expression could not be evaluated.public ConcreteSuccessor getConcreteSuccessor(UppaalSystem system, ConcreteState state, SystemEdgeSelect[] edges, BigDecimal currentTime, BigDecimal delay) throws EngineException, IOException, CannotEvaluateException
Protocol
getConcreteSuccessor
in interface Protocol
system
- - The uppaal systemstate
- - The concrete simulator stateedges
- - The vector of the selected system edgescurrentTime
- - the current simulation timedelay
- - The delay timeEngineException
- error in the server protocol.IOException
- I/O communication error.CannotEvaluateException
- some expression could not be evaluated.public String getOptionsInfo() throws EngineException, IOException
Protocol
getOptionsInfo
in interface Protocol
EngineException
- problem in the Uppaal engine.IOException
- engine crash or problem in communication.public ArrayList<SymbolicTransition> getTransitions(UppaalSystem system, SymbolicState state) throws EngineException, IOException, CannotEvaluateException
Protocol
getTransitions
in interface Protocol
system
- - The uppaal systemstate
- - The symbolic state of the systemEngineException
- error in the server protocol.IOException
- I/O communication error.CannotEvaluateException
- some expression could not be evaluated.public String getVersion() throws IOException, EngineException
Protocol
getVersion
in interface Protocol
IOException
- engine crash or problem in communication.EngineException
- problem in the Uppaal engine.public QueryVerificationResult query(UppaalSystem system, Query query, QueryFeedback f) throws EngineException, IOException
query
in interface Protocol
system
- - The Uppaal systemquery
- - The query stringf
- - The feedback char: 'T'/'M'/'E'EngineException
- problem in Uppaal engine.IOException
- engine crash or problem in communication.public void setOptions(String options) throws EngineException, IOException
Protocol
setOptions
in interface Protocol
options
- - The options stringEngineException
- problem in the Uppaal engine.IOException
- engine crash or problem in communication.public UppaalSystem upload(Document document, ArrayList<Problem> problems) throws EngineException, IOException
Protocol
upload
in interface Protocol
document
- - The system documentproblems
- - The problem array listEngineException
- error in the server protocol.IOException
- I/O communication error.public UppaalSystem upload(Document document) throws EngineException, IOException
Protocol
upload
in interface Protocol
document
- - The system documentEngineException
- error in the server protocol.IOException
- I/O communication error.protected void write(String s) throws IOException
s
- - The input stringIOException
- engine crash or problem in communication.protected void write(Object o) throws IOException
o
- - The objectIOException
- engine crash or problem in communication.protected void write(BigDecimal value) throws IOException
value
- - The valueIOException
- engine crash or problem in communication.protected void write(ConcreteState state, BigDecimal delay) throws IOException
state
- - The concrete state in the systemdelay
- - The delay timeIOException
- engine crash or problem in communication.protected void write(SystemEdge[] edges) throws IOException
edges
- - The list of the edgesIOException
- engine crash or problem in communication.protected void write(SystemEdgeSelect[] edges) throws IOException
edges
- - The list of the selected edgesIOException
- engine crash or problem in communication.protected void flush() throws IOException
IOException
- engine crash or problem in communication.public LscProcess uploadLsc(Document document, ArrayList<Problem> problems) throws EngineException, IOException
uploadLsc
in interface Protocol
EngineException
IOException
public GanttChart getGanttChart(UppaalSystem system, BigDecimal globalTime) throws EngineException, IOException
Protocol
getGanttChart
in interface Protocol
system
- - The uppaal systemglobalTime
- - The global timeEngineException
- error in the server protocol.IOException
- I/O communication error.Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.