Re: SourceFile attribute patch

[Navindra Umanee <navindra@cs.mcgill.ca>]

Ondrej Lhotak <olhotak@sable.mcgill.ca> wrote:
> I would support integrating this feature into Soot, but I think it
> should have a switch to turn it off, like the bytecode offset and source
> line number tags. What do others think?

Makes sense to me.  Having the SourceFile sounds like useful
information, and having a switch to turn it on/off would be consistent
with the way we handle other attributes:

Input Attribute Options:
  -keep-line-number            Keep line number tables
  -keep-bytecode-offset -keep-offset
                               Attach bytecode offset to IR

Cheers,
Navin.