[Soot-list] Position Tagger

[Eric Bodden]

> This information should be sufficient to accomplish what I am trying to do,
> but I still can't seem to get the SourceLnPosTag in the TagList of a Unit.
> When I set the option, set_keep_line_number(true), all I get is a Tag of
> type LineNumberTag. Can you tell me which option includes the
> SourceLnPosTag?

Actually this should just work.  But it may be the case that not all
units have line numbers, due to several transformations that Soot
makes. Has none of your units line numbers or are just some missing
this info?

Eric