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 <= 232-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

| low
| overflow | check might fail: requires this.nextId in -231-1..232-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 <= 232-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()

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