private void readFile ( ) { if ( historyFile . exists ( ) ) { try ( BufferedReader reader = new BufferedReader ( new FileReader ( historyFile ) ) ) { String line ; while ( ( line = reader . readLine ( ) ) != null ) push ( Parser . toCodePoints ( line ) ) ; } catch ( FileNotFoundException ignored ) { //AESH-205 } catch ( IOException e ) { if ( logging ) LOGGER . log ( Level . WARNING , "Failed to read from history file, " , e ) ; } } }
Read specified history file to history buffer