src/jalview/util/Platform.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 package jalview.util;
  22
  23 /**
  24  * System platform information used by Applet and Application
  25  *
  26  * @author Jim Procter
  27  */
  28 public class Platform
  29 {
  30   /**
  31    * sorry folks - Macs really are different
  32    *
  33    * @return true if we do things in a special way.
  34    */
  35   public static boolean isAMac()
  36   {
  37     return java.lang.System.getProperty("os.name").indexOf("Mac") > -1;
  38
  39   }
  40
  41   public static boolean isHeadless()
  42   {
  43     String hdls = java.lang.System.getProperty("java.awt.headless");
  44
  45     return hdls != null && hdls.equals("true");
  46   }
  47
  48   /**
  49    *
  50    * @return nominal maximum command line length for this platform
  51    */
  52   public static int getMaxCommandLineLength()
  53   {
  54     // TODO: determine nominal limits for most platforms.
  55     return 2046; // this is the max length for a windows NT system.
  56   }
  57
  58   /**
  59    * escape a string according to the local platform's escape character
  60    *
  61    * @param file
  62    * @return escaped file
  63    */
  64   public static String escapeString(String file)
  65   {
  66     StringBuffer f = new StringBuffer();
  67     int p = 0, lastp = 0;
  68     while ((p = file.indexOf('\\', lastp)) > -1)
  69     {
  70       f.append(file.subSequence(lastp, p));
  71       f.append("\\\\");
  72       lastp = p + 1;
  73     }
  74     f.append(file.substring(lastp));
  75     return f.toString();
  76   }
  77 }