// ------------------------------------------------------------------------------------------------------ public void handleNameList(String source, Namelist nameList) { System.out.println("pdf viewer rec'd " + nameList.getNames().length + " names"); for (int i = 0; i < nameList.getNames().length; i++) System.out.println(" " + nameList.getNames()[i]); int possibleClusterIdNumber = -1; for (int i = 0; i < nameList.getNames().length; i++) { try { possibleClusterIdNumber = Integer.parseInt(nameList.getNames()[i]); } catch (NumberFormatException ignore) { continue; } if (possibleClusterIdNumber > 0) { // System.out.println ("want to display cluster number " + possibleClusterIdNumber); String fixedName = nameList.getNames()[i]; if (possibleClusterIdNumber < 10) fixedName = "00" + nameList.getNames()[i]; else if (possibleClusterIdNumber < 100) fixedName = "0" + nameList.getNames()[i]; addNewTab(fixedName); } // if } // for i } // handleNameList
// ------------------------------------------------------------------------------------- public void handleNameList(String source, Namelist nameList) { System.out.println("nameList ready, length " + nameList.getNames().length); defaultSpecies = nameList.getSpecies(); this.nameList = nameList.getNames(); }