| method | void init() |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null |
| pre | (soft) log != null |
| post | possibly_updated(this.clientId) |
| post | possibly_updated(this.interval) |
| post | possibly_updated(this.leaseTime) |
| post | possibly_updated(this.startTimeDesc) |
| unanalyzed | call on getName |
| unanalyzed | call on java.util.Properties |
| unanalyzed | call on java.util.Properties:keys |
| unanalyzed | call on java.util.Enumeration:hasMoreElements |
| unanalyzed | call on java.util.Enumeration:nextElement |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.util.Properties:setProperty |
| test_vector | java.util.Properties:getProperty(...)@104: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Properties:getProperty(...)@82: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Properties:getProperty(...)@88: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Properties:getProperty(...)@94: Addr_Set{null}, Inverse{null} |
| method | void runTask() |
| pre | log != null |
| pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null |
| pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erImpl.log != null |
| presumption | getWeblogger(...).autoPingManager != null |
| presumption | getWeblogger(...).bookmarkManager != null |
| presumption | getWeblogger(...).fileManager != null |
| presumption | getWeblogger(...).pingQueueManager != null |
| presumption | getWeblogger(...).pingTargetManager != null |
| presumption | getWeblogger(...).pluginManager != null |
| presumption | getWeblogger(...).refererManager != null |
| presumption | getWeblogger(...).strategy != null |
| presumption | getWeblogger(...).strategy.emf != null |
| presumption | getWeblogger(...).strategy.threadLocalEntityManager != null |
| presumption | getWeblogger(...).threadManager != null |
| presumption | getWeblogger(...).userManager != null |
| presumption | getWeblogger(...).weblogManager != null |
| presumption | mgr.strategy != null |
| presumption | mgr.strategy.emf != null |
| presumption | mgr.strategy.threadLocalEntityManager != null |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:executeUpdate |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.persistence.EntityTransaction:commit |
| unanalyzed | call on org.apache.roller.RollerException |
| unanalyzed | call on release |
| unanalyzed | call on javax.persistence.EntityTransaction:rollbac k |
| unanalyzed | call on javax.persistence.EntityManager:close |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| method | void main(String[]) |
| pre | (soft) log != null |
| pre | (soft) org/apache/roller/weblogger/config/Weblogger Config.config != null |
| pre | (soft) org/apache/roller/weblogger/config/Weblogger Config.log != null |
| unanalyzed | call on org.apache.roller.weblogger.business. runnable.RollerTaskWithLeasing |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getTaskProperties |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on org.apache.roller.weblogger.business. runnable.RollerTask |
| unanalyzed | call on getName |
| unanalyzed | call on java.util.Properties |
| unanalyzed | call on java.util.Properties:keys |
| unanalyzed | call on java.util.Enumeration:hasMoreElements |
| unanalyzed | call on java.util.Enumeration:nextElement |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Properties:setProperty |