diff options
| author |  Janak Ramakrishnan <janakr@google.com> | 2015-11-20 23:44:15 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2015-11-24 14:40:29 +0000 |
| commit | 1c9c98ef5058a7abe95ef31d9011dd9a7d778993 (patch) | |
| tree | 30a3b294eb58384ce66d3fa6e9f90b16c7a5886c /src | |
| parent | b0d1313e1ba86a0a7a061567879186cbf23b3744 (diff) | |
Add previous() method to IntVersion.
--
MOS_MIGRATED_REVID=108386134
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/java/com/google/devtools/build/skyframe/IntVersion.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/skyframe/IntVersion.java b/src/main/java/com/google/devtools/build/skyframe/IntVersion.java index 1c3b53d840..38b2d713c4 100644 --- a/src/main/java/com/google/devtools/build/skyframe/IntVersion.java +++ b/src/main/java/com/google/devtools/build/skyframe/IntVersion.java @@ -34,6 +34,10 @@ public final class IntVersion implements Version, Serializable { return new IntVersion(val + 1); } + public IntVersion previous() { + return new IntVersion(val - 1); + } + @Override public boolean atMost(Version other) { if (!(other instanceof IntVersion)) { |