Searched refs:platformId (Results 1 – 3 of 3) sorted by relevance
22 private static String platformId = null; field in Support_PlatformFile25 if (platformId == null) { in getNewPlatformFile()30 platformId = property in getNewPlatformFile()33 return pre + platformId + post; in getNewPlatformFile()
125 public static Set<String> getKeyboardIDs(String platformId) { in getKeyboardIDs() argument127 File base = new File(BASE + platformId + "/"); in getKeyboardIDs()135 public static Platform getPlatform(String platformId) { in getPlatform() argument136 final String fileName = BASE + platformId + "/_platform.xml"; in getPlatform()177 … public static Keyboard getKeyboard(String platformId, String keyboardId, Set<Exception> errors) { in getKeyboard() argument178 final String fileName = BASE + platformId + "/" + keyboardId + ".xml"; in getKeyboard()
129 for (String platformId : Keyboard.getPlatformIDs()) { in showRepertoire()132 for (String keyboardId : Keyboard.getKeyboardIDs(platformId)) { in showRepertoire()136 Keyboard keyboard = Keyboard.getKeyboard(platformId, keyboardId, errors); in showRepertoire()214 for (String platformId : Keyboard.getPlatformIDs()) { in showHtml()217 for (String keyboardId : Keyboard.getKeyboardIDs(platformId)) { in showHtml()223 locale2keyboards.put(baseLocale, Row.of(platformId, locale, keyboardId)); in showHtml()271 String platformId = platformKeyboard.get0(); in showHtml() local274 Keyboard keyboard = Keyboard.getKeyboard(platformId, keyboardId, errors); in showHtml()278 … String printId = platformId.equals(platformFromKeyboardId) ? keyboardId : keyboardId + "/und"; in showHtml()