de.uka.ilkd.key.gui.smt

Class InformationWindow.Information

java.lang.Object

de.uka.ilkd.key.gui.smt.InformationWindow.Information

Enclosing class:

InformationWindow

public static class InformationWindow.Information
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	content
(package private) java.lang.String	solver
(package private) java.lang.String	title

Constructor Summary

Constructors

Constructor and Description
Information(java.lang.String title, java.lang.String content, java.lang.String solver)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getContent()
java.lang.String	getSolver()
java.lang.String	getTitle()

Methods inherited from class java.lang.Object

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

Field Detail

content

final java.lang.String content

title

final java.lang.String title

solver

final java.lang.String solver

Constructor Detail

Information

public Information(java.lang.String title,
                   java.lang.String content,
                   java.lang.String solver)

Method Detail

getContent

public java.lang.String getContent()

getTitle

public java.lang.String getTitle()

getSolver

public java.lang.String getSolver()