void function ( ) { if ( catfile != null ) { try { catfile . close ( ) ; } catch ( IOException loc0 ) { } } catfile = null ; }
the destructor . makes sure the catalog file is closed . concode_field_sep boolean caseSensitive concode_elem_sep int[] stack concode_elem_sep Stack tokenStack concode_elem_sep InputStream catfile concode_elem_sep int top concode_field_sep boolean getCaseSensitive concode_elem_sep void setCaseSensitive concode_elem_sep String nextToken concode_elem_sep int nextChar concode_elem_sep void readCatalog concode_elem_sep void readCatalog