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) |
GanttChart |
getGanttChart(UppaalSystem system,
BigDecimal globalTime) |
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.
|
char |
query(UppaalSystem system,
String 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
String getVersion() throws IOException, EngineException
IOException
EngineException
String getOptionsInfo() throws EngineException, IOException
EngineException
IOException
void setOptions(String options) throws EngineException, IOException
EngineException
IOException
SymbolicState getSymbolicInitial(UppaalSystem system) throws EngineException, IOException
EngineException
IOException
ConcreteState getConcreteInitial(UppaalSystem system) throws EngineException, IOException
EngineException
IOException
ConcreteSuccessor getConcreteSuccessor(UppaalSystem system, ConcreteState state, SystemEdgeSelect[] edges, BigDecimal currentTime, BigDecimal delay) throws EngineException, IOException
EngineException
IOException
GanttChart getGanttChart(UppaalSystem system, BigDecimal globalTime) throws EngineException, IOException
EngineException
IOException
ArrayList<SymbolicTransition> getTransitions(UppaalSystem system, SymbolicState state) throws EngineException, IOException
EngineException
IOException
UppaalSystem upload(Document document, ArrayList<Problem> problems) throws EngineException, IOException
EngineException
IOException
LscProcess uploadLsc(Document document, ArrayList<Problem> problems) throws EngineException, IOException
EngineException
IOException
UppaalSystem upload(Document document) throws EngineException, IOException
EngineException
IOException
char query(UppaalSystem system, String query, QueryFeedback f) throws EngineException, IOException
EngineException
IOException
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.