UnwrapLeft, error reporting improvements

[sbp.git] / src / edu / berkeley / sbp / Input.java

diff --git a/src/edu/berkeley/sbp/Input.java b/src/edu/berkeley/sbp/Input.java
index 7a2df1a..ac2c486 100644 (file)
--- a/src/edu/berkeley/sbp/Input.java
+++ b/src/edu/berkeley/sbp/Input.java
@@ -19,6 +19,9 @@ public interface Input<Token> {
     /** a short string describing where the input is coming from, such as a filename */
     public String getName();
 
     /** a short string describing where the input is coming from, such as a filename */
     public String getName();
 

+    /** might called by Parser when it is done with the input */
+    public void close();
+

     /**
      *  <b>Optional:</b> <i>If possible</i>, this method will return a
      *  rendering of the input region (for example, if the input is a
     /**
      *  <b>Optional:</b> <i>If possible</i>, this method will return a
      *  rendering of the input region (for example, if the input is a