src/jalview/urls/IdOrgSettings.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21
  22 package jalview.urls;
  23
  24 import jalview.bin.ApplicationSingletonProvider;
  25 import jalview.bin.ApplicationSingletonProvider.ApplicationSingletonI;
  26
  27 /**
  28  * Holds settings for identifiers.org e.g. url, download location
  29  */
  30 public class IdOrgSettings implements ApplicationSingletonI
  31 {
  32   private String url;
  33
  34   private String location;
  35
  36   private static IdOrgSettings getInstance()
  37   {
  38     return ApplicationSingletonProvider.getInstance(IdOrgSettings.class);
  39   }
  40
  41   private IdOrgSettings()
  42   {
  43     // private singleton
  44   }
  45
  46   public static void setUrl(String seturl)
  47   {
  48     getInstance().url = seturl;
  49   }
  50
  51   public static void setDownloadLocation(String setloc)
  52   {
  53     getInstance().location = setloc;
  54   }
  55
  56   public static String getUrl()
  57   {
  58     return getInstance().url;
  59   }
  60
  61   public static String getDownloadLocation()
  62   {
  63     return getInstance().location;
  64   }
  65 }