*/
package jalview.ws.params.simple;
+import java.util.List;
+
+/**
+ * A parameter with options intended to be rendered as radio buttons
+ */
public class StringChoiceParameter extends Option
{
+ /**
+ * Constructor
+ *
+ * @param name
+ * @param description
+ * @param options
+ * @param def
+ */
+ public StringChoiceParameter(String name, String description,
+ List<String> options, String def)
+ {
+ super(name, description, true, def, def, options, null);
+ }
}