[antlr-interest] Purpose of Parser.setFilename()

[Spenser Kao]

Does anyone know the purpose of Parser's method setFilename()? Which
file will be set? The input stream?
Parser's javadoc provides not much info.
 
Regards,
 
Spenser
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.antlr.org/pipermail/antlr-interest/attachments/20020608/1ad768b4/attachment.html