de.uka.ilkd.key.gui.configuration

Class ChoiceSelector.ChoiceEntry

java.lang.Object

de.uka.ilkd.key.gui.configuration.ChoiceSelector.ChoiceEntry

Enclosing class:

ChoiceSelector

public static class ChoiceSelector.ChoiceEntry
extends Object

Represents a choice with all its meta information.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private String	choice The choice.
private boolean	incomplete Is incomplete?
static String	INCOMPLETE_TEXT Text shown to the user in case of incompletness.
private String	information An optionally information.
private boolean	unsound Is unsound?
static String	UNSOUND_TEXT Text shown to the user in case of unsoundness.

Constructor Summary

Constructors

Constructor and Description
ChoiceEntry(String choice, boolean unsound, boolean incomplete, String information) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	getChoice() Returns the choice.
String	getInformation() Returns the optionally information.
int	hashCode()
boolean	isIncomplete() Checks for completeness.
boolean	isUnsound() Checks for soundness.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

INCOMPLETE_TEXT

public static final String INCOMPLETE_TEXT

Text shown to the user in case of incompletness.

See Also:

Constant Field Values

UNSOUND_TEXT

public static final String UNSOUND_TEXT

Text shown to the user in case of unsoundness.

See Also:

Constant Field Values

choice

private final String choice

The choice.

unsound

private final boolean unsound

Is unsound?

incomplete

private final boolean incomplete

Is incomplete?

information

private final String information

An optionally information.

Constructor Detail

ChoiceEntry

public ChoiceEntry(String choice,
                   boolean unsound,
                   boolean incomplete,
                   String information)

Constructor.

Parameters:

choice - The choice.

unsound - Is unsound?

incomplete - Is incomplete?

information - An optionally information.

Method Detail

getChoice

public String getChoice()

Returns the choice.

Returns:

The choice.

isUnsound

public boolean isUnsound()

Checks for soundness.

Returns:

true unsound, false sound.

isIncomplete

public boolean isIncomplete()

Checks for completeness.

Returns:

true incomplete, false complete.

getInformation

public String getInformation()

Returns the optionally information.

Returns:

The optionally information.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object