Constructor and Description |
---|
DotProtocol(InputStream in,
OutputStream out) |
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) |
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.
|
char |
query(UppaalSystem system,
SymbolicState state,
String query,
QueryFeedback f) |
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) |
protected void |
write(ConcreteState state,
BigDecimal delay) |
protected void |
write(Object o) |
protected void |
write(String s)
Writes the string to the output stream following by a newline.
|
protected void |
write(SystemEdge[] edges) |
protected void |
write(SystemEdgeSelect[] edges) |
public DotProtocol(InputStream in, OutputStream out)
public void close() throws IOException
Protocol
close
in interface Protocol
IOException
public SymbolicState getSymbolicInitial(UppaalSystem system) throws EngineException, IOException
Protocol
getSymbolicInitial
in interface Protocol
EngineException
IOException
public ConcreteState getConcreteInitial(UppaalSystem system) throws EngineException, IOException
Protocol
getConcreteInitial
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 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
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
public char query(UppaalSystem system, SymbolicState state, String query, QueryFeedback f) throws EngineException, IOException
EngineException
IOException
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 write(String s) throws IOException
IOException
protected void write(Object o) throws IOException
IOException
protected void write(BigDecimal value) throws IOException
IOException
protected void write(ConcreteState state, BigDecimal delay) throws IOException
IOException
protected void write(SystemEdge[] edges) throws IOException
IOException
protected void write(SystemEdgeSelect[] edges) throws IOException
IOException
protected void flush() 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
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.