|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| Job | |
| Protocol | |
| QueryFeedback | Defines the interface to receive feedback from a verifier. |
| Class Summary | |
|---|---|
| DotProtocol | |
| Engine | State-less wrapper for a UPPAAL server connection. |
| EngineStub | A thin stub for the server protocol. |
| KeyValueProtocol | |
| LexicalAnalyser | Lexical analyser used by EngineStub. |
| Parser | Simple recursive decent parser for the communication protocol. |
| Problem | A representation of a syntax error or warning. |
| Enum Summary | |
|---|---|
| KeyValueProtocol.Service | |
| Exception Summary | |
|---|---|
| EngineException | |
| ProtocolException | |
| ServerException | |
Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||