public interface Protocol
Modifier and Type | Method and Description |
---|---|
void |
close()
Disconnect from the server.
|
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)
Verify a query on an instantiated UPPAAL model.
|
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) |
void close() throws IOException
IOException
- engine crash or problem in communication.String getVersion() throws IOException, EngineException
IOException
- engine crash or problem in communication.EngineException
- problem in the Uppaal engine.String getOptionsInfo() throws EngineException, IOException
IOException
- engine crash or problem in communication.EngineException
- problem in the Uppaal engine.void setOptions(String options) throws EngineException, IOException
options
- - The options stringIOException
- engine crash or problem in communication.EngineException
- problem in the Uppaal engine.SymbolicState getSymbolicInitial(UppaalSystem system) throws EngineException, IOException, CannotEvaluateException
system
- the compiled Uppaal system representation.IOException
- I/O communication error.EngineException
- error in the server protocol.CannotEvaluateException
- some expression could not be evaluated.ConcreteState getConcreteInitial(UppaalSystem system) throws EngineException, IOException, CannotEvaluateException
system
- the compiled Uppaal system representation.IOException
- I/O communication error.EngineException
- error in the server protocol.CannotEvaluateException
- some expression could not be evaluated.ConcreteSuccessor getConcreteSuccessor(UppaalSystem system, ConcreteState state, SystemEdgeSelect[] edges, BigDecimal currentTime, BigDecimal delay) throws EngineException, IOException, CannotEvaluateException
system
- - The uppaal systemstate
- - The concrete simulator stateedges
- - The vector of the selected system edgescurrentTime
- - the current simulation timedelay
- - The delay timeIOException
- I/O communication error.EngineException
- error in the server protocol.CannotEvaluateException
- some expression could not be evaluated.GanttChart getGanttChart(UppaalSystem system, BigDecimal globalTime) throws EngineException, IOException
system
- - The uppaal systemglobalTime
- - The global timeIOException
- I/O communication error.EngineException
- error in the server protocol.ArrayList<SymbolicTransition> getTransitions(UppaalSystem system, SymbolicState state) throws EngineException, IOException, CannotEvaluateException
system
- - The uppaal systemstate
- - The symbolic state of the systemIOException
- I/O communication error.EngineException
- error in the server protocol.CannotEvaluateException
- some expression could not be evaluated.UppaalSystem upload(Document document, ArrayList<Problem> problems) throws EngineException, IOException
document
- - The system documentproblems
- - The problem array listIOException
- I/O communication error.EngineException
- error in the server protocol.LscProcess uploadLsc(Document document, ArrayList<Problem> problems) throws EngineException, IOException
EngineException
IOException
UppaalSystem upload(Document document) throws EngineException, IOException
document
- - The system documentIOException
- I/O communication error.EngineException
- error in the server protocol.QueryVerificationResult query(UppaalSystem system, Query query, QueryFeedback f) throws EngineException, IOException
system
- - The uppaal systemquery
- - The queryf
- - The query feed backIOException
- I/O communication error.EngineException
- error in the server protocol.Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.