src/jalview/ws/params/ParamManager.java

   1 package jalview.ws.params;
   2 /**
   3  * Interface implemented by classes for maintaining user's parameters in a Jalview session
   4  * @author JimP
   5  *
   6  */
   7 public interface ParamManager
   8 {
   9   /**
  10    *
  11    * @param name (may be null) select parameter sets with given name
  12    * @param serviceUrl (may be null) select parameter sets that are applicable for the given URL
  13    * @param modifiable - if true, return modifiable parameter sets
  14    * @param unmodifiable - if true, return server presets
  15    * @return null if no parameters found, or one or more parameter sets
  16    */
  17   public abstract WsParamSetI[] getParameterSet(String name, String serviceUrl, boolean modifiable,boolean unmodifiable);
  18
  19
  20 }