de.uka.ilkd.key.smt

Class SolverCommunication.Message

java.lang.Object

de.uka.ilkd.key.smt.SolverCommunication.Message

Enclosing class:

SolverCommunication

public static class SolverCommunication.Message
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	content
private SolverCommunication.MessageType	type

Constructor Summary

Constructors

Constructor and Description
Message(java.lang.String content, SolverCommunication.MessageType type)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getContent()
SolverCommunication.MessageType	getType()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

content

private final java.lang.String content

type

private final SolverCommunication.MessageType type

Constructor Detail

Message

public Message(java.lang.String content,
               SolverCommunication.MessageType type)

Method Detail

getContent

public java.lang.String getContent()

getType

public SolverCommunication.MessageType getType()