X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FInput.java;h=6e4b0eefb63de68177f1fb80a286d07bedb18aff;hp=d19b20890411bc062eb51a8c49dc9b5b9f214b3c;hb=a2008a0c57702f49ed7f8be682e4e29484fded38;hpb=0e17670bcfa7b0fe8eb3a2cac81f4b080a09fc98

diff --git a/src/edu/berkeley/sbp/Input.java b/src/edu/berkeley/sbp/Input.java
index d19b208..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.*;
@@ -15,6 +17,15 @@ public interface Input<Token> {
     /** returns the location the input stream is currently at */
     public Location<Token> getLocation();
 
+    /**
+     *  <b>Optional:</b> <i>If possible</i>, 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<Token> r);
+
     /** <font color=purple>a location (position) in the input stream -- <i>between tokens</i></font> */
     public static interface Location<Token> extends Comparable<Location> {
 
@@ -22,10 +33,29 @@ public interface Input<Token> {
         public Region<Token> createRegion(Location<Token> loc);
 
         public String toString();
+
+        /** the location following this one */
+        public Location next();
+
+        /** the location preceding this one */
+        public Location prev();
     }
 
     /** <font color=purple>a contiguous set of <tt>Location</tt>s</font> */
     public static interface Region<Token> /* implements Topology<Location<Tok>> */ {
+
+        /**
+         *  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<Token> getStart();
+
+        /** The location of the end of this region */
+        public abstract Location<Token> getEnd();
+
     }
 
 }