X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FInput.java;h=6e4b0eefb63de68177f1fb80a286d07bedb18aff;hb=0620c2d97d6df986d74dbe13160afb1435096431;hp=d8374cdf08e35af3a76c9023e76708841f0f692f;hpb=a7b84506c2e1ed63343db215f76afced082e2826;p=sbp.git
diff --git a/src/edu/berkeley/sbp/Input.java b/src/edu/berkeley/sbp/Input.java
index d8374cd..6e4b0ee 100644
--- a/src/edu/berkeley/sbp/Input.java
+++ b/src/edu/berkeley/sbp/Input.java
@@ -1,3 +1,5 @@
+// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+
package edu.berkeley.sbp;
import java.io.*;
import java.util.*;
@@ -6,16 +8,56 @@ import java.lang.ref.*;
import edu.berkeley.sbp.*;
import edu.berkeley.sbp.util.*;
-/** a token of input -- note that this represents an actual input token rather than an Element which matches a token */
-public interface Input {
+/** a stream of Tokens to be parsed */
+public interface Input {
+
+ /** returns the token just beyond the current location and advances beyond it */
+ public Token next() throws IOException;
+
+ /** returns the location the input stream is currently at */
+ public Location getLocation();
+
+ /**
+ * Optional: If possible, this method will return a
+ * <60 char long rendering of the input region (for example, if
+ * the input is a region of characters, it would be those
+ * characters, possibly with ellipses in the middle to truncate
+ * the length) -- otherwise, returns null.
+ */
+ public abstract String showRegion(Region r);
- public Tok next(int numstates, int resets, int waits) throws IOException;
- public abstract Location getLocation();
+ /** a location (position) in the input stream -- between tokens */
+ public static interface Location extends Comparable {
+
+ /** return the region between this location and loc */
+ public Region createRegion(Location loc);
- /** a location *between tokens* in the input stream */
- public static interface Location {
public String toString();
+
+ /** the location following this one */
+ public Location next();
+
+ /** the location preceding this one */
+ public Location prev();
}
+
+ /** a contiguous set of Locations */
+ public static interface Region /* implements Topology> */ {
+
+ /**
+ * the toString() method of Region should return a <80char
+ * "rendition" of the input region, if possible
+ */
+ public abstract String toString();
+
+ /** The location of the start of this region */
+ public abstract Location getStart();
+
+ /** The location of the end of this region */
+ public abstract Location getEnd();
+
+ }
+
}