| method | void init(Map) |
| pre | initData != null |
| presumption | java.util.Map:get(...)@45 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@65 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:instanceof(...)@52 == 1 |
| post | init'ed(this.locale) |
| post | (soft) this.previewRequest != null |
| post | init'ed(this.urlStrategy) |
| post | init'ed(this.weblog) |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest:getWeblog |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest:getLocale |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| test_vector | java.util.Map:get(...)@63: Inverse{null}, Addr_Set{null} |