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