]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a903ab5) | patch
ssh: Minor simplification in SerialRangeSet 00/1203800/1
authorThomas Wolf <twolf@apache.org>
Fri, 8 Nov 2024 17:18:21 +0000 (18:18 +0100)
committerThomas Wolf <twolf@apache.org>
Fri, 8 Nov 2024 17:18:21 +0000 (18:18 +0100)
commit20d0bfbb348674a65b6c84826b549ab22ff22c13
tree21f7bc1c9fc35da0022afeada3c6b4cff6986955tree | snapshot
parenta903ab5fa3defdef06b4eba316ef2436533416fbcommit | diff
ssh: Minor simplification in SerialRangeSet

Instead of set.headMap(x).lastKey() use set.floorKey(x) and
instead of set.tailMap(x).firstKey() use set.ceilingKey(x).

Change-Id: I22f44cbe82b9ead06d6ff517d609dfdbc89a758c
org.eclipse.jgit.ssh.apache/src/org/eclipse/jgit/internal/signing/ssh/SerialRangeSet.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit