Re: --keep-line-number

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

This is not a bug (at least I don't think it is). If you use
--xml-attributes, the tags should still be there; they just don't get
printed with the Jimple. Instead, they get specified in the XML. This
makes the Jimple much less cluttered. Are you getting the line number
tags in the XML files?

Ondrej

On Wed, Sep 10, 2003 at 07:25:50PM +0100, Eric Bodden wrote:
> Hi!
> 
> I just realized today that in Soot 2.0.1 --keep-line-number only works if
> one not uses also --xml-attributes. I think that is not a desired behaviour,
> is it?
> 
> Eric
>