[Soot-list] How to obtain the topological graph in the transactional transformation phase (wjtp.tn)?

[Marco Bakera]

Hey everybody,

I am currently looking for locking information in java code and stumpled upon 
your transactional transformation phase and especially the topological graph 
that will be created here. 

I tried to get some information about the transactional regions in java 
programs by calling 

java soot.Main -p wjtp.tn on -p wjtp.tn locking-scheme:leave -p wjtp.tn 
print-graph:true java.lang.Integer                 

but did not get the desired topological graph.

Do you have any suggestions what went wrong?

Thanks for help.


Best regards,
Marco.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part.
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20081107/27fca5f4/attachment.bin