add Input.getName()

[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 6e4b0ee..13c45d4 100644 (file)
--- a/src/edu/berkeley/sbp/Input.java
+++ b/src/edu/berkeley/sbp/Input.java
@@ -16,6 +16,9 @@ public interface Input<Token> {
 
     /** returns the location the input stream is currently at */
     public Location<Token> getLocation();
+    
+    /** should return a short string describing where the input is coming from */
+    public String getName();
 
     /**
      *  <b>Optional:</b> <i>If possible</i>, this method will return a