com.uppaal.engine
Class DotProtocol

java.lang.Object
  com.uppaal.engine.DotProtocol

All Implemented Interfaces:

Protocol

public class DotProtocol
extends Object
implements Protocol

Constructor Summary

DotProtocol(InputStream in, OutputStream out)

Method Summary

void	close() Disconnect from the server.
protected void	flush() Flushes the output stream.
SystemState	getInitial(UppaalSystem system) Returns the initial state for the system.
String	getOptionsInfo() Returns information about available options.
ArrayList<Transition>	getTransitions(UppaalSystem system, SystemState 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, SystemState state, String query, QueryFeedback f) Verify a query on an instantiated UPPAAL model with custom initial state.
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(String s) Writes the string to the output stream following by a newline.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DotProtocol

public DotProtocol(InputStream in,
                   OutputStream out)

Method Detail

close

public void close()
           throws IOException

Description copied from interface: Protocol

Disconnect from the server.

Specified by:

close in interface Protocol

Throws:

IOException

getInitial

public SystemState getInitial(UppaalSystem system)
                       throws EngineException,
                              IOException

Description copied from interface: Protocol

Returns the initial state for the system. The stub must be connected and the system must be the last one uploaded to the server.

Specified by:

getInitial in interface Protocol

Throws:

EngineException

IOException

getOptionsInfo

public String getOptionsInfo()
                      throws EngineException,
                             IOException

Description copied from interface: Protocol

Returns information about available options. The information is returned as an XML document. The stub must be connected.

Specified by:

getOptionsInfo in interface Protocol

Throws:

EngineException

IOException

getTransitions

public ArrayList<Transition> getTransitions(UppaalSystem system,
                                            SystemState state)
                                     throws EngineException,
                                            IOException

Description copied from interface: Protocol

Returns the list of outgoing transitions for the state. The stub must be connected, the state must belong to the system, and the system must be the last one uploaded to the server.

Specified by:

getTransitions in interface Protocol

Throws:

EngineException

IOException

getVersion

public String getVersion()
                  throws IOException,
                         EngineException

Description copied from interface: Protocol

Returns the version string of the server. The stub must be connected.

Specified by:

getVersion in interface Protocol

Throws:

IOException

EngineException

query

public char query(UppaalSystem system,
                  String query,
                  QueryFeedback f)
           throws EngineException,
                  IOException

Description copied from interface: Protocol

Verify a query on an instantiated UPPAAL model. Returns 'T' if property is satisfied, 'F' if it is not satisfied, 'M' if it is maybe satisfied, and 'E' if an error occurred. Progress feedback and traces are provided via the feedback object. The stub must be connected and the system must be the last one uploaded to the server.

Specified by:

query in interface Protocol

Throws:

EngineException

IOException

query

public char query(UppaalSystem system,
                  SystemState state,
                  String query,
                  QueryFeedback f)
           throws EngineException,
                  IOException

Description copied from interface: Protocol

Verify a query on an instantiated UPPAAL model with custom initial state. Returns 'T' if property is satisfied, 'F' if it is not satisfied, 'M' if it is maybe satisfied, and 'E' if an error occurred. Progress feedback and traces are provided via the feedback object. The stub must be connected and the system must be the last one uploaded to the server.

Specified by:

query in interface Protocol

Throws:

EngineException

IOException

setOptions

public void setOptions(String options)
                throws EngineException,
                       IOException

Description copied from interface: Protocol

Sets server options used for verification. The stub must be connected. TODO: Document format.

Specified by:

setOptions in interface Protocol

Throws:

EngineException

IOException

upload

public UppaalSystem upload(Document document,
                           ArrayList<Problem> problems)
                    throws EngineException,
                           IOException

Description copied from interface: Protocol

Upload the document to the server. If no errors occurred, the instantiated system is returned. Otherwise, null is returned and error reports are stored in the problems vector. Even if no errors occurred, warnings may have been added to the problems vector. The stub must be connected.

Specified by:

upload in interface Protocol

Throws:

EngineException

IOException

upload

public UppaalSystem upload(Document document)
                    throws EngineException,
                           IOException

Description copied from interface: Protocol

Upload the document to the server. If no errors occurred, the instantiated system is returned. Otherwise, null is returned. The stub must be connected.

Specified by:

upload in interface Protocol

Throws:

EngineException

IOException

write

protected void write(String s)
              throws IOException

Writes the string to the output stream following by a newline.

Throws:

IOException

flush

protected void flush()
              throws IOException

Flushes the output stream.

Throws:

IOException

uploadLsc

public LscProcess uploadLsc(Document document,
                            ArrayList<Problem> problems)
                     throws EngineException,
                            IOException

Specified by:

uploadLsc in interface Protocol

Throws:

EngineException

IOException