int getSeparatorCount(Tree right, Tree left) { if (right == null || left == null) { return 0; } int leftHead = ShiftReduceUtils.headIndex(left); int rightHead = ShiftReduceUtils.headIndex(right); Integer nextSeparator = separators.higherKey(leftHead); int count = 0; while (nextSeparator != null && nextSeparator < rightHead) { ++count; nextSeparator = separators.higherKey(nextSeparator); } return count; }
/** Return the lowest token that is greater than the given token */ BigInteger getTokenAfter(BigInteger token) { BigInteger k = tokenToEndPointMap_.higherKey(token); if (k != null) return k; // Wrap around return tokenToEndPointMap_.firstKey(); }
/** * @param indeks - indeks ścieżki w mapie * @return Szukana ścieżka lub null jeśli ścieżka o podanym indeksie nie istnieje */ public Const.Direction getNewDirection(final int indeks) { if (indeks > paths.size()) { return null; } Const.Direction direction = paths.firstKey(); for (int i = 0; i < indeks; ++i) { direction = paths.higherKey(direction); } return direction; }
/** * Returns the time the price changes after t * * @param t time after price will change * @return null if there is no next price change */ public Long getNextPriceChange(long t) { if (t >= priceUnknownAtAndAfter) { return null; } compress(); Long key = prices.higherKey(t); if (key == null /* && t < priceUnknownAfter */) { return priceUnknownAtAndAfter; } else { return key; } }
public static void main(String[] args) { TreeMap tm = new TreeMap(); tm.put(new R(3), "轻量级Java EE企业应用实战"); tm.put(new R(-5), "疯狂Java讲义"); tm.put(new R(9), "疯狂Android讲义"); System.out.println(tm); // 返回该TreeMap的第一个Entry对象 System.out.println(tm.firstEntry()); // 返回该TreeMap的最后一个key值 System.out.println(tm.lastKey()); // 返回该TreeMap的比new R(2)大的最小key值。 System.out.println(tm.higherKey(new R(2))); // 返回该TreeMap的比new R(2)小的最大的key-value对。 System.out.println(tm.lowerEntry(new R(2))); // 返回该TreeMap的子TreeMap System.out.println(tm.subMap(new R(-1), new R(4))); }
public K higherKey(K key) { return realMap.higherKey(key); }
public void next() { curLine = code.higherKey(curLine); }
public ExportHelperController(TreeMap<Integer, Arbeitsblock> t) { // Initalisierung vom File Objekt und der Dateiendung File file = null; String extension = null; try { // Erzeugen des FileChooser Objektes und Festsetzen der Startansicht des Choosers JFileChooser fileChooser = new JFileChooser(); fileChooser.setCurrentDirectory(new File(System.getProperty("user.home"))); // Dialog öffnen und File aussuchen bzw. den Filenamen manuell eintragen int result = fileChooser.showOpenDialog(null); if (result == JFileChooser.APPROVE_OPTION) { file = fileChooser.getSelectedFile(); extension = file.getAbsolutePath(); // Wenn die Endung nicht CSV ist if (file.getAbsolutePath() .substring(file.getAbsolutePath().lastIndexOf(".") + 1) .equals("csv") == false) { // Überprüfe, ob überhaupt eine Endung exisitiert, falls nicht, dann ".csv" als Dateiende // hinzufügen if (file.getAbsolutePath().lastIndexOf('.') < 1) { extension = file.getAbsolutePath() + ".csv"; } // Wenn die Endung nicht ".csv" ist, die aktuelle Endung entfernen und ".csv" ans Ende // fügen else { extension = (file.getAbsolutePath().substring(0, file.getAbsolutePath().lastIndexOf("."))) + ".csv"; } } // Erstellen der File mit dem richtigen Pfad + Endung file = new File(extension); BufferedWriter bw = new BufferedWriter(new FileWriter(file)); Integer k = 0; // Iterieren durch die Treemap und jeden Eintrag in das CSV Dokument schreiben mit Hilfe der // toString Methode in Arbeitsblock bw.write(" ID, Projekt, Tätigkeit, Startzeit, Endzeit"); bw.newLine(); while ((k = t.higherKey(k)) != null) { bw.write(t.get(k).toString()); bw.newLine(); } bw.close(); } } catch (IOException e) { Object[] options = {"OK"}; int n = JOptionPane.showOptionDialog( null, "Export fehlgeschlagen, bitte erneut versuchen", "Fehler beim Export", JOptionPane.PLAIN_MESSAGE, JOptionPane.QUESTION_MESSAGE, null, options, options[0]); } }