| method | void doFilter(ServletRequest, ServletResponse, FilterChain) |
| pre | org/apache/roller/weblogger/util/IPBanList. instance != null |
| pre | init'ed(org/apache/roller/weblogger/util/IPBanList. instance.bannedIpsFile) |
| pre | req != null |
| pre | (soft) chain != null |
| pre | (soft) log != null |
| pre | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIps) |
| pre | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIpsFile.myLastModified) |
| pre | (soft) org/apache/roller/weblogger/util/IPBanList. log != null |
| pre | (soft) res != null |
| post | org/apache/roller/weblogger/util/IPBanList. instance.bannedIps == One-of{old org/apache/roller/ weblogger/util/IPBanList.instance.bannedIps, &new HashSet(loadBannedIps#1)} |
| post | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIps) |
| post | init'ed(org/apache/roller/weblogger/util/IPBanList. instance.bannedIpsFile.myLastModified) |
| post | new HashSet(loadBannedIps#1) num objects <= 1 |
| unanalyzed | call on loadBannedIpsIfNeeded |
| unanalyzed | call on java.util.Set:contains |
| unanalyzed | call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on loadBannedIps |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.io.FileReader |
| unanalyzed | call on java.io.BufferedReader |
| unanalyzed | call on java.io.BufferedReader:readLine |
| unanalyzed | call on java.util.HashSet:add |
| unanalyzed | call on java.io.BufferedReader:close |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on org.apache.commons.logging.Log:info |