[Soot-list] end of a switch block

[Patrick Lam]

Eric Bodden wrote:
> Yes, I agree that in this case this seems to be the only solution. Too
> bad that you cannot work on source code. I wonder if there is some
> standard way at all in which Java compilers compile switch blocks into
> bytecode. Otherwise, I guess it would just be plain impossible to
> achieve what you are trying to achieve. Did you check whether e.g.
> javac, eclipse and Soot produce similar bytecode/jimple for the same

What about considering Dava output? I don't know what it does for switch 
blocks.

pat