public int getLastVisitedLevel(int resultStoreId) {
if (resultStoreId == DEFAULT_RESULT_STORE_ID) return lastVisitedLevel;
if (lastVisitedFilteredLevel == null) {
lastVisitedFilteredLevel = new IntegerMap();
return -1;
}
return lastVisitedFilteredLevel.get(resultStoreId);
}
public void setLastVisitedLevel(int level, int resultStoreId) {
if (resultStoreId == DEFAULT_RESULT_STORE_ID) {
lastVisitedLevel = level;
} else {
if (lastVisitedFilteredLevel == null) {
lastVisitedFilteredLevel = new IntegerMap();
}
lastVisitedFilteredLevel.put(resultStoreId, level);
}
}