IPBanList.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + void addBannedIp(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.bannedIps)2009-09-04 18:33:31
    +pre(soft) init'ed(this.bannedIpsFile)2009-09-04 18:33:31
    +pre(soft) init'ed(this.bannedIpsFile.myLastModified)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +post(soft) init'ed(this.bannedIps)2009-09-04 18:33:31
    +post(soft) init'ed(this.bannedIpsFile.myLastModified)2009-09-04 18:33:31
    +postnew HashSet(loadBannedIps#1) num objects <= 12009-09-04 18:33:31
    +postthis.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:readLine2009-09-04 18:33:31
    +unanalyzedcall on java.io.FileReader2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:size2009-09-04 18:33:31
    +unanalyzedcall on loadBannedIps2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified2009-09-04 18:33:31
    +test_vectorip: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorjava.util.Set:contains(...)@104: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.util.IPBanList_ ModifiedFile:canWrite(...)@104: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.bannedIpsFile: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void clearChanged()

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.myLastModified)2009-09-04 18:33:31

  • + IPBanList getInstance()

    • -/+ Kind Annotation Text Date
    +preinit'ed(instance)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == instance2009-09-04 18:33:31

  • + bool hasChanged()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.myLastModified)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool isBanned(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.bannedIps)2009-09-04 18:33:31
    +pre(soft) init'ed(this.bannedIpsFile.myLastModified)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.bannedIpsFile)2009-09-04 18:33:31
    +post(soft) init'ed(this.bannedIps)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postinit'ed(this.bannedIpsFile.myLastModified)2009-09-04 18:33:31
    +postnew HashSet(loadBannedIps#1) num objects <= 12009-09-04 18:33:31
    +postthis.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:readLine2009-09-04 18:33:31
    +unanalyzedcall on java.io.FileReader2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:size2009-09-04 18:33:31
    +unanalyzedcall on loadBannedIps2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified2009-09-04 18:33:31
    +test_vectorip: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void loadBannedIps()

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.bannedIpsFile)2009-09-04 18:33:31
    +postnew HashSet(loadBannedIps#1) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(this.bannedIpsFile. myLastModified)2009-09-04 18:33:31
    +postthis.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified2009-09-04 18:33:31
    +test_vectorjava.io.BufferedReader:readLine(...)@156: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.bannedIpsFile: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void loadBannedIpsIfNeeded(bool)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.bannedIpsFile.myLastModified)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.bannedIpsFile)2009-09-04 18:33:31
    +post(soft) init'ed(this.bannedIpsFile.myLastModified)2009-09-04 18:33:31
    +postnew HashSet(loadBannedIps#1) num objects <= 12009-09-04 18:33:31
    +postthis.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:readLine2009-09-04 18:33:31
    +unanalyzedcall on java.io.FileReader2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:size2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified2009-09-04 18:33:31
    +test_vectorforceLoad: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.bannedIpsFile: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.IPBanList$ModifiedFile(IPBanList, String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.myLastModified)2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.IPBanList$ModifiedFile__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.util.IPBanList()

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +postinit'ed(new IPBanList$ModifiedFile(IPBanList#2). myLastModified)2009-09-04 18:33:31
    +postinit'ed(this.bannedIpsFile)2009-09-04 18:33:31
    +postnew HashSet(IPBanList#1) num objects == 12009-09-04 18:33:31
    +postnew HashSet(loadBannedIps#1) num objects <= 12009-09-04 18:33:31
    +postnew IPBanList$ModifiedFile(IPBanList#2) num objects <= 12009-09-04 18:33:31
    +postthis.bannedIps in Addr_Set{&new HashSet(IPBanList#1),&new HashSet(loadBannedIp s#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:readLine2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.FileReader2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:size2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@64: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.util.IPBanList_ ModifiedFile:canRead(...)@68: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.util.IPBanList_ ModifiedFile:exists(...)@68: {0}, {1}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.IPBanList__static_init

    • -/+ Kind Annotation Text Date
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@41 != null2009-09-04 18:33:31
    +post(soft) log != null2009-09-04 18:33:31
    +postinit'ed(instance.bannedIpsFile)2009-09-04 18:33:31
    +postinit'ed(new IPBanList$ModifiedFile(IPBanList#2). myLastModified)2009-09-04 18:33:31
    +postinstance == &new IPBanList(IPBanList__static_ init#1)2009-09-04 18:33:31
    +postinstance.bannedIps == One-of{&new HashSet(IPBanList#1), &new HashSet(loadBannedI ps#1)}2009-09-04 18:33:31
    +postinstance.bannedIps in Addr_Set{&new HashSet(IPBanList#1),&new HashSet(loadBannedIp s#1)}2009-09-04 18:33:31
    +postnew HashSet(IPBanList#1) num objects == 12009-09-04 18:33:31
    +postnew HashSet(loadBannedIps#1) num objects <= 12009-09-04 18:33:31
    +postnew IPBanList$ModifiedFile(IPBanList#2) num objects <= 12009-09-04 18:33:31
    +postnew IPBanList(IPBanList__static_init#1) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedReader:readLine2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.FileReader2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:size2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:canRead2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:exists2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified2009-09-04 18:33:31