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

[Jung-joon Kim]

Hi, there

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.

e.g,  at following example, whether it guarantees
unitGraph.getSuccsOf(<Label 10>) is [<Label 1>, <Label 11>](List) or
not ( Not means that it maybe [<Label11>, <Label1>])

Label 1:
Label 2: ...
...
Label  10: if a == 1 goto "Label 1"
Label 11:  

Thanks.

--jj
-- 
Jung-joon Kim
Programming Languages Lab.,
Department of Computer Science and Engineering,
Hanyang University, Ansan

"Perfection is achieved, not when there is nothing more to add, but
when there is nothing left to take away." - Antoine de Saint Exupery