refererfiltermanager.java

refererfiltermanager.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 addFilter(RefererFilter)

-/+	Kind	Annotation Text	Date
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null	2010-07-16 16:14:15
U	pre	(soft) newFilter != null	2010-07-16 16:14:15
U	pre	(soft) this.filters != null	2010-07-16 16:14:15
U	pre	(soft) this.nextId <= 2³²-2	2010-07-16 16:14:15
U	pre	(soft) this.rootBlog != null	2010-07-16 16:14:15
U	post	(soft) init'ed(this.nextId)	2010-07-16 16:14:15
U	post	newFilter.id == One-of{old newFilter.id, old this.nextId}	2010-07-16 16:14:15
U	post	this.nextId == One-of{old this.nextId, old this.nextId + 1}	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:flush	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:newLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:write	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.IOException:getMessage	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:compile	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	test_vector	java.util.Collection:contains(...)@98: {1}, {0}	2010-07-16 16:14:15

List filter(List)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.filters != null	2010-07-16 16:14:15
U	pre	referers != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@162 != null	2010-07-16 16:14:15
U	post	new ArrayList(filter#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(filter#1)	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:matches	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:matcher	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.logging. CountedUrl:getUrl	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@161: {1}, {0}	2010-07-16 16:14:15

bool filter(CountedUrl)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.filters != null	2010-07-16 16:14:15
-	pre	init'ed(referer.url)	2010-07-16 16:59:22
U	pre	referer != null	2010-07-16 16:14:15
U	presumption	filter.compiledExpression@189 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@189 != null	2010-07-16 16:14:15
U	presumption	java.util.regex.Pattern:matcher(...)@190 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@188: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.regex.Matcher:matches(...)@191: {0}, {1}	2010-07-16 16:14:15
+	test_vector	net.sourceforge.pebble.logging.CountedUrl:getUrl(.. .)@181: Inverse{null}, Addr_Set{null}	2010-07-22 12:56:56
-	test_vector	referer.url: Inverse{null}, Addr_Set{null}	2010-07-16 16:59:22

Collection getFilters()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.filters)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

void init()

-/+	Kind	Annotation Text	Date
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null	2010-07-16 16:14:15
U	pre	(soft) this.nextId <= 2³²-2	2010-07-16 16:14:15
U	pre	(soft) this.rootBlog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@79 != null	2010-07-16 16:14:15
U	post	init'ed(this.nextId)	2010-07-16 16:14:15
U	post	new ArrayList(getRefererFilters#1) num objects <= 1	2010-07-16 16:14:15
U	post	this.filters == One-of{&new ArrayList(getRefere rFilters#1), old this.filters}	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileReader	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:compile	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15

void net.sourceforge.pebble.domain.RefererFilterManager(Blog)

-/+	Kind	Annotation Text	Date
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null	2010-07-16 16:14:15
U	pre	(soft) rootBlog != null	2010-07-16 16:14:15
U	post	(soft) this.rootBlog != null	2010-07-16 16:14:15
U	post	init'ed(this.nextId)	2010-07-16 16:14:15
U	post	new ArrayList(getRefererFilters#1) num objects <= 1	2010-07-16 16:14:15
U	post	this.filters == One-of{&new ArrayList(getRefere rFilters#1), undefined}	2010-07-16 16:14:15
U	post	this.filters in Addr_Set{null,&new ArrayList(getRefererFilters#1)}	2010-07-16 16:14:15
U	post	this.rootBlog == rootBlog	2010-07-16 16:14:15
U	unanalyzed	call on getConfiguredFactory	2010-07-16 16:14:15
U	unanalyzed	call on getRefererFilterDAO	2010-07-16 16:14:15
U	unanalyzed	call on getRefererFilters	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileReader	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:compile	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion:printStackTrace	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15

net.sourceforge.pebble.domain.RefererFilterManager__static_init

-/+	Kind	Annotation Text	Date

bool removeFilter(String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null	2010-07-16 16:14:15
U	pre	(soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null	2010-07-16 16:14:15
U	pre	(soft) this.filters != null	2010-07-16 16:14:15
U	pre	(soft) this.rootBlog != null	2010-07-16 16:14:15
U	presumption	filter.expression@122 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@122 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:flush	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:newLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:write	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.IOException:getMessage	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:remove	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:compile	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on store	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@124: {0}, {1}	2010-07-16 16:14:15