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