| | |
| | | { |
| | | int serverId = csn.getServerId(); |
| | | CSN oldCSN = serverIdToCSN.get(serverId); |
| | | if (oldCSN == null || csn.newer(oldCSN)) |
| | | if (oldCSN == null || csn.isNewerThan(oldCSN)) |
| | | { |
| | | serverIdToCSN.put(serverId, csn); |
| | | return true; |
| | |
| | | { |
| | | for (CSN csn : serverIdToCSN.values()) |
| | | { |
| | | if (maxCSN == null || csn.newer(maxCSN)) |
| | | if (maxCSN == null || csn.isNewerThan(maxCSN)) |
| | | maxCSN = csn; |
| | | } |
| | | } |
| | |
| | | { |
| | | CSN change = |
| | | this.serverIdToCSN.get(covered.getServerId()); |
| | | return change != null && !change.older(covered); |
| | | return change != null && !change.isOlderThan(covered); |
| | | } |
| | | |
| | | /** |
| | |
| | | { |
| | | for (CSN change : serverIdToCSN.values()) |
| | | { |
| | | if (change.older(csn)) |
| | | if (change.isOlderThan(csn)) |
| | | { |
| | | newState.serverIdToCSN.put(change.getServerId(), change); |
| | | } |