Messages

Last Msg First Msg

method

net.sourceforge.pebble.domain.RefererFilterManager __static_init

method	void net.sourceforge.pebble.domain. RefererFilterManager(Blog)
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null
pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null
pre	(soft) rootBlog != null
post	this.filters == One-of{&new ArrayList(getRefere rFilters#1), undefined}
post	this.filters in Addr_Set{null,&new ArrayList(getRefererFilters#1)}
post	init'ed(this.nextId)
post	this.rootBlog == rootBlog
post	(soft) this.rootBlog != null
post	new ArrayList(getRefererFilters#1) num objects <= 1
unanalyzed	call on getConfiguredFactory
unanalyzed	call on getRefererFilterDAO
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion:printStackTrace
unanalyzed	call on getRefererFilters
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
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.regex.Pattern:compile
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on org.apache.commons.logging.Log:error

method	void init()
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null
pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null
pre	(soft) this.nextId <= 2³²-2
pre	(soft) this.rootBlog != null
presumption	java.util.Iterator:next(...)@79 != null
post	this.filters == One-of{&new ArrayList(getRefere rFilters#1), old this.filters}
post	init'ed(this.nextId)
post	new ArrayList(getRefererFilters#1) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
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.regex.Pattern:compile
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on org.apache.commons.logging.Log:error

info method not available -- call on RefererFilterDAO getRefererFilterDAO()

info method not available -- call on Collection getRefererFilters(Blog)

Prev Msg Next Msg

click for all messages in this file low

overflow check might fail: requires this.nextId in -2³¹-1..2³²-2

Prev Msg Next Msg

info method not available -- call on void net.sourceforge.pebble.dao. PersistenceException:printStackTrace()

method	void addFilter(RefererFilter)
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null
pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null
pre	(soft) newFilter != null
pre	(soft) this.nextId <= 2³²-2
pre	(soft) this.filters != null
pre	(soft) this.rootBlog != null
post	newFilter.id == One-of{old newFilter.id, old this.nextId}
post	this.nextId == One-of{old this.nextId, old this.nextId + 1}
post	(soft) init'ed(this.nextId)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
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.regex.Pattern:compile
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.io.BufferedReader:close
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.Collection: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
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion
unanalyzed	call on java.util.Collection:add
unanalyzed	call on java.lang.Exception
test_vector	java.util.Collection:contains(...)@98: {1}, {0}

info method not available -- call on RefererFilterDAO getRefererFilterDAO()

info method not available -- call on void addRefererFilter(RefererFilter, Blog)

info method not available -- call on void net.sourceforge.pebble.dao. PersistenceException:printStackTrace()

method	bool removeFilter(String)
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null
pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null
pre	(soft) this.filters != null
pre	(soft) this.rootBlog != null
presumption	filter.expression@122 != null
presumption	java.util.Iterator:next(...)@122 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
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.regex.Pattern:compile
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Collection:remove
unanalyzed	call on store
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.util.Collection: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
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion
unanalyzed	call on java.lang.Exception
test_vector	java.lang.String:equals(...)@124: {0}, {1}

info method not available -- call on RefererFilterDAO getRefererFilterDAO()

info method not available -- call on void deleteRefererFilter(RefererFilter, Blog)

info method not available -- call on void net.sourceforge.pebble.dao. PersistenceException:printStackTrace()

method	Collection getFilters()
pre	init'ed(this.filters)
post	init'ed(return_value)

method	List filter(List)
unanalyzed	call on net.sourceforge.pebble.logging. CountedUrl:getUrl
pre	referers != null
pre	(soft) this.filters != null
presumption	java.util.Iterator:next(...)@162 != null
post	return_value == &new ArrayList(filter#1)
post	new ArrayList(filter#1) num objects == 1
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
test_vector	java.util.Iterator:hasNext(...)@161: {1}, {0}

method	bool filter(CountedUrl)
test_vector	net.sourceforge.pebble.logging.CountedUrl:getUrl(.. .)@181: Inverse{null}, Addr_Set{null}
pre	referer != null
pre	(soft) this.filters != null
presumption	filter.compiledExpression@189 != null
presumption	java.util.Iterator:next(...)@189 != null
presumption	java.util.regex.Pattern:matcher(...)@190 != null
post	init'ed(return_value)
test_vector	java.util.Iterator:hasNext(...)@188: {1}, {0}
test_vector	java.util.regex.Matcher:matches(...)@191: {0}, {1}

info method not available -- call on String net.sourceforge.pebble.logging. CountedUrl:getUrl()