Modifier and Type | Class and Description |
---|---|
protected static class |
KeyValueProtocol.Service |
Constructor and Description |
---|
KeyValueProtocol(InputStream in,
OutputStream out) |
Modifier and Type | Method and Description |
---|---|
void |
close()
Disconnect from the server.
|
protected String |
escape(String str) |
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) |
SystemState |
getInitial(UppaalSystem system) |
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.
|
protected String |
localiseString(String str) |
protected SystemEdgeSelect[] |
parseEdges(Properties data,
UppaalSystem system,
String edges) |
protected SystemLocation[] |
parseLocationVector(String property,
UppaalSystem system) |
protected SymbolicState |
parseState(Properties data,
UppaalSystem system,
String locations,
String variables,
String zone) |
protected int[] |
parseVariableVector(String property,
UppaalSystem system) |
protected Polyhedron |
parseZone(String property,
UppaalSystem system) |
char |
query(UppaalSystem system,
String query,
QueryFeedback f)
Verify a query on an instantiated UPPAAL model.
|
protected List<String> |
readLines() |
protected String |
recvBlock(KeyValueProtocol.Service serviceName,
boolean allow_progress) |
protected List<String> |
recvLines(KeyValueProtocol.Service serviceName,
boolean allow_progress) |
protected List<Properties> |
recvProperties(KeyValueProtocol.Service serviceName) |
protected List<Properties> |
recvProperties(KeyValueProtocol.Service serviceName,
boolean allow_progress) |
protected String |
recvString(KeyValueProtocol.Service serviceName) |
protected void |
sendMessage(KeyValueProtocol.Service service) |
protected void |
sendMessage(KeyValueProtocol.Service service,
String data) |
protected void |
sendMessage(KeyValueProtocol.Service service,
SymbolicState state) |
void |
setOptions(String options)
Sets server options used for verification.
|
protected void |
setProgress(QueryFeedback f,
Properties data) |
protected void |
setSystemInfo(QueryFeedback f,
Properties data) |
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) |
public KeyValueProtocol(InputStream in, OutputStream out)
public void close() throws IOException
Protocol
close
in interface Protocol
IOException
public SystemState getInitial(UppaalSystem system) throws EngineException, IOException
EngineException
IOException
protected SystemLocation[] parseLocationVector(String property, UppaalSystem system)
protected int[] parseVariableVector(String property, UppaalSystem system)
protected Polyhedron parseZone(String property, UppaalSystem system)
public String getOptionsInfo() throws EngineException, IOException
Protocol
getOptionsInfo
in interface Protocol
EngineException
IOException
public ArrayList<SymbolicTransition> getTransitions(UppaalSystem system, SymbolicState state) throws EngineException, IOException
Protocol
getTransitions
in interface Protocol
EngineException
IOException
protected SymbolicState parseState(Properties data, UppaalSystem system, String locations, String variables, String zone)
protected SystemEdgeSelect[] parseEdges(Properties data, UppaalSystem system, String edges)
public String getVersion() throws IOException, EngineException
Protocol
getVersion
in interface Protocol
IOException
EngineException
public char query(UppaalSystem system, String query, QueryFeedback f) throws EngineException, IOException
Protocol
query
in interface Protocol
EngineException
IOException
protected void setProgress(QueryFeedback f, Properties data)
protected void setSystemInfo(QueryFeedback f, Properties data)
public void setOptions(String options) throws EngineException, IOException
Protocol
setOptions
in interface Protocol
EngineException
IOException
public UppaalSystem upload(Document document, ArrayList<Problem> problems) throws EngineException, IOException
Protocol
upload
in interface Protocol
EngineException
IOException
public UppaalSystem upload(Document document) throws EngineException, IOException
Protocol
upload
in interface Protocol
EngineException
IOException
protected void sendMessage(KeyValueProtocol.Service service) throws IOException
IOException
protected void sendMessage(KeyValueProtocol.Service service, String data) throws IOException
IOException
protected void sendMessage(KeyValueProtocol.Service service, SymbolicState state) throws IOException
IOException
protected List<Properties> recvProperties(KeyValueProtocol.Service serviceName) throws IOException, EngineException
IOException
EngineException
protected List<Properties> recvProperties(KeyValueProtocol.Service serviceName, boolean allow_progress) throws IOException, EngineException
IOException
EngineException
protected String recvString(KeyValueProtocol.Service serviceName) throws IOException, EngineException
IOException
EngineException
protected String recvBlock(KeyValueProtocol.Service serviceName, boolean allow_progress) throws IOException, EngineException
IOException
EngineException
protected List<String> recvLines(KeyValueProtocol.Service serviceName, boolean allow_progress) throws IOException, EngineException
IOException
EngineException
protected List<String> readLines() throws IOException
IOException
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
getGanttChart
in interface Protocol
EngineException
IOException
public ConcreteSuccessor getConcreteSuccessor(UppaalSystem system, ConcreteState state, SystemEdgeSelect[] edges, BigDecimal currentTime, BigDecimal delay) throws EngineException, IOException
getConcreteSuccessor
in interface Protocol
EngineException
IOException
public ConcreteState getConcreteInitial(UppaalSystem system) throws EngineException, IOException
Protocol
getConcreteInitial
in interface Protocol
EngineException
IOException
public SymbolicState getSymbolicInitial(UppaalSystem system) throws EngineException, IOException
Protocol
getSymbolicInitial
in interface Protocol
EngineException
IOException
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.