Messages

method | net.sourceforge.pebble.index.EmailSubscriptionList __static_init
post | init'ed(log)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | void net.sourceforge.pebble.index.EmailSubscriptio nList(Blog)
pre | blog != null
post | this.blog == blog
post | this.blog != null
post | this.emailAddresses == &new LinkedList(EmailSub scriptionList#1)
post | new LinkedList(EmailSubscriptionList#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.util.List:add
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on org.apache.commons.logging.Log:error

method | void clear()
pre | (soft) this.blog != null
post | this.emailAddresses == &new LinkedList(clear#1)
post | new LinkedList(clear#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close

method | void addEmailAddress(String)
pre | this.emailAddresses != null
pre | (soft) this.blog != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
test_vector | java.util.List:contains(...)@77: {1}, {0}

method | void removeEmailAddress(String)
pre | this.emailAddresses != null
pre | (soft) this.blog != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close

method | void readIndex()
pre | this.blog != null
pre | (soft) this.emailAddresses != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@50 != null
test_vector | java.io.File:exists(...)@98: {0}, {1}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | void writeIndex()
pre | (soft) this.blog != null
pre | (soft) this.emailAddresses != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@50 != null
test_vector | java.util.Iterator:hasNext(...)@122: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | List getEmailAddresses()
pre | init'ed(this.emailAddresses)
post | return_value == &new ArrayList(getEmailAddresse s#1)
post | new ArrayList(getEmailAddresses#1) num objects == 1