| method | void bootstrap() |
| pre | org/apache/roller/weblogger/business/startup/Weblog gerStartup.prepared == 1 |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null |
| presumption | defaultProvider.injector@90 != null |
| presumption | java.lang.Class:forName(...)@89 != null |
| post | webloggerProvider != null |
| post | webloggerProvider.webloggerInstance != null |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on java.lang.Object:getClass |
| unanalyzed | call on java.lang.Class:getName |
| unanalyzed | call on com.google.inject.Injector:getInstance |
| unanalyzed | call on bootstrap |
| unanalyzed | call on getVersion |
| unanalyzed | call on getRevision |
| 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 org.apache.roller.weblogger. WebloggerException |
| unanalyzed | call on org.apache.roller.RollerException |
| method | void bootstrap(WebloggerProvider) |
| pre | org/apache/roller/weblogger/business/startup/Weblog gerStartup.prepared == 1 |
| pre | provider != null |
| pre | provider.injector != null |
| presumption | com.google.inject.Injector:getInstance(...)@87 != null |
| presumption | java.lang.Object:getClass(...)@128 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@32 != null |
| post | (soft) provider.webloggerInstance != null |
| post | webloggerProvider.webloggerInstance == provider.webloggerInstance |
| post | webloggerProvider == provider |
| post | webloggerProvider != null |
| unanalyzed | call on com.google.inject.Injector:getInstance |