< prev index next >

test/failure_handler/src/share/classes/jdk/test/failurehandler/jtreg/OS.java

Print this page
rev 59103 : imported patch hotspot


  27 class OS {
  28     public final String family;
  29 
  30     private static OS current;
  31 
  32     public static OS current() {
  33         if (current == null) {
  34             String name = System.getProperty("os.name");
  35             current = new OS(name);
  36         }
  37         return current;
  38     }
  39 
  40     private OS(String name) {
  41         if (name.startsWith("AIX")) {
  42             family = "aix";
  43         } else if (name.startsWith("Linux")) {
  44             family = "linux";
  45         } else if (name.startsWith("Mac") || name.startsWith("Darwin")) {
  46             family = "mac";
  47         } else if (name.startsWith("SunOS") || name.startsWith("Solaris")) {
  48             family = "solaris";
  49         } else if (name.startsWith("Windows")) {
  50             family = "windows";
  51         } else {
  52             // use first word of name
  53             family = name.replaceFirst("^([^ ]+).*", "$1");
  54         }
  55     }
  56 }
  57 
  58 


  27 class OS {
  28     public final String family;
  29 
  30     private static OS current;
  31 
  32     public static OS current() {
  33         if (current == null) {
  34             String name = System.getProperty("os.name");
  35             current = new OS(name);
  36         }
  37         return current;
  38     }
  39 
  40     private OS(String name) {
  41         if (name.startsWith("AIX")) {
  42             family = "aix";
  43         } else if (name.startsWith("Linux")) {
  44             family = "linux";
  45         } else if (name.startsWith("Mac") || name.startsWith("Darwin")) {
  46             family = "mac";


  47         } else if (name.startsWith("Windows")) {
  48             family = "windows";
  49         } else {
  50             // use first word of name
  51             family = name.replaceFirst("^([^ ]+).*", "$1");
  52         }
  53     }
  54 }
  55 
  56 
< prev index next >