/** * Stores contents of the local history into persistent history * container. */ private synchronized void persistHistory() { if (getReturnCode() == OK) { Object[] items= getHistoryItems(); for (int i= 0; i < items.length; i++) { OpenTypeHistory.getInstance().accessed((TypeNameMatch) items[i]); } } }
/** * Stores contents of the local history into persistent history * container. */ private synchronized void persistHistory() { if (getReturnCode() == OK) { Object[] items= getHistoryItems(); for (int i= 0; i < items.length; i++) { OpenTypeHistory.getInstance().accessed((TypeNameMatch) items[i]); } } }
/** * Stores contents of the local history into persistent history * container. */ private synchronized void persistHistory() { if (getReturnCode() == OK) { Object[] items= getHistoryItems(); for (int i= 0; i < items.length; i++) { OpenTypeHistory.getInstance().accessed((TypeNameMatch) items[i]); } } }