Currently, Toradocu produces partial oracles for @return tags when there is an "if" and no explicit "else" in the comment. It produces the result==false counterpart only when the comment says “iff”/"if and only if".
An example of missing result==false part is:
Comment: true if this graph did not already contain the specified vertex.
Expected condition: (target.containsVertex(args[0]))==false?result==true
At least for boolean return values, such partial oracles can be completed.
Currently, Toradocu produces partial oracles for
@returntags when there is an "if" and no explicit "else" in the comment. It produces theresult==falsecounterpart only when the comment says “iff”/"if and only if".An example of missing
result==falsepart is: Comment: true if this graph did not already contain the specified vertex. Expected condition:(target.containsVertex(args[0]))==false?result==trueAt least for boolean return values, such partial oracles can be completed.