public static final class SolverCommunication.Message
extends java.lang.Object
Constructor and Description |
---|
Message(java.lang.String content,
SolverCommunication.MessageType type)
Creates a new message.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getContent() |
SolverCommunication.MessageType |
getType() |
public Message(java.lang.String content, SolverCommunication.MessageType type)
content
- the text of the new messagetype
- the type of the new messagepublic java.lang.String getContent()
public SolverCommunication.MessageType getType()
Copyright © 2003-2019 The KeY-Project.