/** * Removes the page under the provided key from the page book. Does nothing * if page with that key does not exist. * * @param key * the page key. */ public void removePage(Object key) { removePage(key, true); } /**
/** * Removes the page under the provided key from the page book. Does nothing * if page with that key does not exist. * * @param key * the page key. */ public void removePage(Object key) { removePage(key, true); } /**
public void removePage(String pageId) { categoryPageBook.removePage(pageId); }
private void disposePropertySources() { Enumeration<TracingPropertySource> elements = fPropertySources.elements(); while (elements.hasMoreElements()) { TracingPropertySource source = elements.nextElement(); fPageBook.removePage(source.getModel()); } fPropertySources.clear(); }
private void checkLimit() { if (pages.size() <= getPageLimit()) return; // overflow int currentTicket = PageBag.getCurrentTicket(); int cutoffTicket = currentTicket - getPageLimit(); for (Enumeration<Object> enm=pages.keys(); enm.hasMoreElements();) { Object key = enm.nextElement(); PageBag pageBag = pages.get(key); if (pageBag.getTicket()<=cutoffTicket) { // candidate - see if it is active and not fixed if (!pageBag.isFixed() && !pageBag.getPage().equals(getCurrentPage())) { // drop it pageBag.dispose(); pages.remove(key); pageBook.removePage(key, false); } } } } /**
private void checkLimit() { if (pages.size() <= getPageLimit()) return; // overflow int currentTicket = PageBag.getCurrentTicket(); int cutoffTicket = currentTicket - getPageLimit(); for (Enumeration<Object> enm=pages.keys(); enm.hasMoreElements();) { Object key = enm.nextElement(); PageBag pageBag = pages.get(key); if (pageBag.getTicket()<=cutoffTicket) { // candidate - see if it is active and not fixed if (!pageBag.isFixed() && !pageBag.getPage().equals(getCurrentPage())) { // drop it pageBag.dispose(); pages.remove(key); pageBook.removePage(key, false); } } } } /**
private void removeCachedPage(AbstractIntroPage page) { if (pageForm.hasPage(page.getId())) pageForm.removePage(page.getId()); else if (pageFormWithNav.hasPage(page.getId())) pageFormWithNav.removePage(page.getId()); else if (mainPageBook.hasPage(page.getId())) mainPageBook.removePage(page.getId()); else return; }