See: Description
Interface | Description |
---|---|
Job | |
Protocol | |
QueryFeedback |
Defines the interface to receive feedback from a verifier.
|
Class | Description |
---|---|
DotProtocol | |
Engine |
State-less wrapper for a UPPAAL server connection.
|
EngineStub |
A thin stub for the server protocol.
|
KeyValueProtocol |
IMPORTANT
|
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 | Description |
---|---|
KeyValueProtocol.Service |
Exception | Description |
---|---|
EngineException | |
ProtocolException | |
ServerException |
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.