The change in http://fulliautomatix.ics.uci.edu:8443/#/c/95/ introduces a way
to pass a filename to the ADM parser if the ADM data is read from a file. The
goal is to be able to use the file name in an error message, if an error occurs
during parsing.
However, the implementation chosen is a little hackish and it introduces fields
(filename in AbstractTupleParser) in the wrong places.
This should be fixed.
Original issue reported on code.google.com by westm...@gmail.com on 11 Jul 2014 at 9:59
Original issue reported on code.google.com by
westm...@gmail.com
on 11 Jul 2014 at 9:59