/** 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