1 package jalview.ws.params;
3 import jalview.ws.jws2.dm.JabaWsParamSet;
6 * Interface implemented by classes for maintaining user's parameters in a Jalview session
10 public interface ParamManager
14 * @param name (may be null) select parameter sets with given name
15 * @param serviceUrl (may be null) select parameter sets that are applicable for the given URL
16 * @param modifiable - if true, return modifiable parameter sets
17 * @param unmodifiable - if true, return server presets
18 * @return null if no parameters found, or one or more parameter sets
20 public WsParamSetI[] getParameterSet(String name, String serviceUrl, boolean modifiable,boolean unmodifiable);
22 * save the given parameter set in the user's parameter set database.
23 * Note: this may result in a modal dialog box being raised.
26 public void storeParameterSet(WsParamSetI parameterSet);
28 * delete the specified parameter set from the database.
29 * Note: this may result in a modal dialog box being raised.
32 public void deleteParameterSet(WsParamSetI parameterSet);
34 * register a parser for the given host url
36 * @param jabaParamStore
38 public void registerParser(String hosturl, ParamDatastoreI paramdataStore);