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 java.lang.Object

Represents a choice with all its meta information.

Author:

Martin Hentschel

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

INCOMPLETE_TEXT

public static final java.lang.String INCOMPLETE_TEXT

Text shown to the user in case of incompletness.

See Also:

Constant Field Values

UNSOUND_TEXT

public static final java.lang.String UNSOUND_TEXT

Text shown to the user in case of unsoundness.

See Also:

Constant Field Values

choice

private final java.lang.String choice

The choice.

unsound

private final boolean unsound

Is unsound?

incomplete

private final boolean incomplete

Is incomplete?

information

private final java.lang.String information

An optionally information.

Constructor Detail

ChoiceEntry

public ChoiceEntry(java.lang.String choice,
                   boolean unsound,
                   boolean incomplete,
                   java.lang.String information)

Constructor.

Parameters:

choice - The choice.

unsound - Is unsound?

incomplete - Is incomplete?

information - An optionally information.

Method Detail

getChoice

public java.lang.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 java.lang.String getInformation()

Returns the optionally information.

Returns:

The optionally information.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object