public class SolverCommunication extends Object
Modifier and Type | Class and Description |
---|---|
static class |
SolverCommunication.Message |
static class |
SolverCommunication.MessageType
The message type depends on the channel which was used for sending the message.
|
Modifier and Type | Field and Description |
---|---|
static SolverCommunication |
EMPTY |
private List<Throwable> |
exceptions |
private SMTSolverResult |
finalResult |
private List<String> |
messages |
private boolean |
resultHasBeenSet |
private int |
state |
Constructor and Description |
---|
SolverCommunication() |
Modifier and Type | Method and Description |
---|---|
(package private) void |
addException(Throwable e) |
(package private) void |
addMessage(String message) |
boolean |
exceptionHasOccurred() |
Iterable<Throwable> |
getExceptions()
Call this method only if you are sure that there are no other threads accessing it.
|
SMTSolverResult |
getFinalResult() |
Iterable<String> |
getMessages()
Returns all messages that were sent between KeY and the solver.
|
int |
getState()
Returns the current state of the communication.
|
boolean |
resultHasBeenSet() |
(package private) void |
setFinalResult(SMTSolverResult finalResult) |
(package private) void |
setState(int state) |
public static SolverCommunication EMPTY
private SMTSolverResult finalResult
private int state
private boolean resultHasBeenSet
public Iterable<String> getMessages()
public Iterable<Throwable> getExceptions()
public boolean exceptionHasOccurred()
public SMTSolverResult getFinalResult()
public int getState()
public boolean resultHasBeenSet()
void setFinalResult(SMTSolverResult finalResult)
void addMessage(String message)
void setState(int state)
void addException(Throwable e)