public static class TacletOptionsSettings.ChoiceEntry
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
INCOMPLETE_TEXT
Text shown to the user in case of incompletness.
|
static java.lang.String |
UNSOUND_TEXT
Text shown to the user in case of unsoundness.
|
Constructor and Description |
---|
ChoiceEntry(java.lang.String choice,
boolean unsound,
boolean incomplete,
java.lang.String information)
Constructor.
|
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() |
public static final java.lang.String INCOMPLETE_TEXT
public static final java.lang.String UNSOUND_TEXT
public ChoiceEntry(java.lang.String choice, boolean unsound, boolean incomplete, java.lang.String information)
choice
- The choice.unsound
- Is unsound?incomplete
- Is incomplete?information
- An optionally information.public java.lang.String getChoice()
public boolean isUnsound()
true
unsound, false
sound.public boolean isIncomplete()
true
incomplete, false
complete.public java.lang.String getInformation()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.