public class SolverCommunication
extends java.lang.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 java.util.List<java.lang.Throwable> |
exceptions |
private SMTSolverResult |
finalResult |
private java.util.List<java.lang.String> |
messages |
private boolean |
resultHasBeenSet |
private int |
state |
Constructor and Description |
---|
SolverCommunication() |
Modifier and Type | Method and Description |
---|---|
(package private) void |
addException(java.lang.Throwable e) |
(package private) void |
addMessage(java.lang.String message) |
boolean |
exceptionHasOccurred() |
java.lang.Iterable<java.lang.Throwable> |
getExceptions()
Call this method only if you are sure that there are no other threads accessing it.
|
SMTSolverResult |
getFinalResult() |
java.lang.Iterable<java.lang.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 final java.util.List<java.lang.String> messages
private SMTSolverResult finalResult
private int state
private boolean resultHasBeenSet
private java.util.List<java.lang.Throwable> exceptions
public java.lang.Iterable<java.lang.String> getMessages()
public java.lang.Iterable<java.lang.Throwable> getExceptions()
public boolean exceptionHasOccurred()
public SMTSolverResult getFinalResult()
public int getState()
public boolean resultHasBeenSet()
void setFinalResult(SMTSolverResult finalResult)
void addMessage(java.lang.String message)
void setState(int state)
void addException(java.lang.Throwable e)