fmrisc.ProofNavigator.SWT

Class Question

java.lang.Object

org.eclipse.swt.widgets.Dialog

fmrisc.ProofNavigator.SWT.Question

public final class Question
extends org.eclipse.swt.widgets.Dialog

A window for selecting multiple directories.

Constructor Summary

Constructors

Constructor and Description
Question(org.eclipse.swt.widgets.Shell parent, java.lang.String question) Construct question with denoted shell

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object	open() Pose question.
void	setAnswer(java.lang.String answer) Set answer from external source.

Methods inherited from class org.eclipse.swt.widgets.Dialog

getParent, getStyle, getText, setText

Methods inherited from class java.lang.Object

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

Constructor Detail

Question

public Question(org.eclipse.swt.widgets.Shell parent,
        java.lang.String question)

Construct question with denoted shell

Parameters:

parent - the shell

question - the text of the question

Method Detail

open

public java.lang.Object open()

Pose question.

setAnswer

public void setAnswer(java.lang.String answer)

Set answer from external source.

Parameters:

answer - the answer.