Integer (Integer var, Statement stat) { Integer nextver = lastversion.get(var); if (nextver == null) { nextver = 1; } else { nextver++; } lastversion.put(var, nextver); // save the first protected range, containing current statement if (stat != null) { // null iff phantom version Integer firstRangeId = getFirstProtectedRange(stat); if (firstRangeId != null) { mapVersionFirstRange.put(new VarVersionPair(var, nextver), firstRangeId); } } return nextver; }