void function ( String arg0 ) { URL loc0 ; if ( MiscUtilities . isURL ( arg0 ) ) loc0 = new URL ( arg0 ) ; else { File loc1 = new File ( arg0 ) ; loc0 = loc1 . toURI ( ) . toURL ( ) ; } InputStream loc2 ; loc2 = loc0 . openStream ( ) ; indexStream ( loc2 , loc0 . toString ( ) ) ; }
reads the specified html file and adds all words defined therein to the index . concode_field_sep Occurrence[] occurrences concode_elem_sep Object IGNORE concode_elem_sep String file concode_elem_sep Map<String,Object> words concode_elem_sep int count concode_elem_sep List<HelpFile> files concode_elem_sep String title concode_elem_sep int TITLE_OCCUR concode_elem_sep String word concode_elem_sep int occurCount concode_field_sep void addWord concode_elem_sep void ignoreWord concode_elem_sep void indexStream concode_elem_sep boolean equals concode_elem_sep void indexDirectory concode_elem_sep String toString concode_elem_sep void indexEditorHelp concode_elem_sep Word lookupWord concode_elem_sep void indexJAR concode_elem_sep HelpFile getFile concode_elem_sep void addOccurrence