Lines Matching refs:platforms
39 // Platforms keyed on
40 private Hashtable platforms = new Hashtable();
77 platforms.put(aPlatform.getId(), aPlatform);
107 PlatformStatus ps=(PlatformStatus) platforms.get(effectedFileID);
133 // Object[] results = platforms.values().toArray();
146 // results = platforms.values().toArray();
177 // all "platforms" except JDT
179 Enumeration values = platforms.elements();
192 return ((PlatformStatus) platforms.get(id)).hasErrors();
207 result[i] = (PlatformStatus) platforms.get((String) platformIDs.elementAt(i));
