Searched refs:PushbackReader (Results 1 – 1 of 1) sorted by relevance
581 PushbackReader reader = null; in streamContains()583 reader = new PushbackReader(r, string.length()); in streamContains()629 private static class PushbackReader extends BufferedReader { class in AdtPlugin652 public PushbackReader(Reader reader, int max) { in PushbackReader() method in AdtPlugin.PushbackReader