/** * @see IPageVersionManager#expireOldestVersion() */ public void expireOldestVersion() { changeListStack.remove(0); }
/** * @see IPageVersionManager#expireOldestVersion() */ public void expireOldestVersion() { changeListStack.remove(0); }
/** * Removes the object at the top of this stack and returns that object. * * @return The object at the top of this stack * @exception EmptyStackException * If this stack is empty. */ public final T pop() { final T top = peek(); remove(size() - 1); return top; }
/** * Removes the object at the top of this stack and returns that object. * * @return The object at the top of this stack * @exception EmptyStackException * If this stack is empty. */ public final Object pop() { final Object top = peek(); remove(size() - 1); return top; }
/** * Removes the object at the top of this stack and returns that object. * * @return The object at the top of this stack * @exception EmptyStackException * If this stack is empty. */ public final T pop() { final T top = peek(); remove(size() - 1); return top; }
/** * @param entry * Entry that was accessed */ private final void pushAccess(IPageMapEntry entry) { // Create new access entry final Access access = new Access(); access.id = entry.getNumericId(); access.version = versionOf(entry); if (accessStack.size() > 0) { if (peekAccess().equals(access)) { return; } int index = accessStack.indexOf(access); if (index >= 0) { accessStack.remove(index); } } accessStack.push(access); dirty(); }
/** * @param entry * Entry that was accessed */ private final void pushAccess(IPageMapEntry entry) { // Create new access entry final Access access = new Access(); access.id = entry.getNumericId(); access.version = versionOf(entry); if (accessStack.size() > 0) { if (peekAccess().equals(access)) { return; } int index = accessStack.indexOf(access); if (index >= 0) { accessStack.remove(index); } } accessStack.push(access); dirty(); }
.getAccessStack().remove(0); final IPageMapEntry oldestEntry = pageMap.getEntry(oldestAccess.getId());
.remove(0); final IPageMapEntry oldestEntry = pageMap.getEntry(oldestAccess.getId());