public Collection<? extends ServerRecord> getHosts() { if (serverUpdateCache != null) { return serverUpdateCache.getHosts(); } return ServerList.getRecords(); }
@Override public String[] getTags() { List<String> l = new ArrayList<>(); for (ServerRecord record : ServerList.getRecords()) { l.add(record.getDisplayName()); } return l.toArray(new String[l.size()]); }
final Collection<? extends ServerRecord> servers = ServerList.getRecords();
final Collection<? extends ServerRecord> servers = ServerList.getRecords();
public ToolsCacheManagerImpl(boolean initialize) { if (initialize) { for (ServerRecord record : ServerList.getRecords()) { CompilerSetManager csm = CompilerSetManager.get(record.getExecutionEnvironment()); addCompilerSetManager(csm); } } }
return true; Collection<? extends ServerRecord> savedHosts = ServerList.getRecords(); Collection<? extends ServerRecord> currentHosts = tcm.getHosts(); if (savedHosts.size() != currentHosts.size()) {
records.addAll(toolsCacheManager.getServerUpdateCache().getHosts()); } else { records.addAll(ServerList.getRecords());
return true; Collection<? extends ServerRecord> savedHosts = ServerList.getRecords(); Collection<? extends ServerRecord> currentHosts = tcm.getHosts(); if (savedHosts.size() != currentHosts.size()) {
for (ServerRecord record : ServerList.getRecords()) { JRadioButtonMenuItem jmi = new JRadioButtonMenuItem(record.getServerDisplayName(), currExecEnv.equals(record.getExecutionEnvironment())); subMenu.add(jmi);
private void hostsButtonActionPerformed(java.awt.event.ActionEvent evt) { if (NativeDebuggerManager.isStandalone()) { // It's effect will come back to us via // contentsChanged(RecordListEvent) HostListEditor editor = new HostListEditor(); editor.showDialog(this); } else { // This doesn't really work. See IZ 147543. // The Hosts button is disabled under the IDE. // Make copy of ServerList ServerUpdateCache suc = new ServerUpdateCache(); suc.setHosts(ServerList.getRecords()); suc.setDefaultRecord(ServerList.getDefaultRecord()); // Show editor /* ToolsCacheManager cacheManager = ToolsCacheManager.get(); cacheManager.setHosts(ServerList.getRecords()); cacheManager.setDefaultRecord(ServerList.getDefaultRecord()); if (ServerListUIEx.showServerListDialog(cacheManager)) { // assign back to main ServerList cacheManager.applyChanges(); } */ } }