*/
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);
- }
}