From c39caea88b8a157ddae4db454fe8736a9864ccd6 Mon Sep 17 00:00:00 2001 From: adam Date: Sat, 8 May 2004 00:28:44 +0000 Subject: [PATCH 1/1] added LineReader darcs-hash:20040508002844-5007d-a7ab725c97b5f76300e15c76186abeb18b2d2dbb.gz --- src/org/ibex/util/LineReader.java | 38 +++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 src/org/ibex/util/LineReader.java diff --git a/src/org/ibex/util/LineReader.java b/src/org/ibex/util/LineReader.java new file mode 100644 index 0000000..88b785d --- /dev/null +++ b/src/org/ibex/util/LineReader.java @@ -0,0 +1,38 @@ +package org.ibex.util; +import java.io.*; + +public class LineReader { + + private static int MAXBUF = 1024 * 16; + char[] buf = new char[MAXBUF]; + int buflen = 0; + Reader r; + Vec pushback = new Vec(); + + public LineReader(Reader r) { this.r = r; } + + public void pushback(String s) { pushback.push(s); } + + public String readLine() throws IOException { + while(true) { + if (pushback.size() > 0) return (String)pushback.pop(); + for(int i=0; i