emailsubscriptionlist.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • void addEmailAddress(String)

    • -/+ Kind Annotation Text Date
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U prethis.emailAddresses != null2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:close2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:flush2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:newLine2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:write2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileWriter2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:iterator2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getIndexesDirectory2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@77: {1}, {0}2010-07-16 16:14:15

  • void clear()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U postnew LinkedList(clear#1) num objects == 12010-07-16 16:14:15
    U postthis.emailAddresses == &new LinkedList(clear#1) 2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:close2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:flush2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:newLine2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:write2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileWriter2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:iterator2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getIndexesDirectory2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15

  • List getEmailAddresses()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.emailAddresses)2010-07-16 16:14:15
    U postnew ArrayList(getEmailAddresses#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getEmailAddresse s#1)2010-07-16 16:14:15

  • void net.sourceforge.pebble.index.EmailSubscriptionList(Blog)

    • -/+ Kind Annotation Text Date
    U preblog != null2010-07-16 16:14:15
    U postnew LinkedList(EmailSubscriptionList#1) num objects == 12010-07-16 16:14:15
    U postthis.blog != null2010-07-16 16:14:15
    U postthis.blog == blog2010-07-16 16:14:15
    U postthis.emailAddresses == &new LinkedList(EmailSub scriptionList#1)2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedReader2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedReader:close2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedReader:readLine2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileReader2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:add2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getIndexesDirectory2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15

  • net.sourceforge.pebble.index.EmailSubscriptionList__static_init

    • -/+ Kind Annotation Text Date
    U postinit'ed(log)2010-07-16 16:14:15

  • void readIndex()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.emailAddresses != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U presumptionorg.apache.commons.logging.LogFactory:getLog(... )@50 != null2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@98: {0}, {1}2010-07-16 16:14:15

  • void removeEmailAddress(String)

    • -/+ Kind Annotation Text Date
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U prethis.emailAddresses != null2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:close2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:flush2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:newLine2010-07-16 16:14:15
    U unanalyzedcall on java.io.BufferedWriter:write2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileWriter2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:iterator2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getIndexesDirectory2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15

  • void writeIndex()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.blog != null2010-07-16 16:14:15
    U pre(soft) this.emailAddresses != null2010-07-16 16:14:15
    U presumptionorg.apache.commons.logging.LogFactory:getLog(... )@50 != null2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@122: {1}, {0}2010-07-16 16:14:15