import java.util.List;
/**
- * A parameter with options intended to be rendered as radio buttons
+ * A parameter with a choice of possible options, preferred to be rendered as
+ * radio buttons if possible
*/
-public class StringChoiceParameter extends Option
+public class RadioChoiceParameter extends StringParameter
{
/**
* @param options
* @param def
*/
- public StringChoiceParameter(String name, String description,
+ public RadioChoiceParameter(String name, String description,
List<String> options, String def)
{
super(name, description, true, def, def, options, null);