[Soot-list] How to get LineNumberTag information in Dava AST ?

[Yoav]

Hello. 
We are using the Dava AnalysisAdapter visitor to traverse the AST. We have tried to get the LineNumberTag Tag from the Stmt Object, but we always get null. We have set the keep line number flag to true. Also, the getTags() function return an empty list for every node we visit. We think the Tag information is not being kept in the transformation phase to Grimp or Dava. 
How we can get the LineNumberTag information when using Dava ? 

Thank you in advnace,
Yoav and Harel. 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130806/0f81ecdc/attachment.html