00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035 package org.knopflerfish.framework;
00036
00037 import java.util.ArrayList;
00038
00044 public class Alias {
00045
00049 final public static String[][] processorAliases = {
00050 { "Ignite", "psc1k" },
00051 { "PowerPC", "power", "ppc", "ppcbe" },
00052 { "x86", "pentium", "i386", "i486", "i586", "i686" },
00053 { "x86-64", "amd64" }
00054 };
00055
00056
00061 final public static String[][] osNameAliases = {
00062 { "MacOSX", "Mac OS X" },
00063 { "OS2", "os/2" },
00064 { "QNX", "procnto" },
00065 { "windows95", "windows 95", "win95" },
00066 { "Windows98", "windows 98", "win98" },
00067 { "WindowsNT", "windows nt", "winnt" },
00068 { "WindowsCE", "windows ce", "wince" },
00069 { "Windows2000", "windows 2000", "win2000" },
00070 { "WindowsXP", "windows xp", "winxp" },
00071 { "Win32", "win*" },
00072 };
00073
00074
00081 static public ArrayList unifyProcessor(String name) {
00082 ArrayList res = new ArrayList(2);
00083 for (int i = 0; i < processorAliases.length; i++) {
00084 for (int j = 1; j < processorAliases[i].length; j++) {
00085 if (name.equalsIgnoreCase(processorAliases[i][j])) {
00086 res.add(processorAliases[i][0]);
00087 break;
00088 }
00089 }
00090 }
00091 res.add(name);
00092 return res;
00093 }
00094
00095
00102 static public ArrayList unifyOsName(String name) {
00103 ArrayList res = new ArrayList(3);
00104 String lname = name.toLowerCase();
00105 for (int i = 0; i < osNameAliases.length; i++) {
00106 for (int j = 1; j < osNameAliases[i].length; j++) {
00107 int last = osNameAliases[i][j].length() - 1;
00108 if (lname.equals(osNameAliases[i][j]) ||
00109 osNameAliases[i][j].charAt(last) == '*' &&
00110 lname.startsWith(osNameAliases[i][j].substring(0, last))) {
00111 if (!lname.equals(osNameAliases[i][0])) {
00112 res.add(osNameAliases[i][0]);
00113 }
00114 break;
00115 }
00116 }
00117 }
00118 res.add(name);
00119 return res;
00120 }
00121
00122 }