void function ( int arg0 ) { WeakReference < PageText > loc0 = searchResultCache . get ( arg0 ) ; if ( loc0 != null ) { PageText loc1 = loc0 . get ( ) ; if ( loc1 != null ) { loc1 . clearHighlighted ( ) ; } } searchResultCache . remove ( arg0 ) ; }
clears cached search results for this page index and clears the highlighted state for this page . concode_field_sep HashMap<Integer,WeakReference<PageText>> searchResultCache concode_elem_sep ArrayList<SearchTerm> searchTerms concode_field_sep void addPageSearchHit concode_elem_sep Set<Integer> getPageSearchHits concode_elem_sep void removeSearchTerm concode_elem_sep ArrayList<SearchTerm> getSearchTerms concode_elem_sep boolean isPageSearchHit concode_elem_sep PageText getPageTextHit concode_elem_sep boolean isPageTextMatch concode_elem_sep void addSearchTerm