Searched refs:reader (Results 1 – 4 of 4) sorted by relevance
35 private BufferedReader reader; field in StreamConsumer68 reader = new BufferedReader(new InputStreamReader(stream)); in giveStreamAndStartConsuming()118 while (reader.ready()) { in consume()119 output.add(reader.readLine()); in consume()125 while (reader.ready()) { in consume()126 output.add(reader.readLine()); in consume()138 reader.close(); in consume()
268 BufferedReader reader = new BufferedReader(new FileReader(tableFilename)); in setupMutationLikelihoodTable() local269 String line = reader.readLine(); in setupMutationLikelihoodTable()282 line = reader.readLine(); in setupMutationLikelihoodTable()284 reader.close(); in setupMutationLikelihoodTable()
49 public static Mutation readMutation(BufferedReader reader) throws IOException { in readMutation() argument50 String line = reader.readLine(); in readMutation()
496 BufferedReader reader = new BufferedReader(new FileReader(fileName)); in loadMutationsFromDisk() local497 while (reader.ready()) { in loadMutationsFromDisk()498 Mutation mutation = MutationSerializer.readMutation(reader); in loadMutationsFromDisk()501 reader.close(); in loadMutationsFromDisk()