| method | bool isSourceModified(Resource) |
| pre | mLogger != null |
| pre | resource != null |
| post | init'ed(return_value) |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on org.apache.velocity.runtime.resource. Resource:getName |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getPage |
| unanalyzed | call on org.apache.velocity.runtime.resource. Resource:getLastModified |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getLastModified |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| method | long getLastModified(Resource) |
| pre | mLogger != null |
| pre | resource != null |
| post | init'ed(return_value) |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on org.apache.velocity.runtime.resource. Resource:getName |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getPage |
| unanalyzed | call on org.apache.velocity.runtime.resource. Resource:getLastModified |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getLastModified |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| method | InputStream getResourceStream(String) |
| pre | name != null |
| presumption | java.lang.String:length(...)@75 >= 1 |
| presumption | org.apache.roller.weblogger.business. UserManager:getPage(...)@80 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@80 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@80 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogTemplate:ge tContents(...)@88 != null |
| post | return_value == &new ByteArrayInputStream(getRe sourceStream#3) |
| post | new ByteArrayInputStream(getResourceStream#3) num objects == 1 |
| method | long readLastModified(Resource, String) |
| pre | mLogger != null |
| pre | resource != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getPage(...)@118 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@118 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@118 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogTemplate:ge tLastModified(...)@122 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogTemplate:ge tLastModified(...)@125 != null |
| post | init'ed(return_value) |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@121: {0}, {1} |