| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.threshold) | 2009-09-04 18:33:31 |
| + | pre | (soft) messages != null | 2009-09-04 18:33:31 |
| + | pre | (soft) messages.mErrors != null | 2009-09-04 18:33:31 |
| + | pre | comment != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getContent(...)@42 != null | 2009-09-04 18:33:31 |
| + | post | return_value in {0, 100} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages$RollerMessage | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getContent(...)@42: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |