[Soot-list] condition information on unitGraph.getSuccsOf(Object)

[Navindra Umanee]

Jung-joon Kim <jungjoon at gmail.com> wrote:
> About some If-conditional branch Stmt s, Invoke on
> unitGraph.getSuccsOf(s) will return List<Stmt> whose length is 2.
> (without considering about exception flows) . I want to know whether
> getSuccsOf guarantees that first Stmt in returned List is true branch.

As far as I know there is no such guarantee.  Why should there be?

Cheers,
Navin.