utilities.java

utilities.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

bool accept(File, String)

-/+	Kind	Annotation Text	Date
U	pre	name != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

void buildIndexes(Blog)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15

void buildIpAddressLists(Blog)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@100 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@84 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@88 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@80 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.BlogEntry:getComments (...)@86 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.BlogEntry:getTrackBac ks(...)@98 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@83: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@87: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@99: {1}, {0}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.domain.Comment:isApproved(.. .)@89: {0}, {1}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.domain.Comment:isRejected(.. .)@92: {0}, {1}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.domain.TrackBack:isApproved( ...)@101: {0}, {1}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.domain.TrackBack:isRejected( ...)@104: {0}, {1}	2010-07-16 16:14:15

String calcBaseUrl(String, String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blogUrl != null	2010-07-16 16:14:15
+	pre	(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null	2010-07-22 12:56:56
U	presumption	net.sourceforge.pebble.Configuration:getSecureUrl(. ..)@381 != null	2010-07-16 16:14:15
-	presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@380 != null	2010-07-16 16:59:22
-	presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@380 != null	2010-07-16 16:59:22
U	post	return_value != null	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@381: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@381: {0}, {1}	2010-07-16 16:14:15

void convertCategories(Blog)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@169 != null	2010-07-16 16:14:15
U	presumption	java.util.Properties:keySet(...)@167 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.dao.DAOFactory:getCategoryDA O(...)@181 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.dao.DAOFactory:getConfigured Factory(...)@180 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@173: {1}, {0}	2010-07-16 16:14:15

void fixHtmlInResponses(Blog)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@126 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@130 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@139 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@124 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.BlogEntry:getComments (...)@128 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.BlogEntry:getTrackBac ks(...)@137 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Comment:getBody(... )@132 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Comment:getBody(... )@133 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Comment:getBody(... )@134 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@141 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@142 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@143 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@125: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@129: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@138: {1}, {0}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.domain.Comment:getBody(... )@131: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.domain.TrackBack:getExcerpt( ...)@140: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void main(String[])

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(args[0])	2010-07-16 16:14:15
U	pre	(soft) init'ed(args[1])	2010-07-16 16:14:15
U	pre	args != null	2010-07-16 16:14:15
U	presumption	java.lang.System.out != null	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.FileInputStream	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileInputStream:close	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:startsWith	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Properties	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Properties:getProperty	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Properties:keySet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Properties:load	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event.comment. CommentEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.dao.CategoryDAO:addC ategory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.dao.DAOFactory:getCa tegoryDAO	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:addCategory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogEntries	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 net.sourceforge.pebble.domain.Blog:reindex	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getComments	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getDate	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTrackBacks	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.BlogService	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogService:putBlogEntry	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Comment:getBody	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Comment:isApproved	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Comment:isRejected	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Comment:setBody	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:getExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:isApproved	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:isRejected	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. TrackBack:setExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:commentApproved	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:commentRejected	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:trackBackApproved	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.event.response. IpAddressListener:trackBackRejected	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 org.apache.commons.logging.Log:info	2010-07-16 16:14:15
U	test_vector	args.length: {2}, {0,1, 3..+Inf}	2010-07-16 16:14:15
U	test_vector	args[1]: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equalsIgnoreCase(...)@353: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equalsIgnoreCase(...)@355: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equalsIgnoreCase(...)@357: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equalsIgnoreCase(...)@359: {0}, {1}	2010-07-16 16:14:15

void moveBlogEntriesFromCategory(Blog, Category, Category)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@197 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@195 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@200 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15
U	test_vector	java.util.Collection:contains(...)@201: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@196: {1}, {0}	2010-07-16 16:14:15

void net.sourceforge.pebble.util.Utilities$1()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.util.Utilities$1__static_init

-/+	Kind	Annotation Text	Date

void net.sourceforge.pebble.util.Utilities()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.util.Utilities__static_init

-/+	Kind	Annotation Text	Date
U	post	init'ed(log)	2010-07-16 16:14:15

void resetPlugins(Blog)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blog != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15

void resetTheme(Blog)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blog != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15

void restoreTheme(Blog, String)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Blog:getEditableTheme (...)@234 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15

void restructureBlogToGMT(Blog)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	Local_13[Local_11]@271 != null	2010-07-16 16:14:15
U	presumption	Local_18[Local_16]@273 != null	2010-07-16 16:14:15
U	presumption	Local_23[Local_21]@275 != null	2010-07-16 16:14:15
U	presumption	Local_8[Local_6]@269 != null	2010-07-16 16:14:15
U	presumption	blogEntryFiles.length@275 <= 2³²-1	2010-07-16 16:14:15
U	presumption	days.length@273 <= 2³²-1	2010-07-16 16:14:15
U	presumption	java.io.File:getName(...)@277 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@269 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@271 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@273 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@275 != null	2010-07-16 16:14:15
U	presumption	months.length@271 <= 2³²-1	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15
U	presumption	years.length@269 <= 2³²-1	2010-07-16 16:14:15
U	test_vector	java.io.File:equals(...)@283: {1}, {0}	2010-07-16 16:14:15

void restructureStaticPages(Blog)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	Local_6[Local_4]@307 != null	2010-07-16 16:14:15
U	presumption	files.length@307 <= 2³²-1	2010-07-16 16:14:15
U	presumption	java.io.File:getName(...)@314 != null	2010-07-16 16:14:15
U	presumption	java.io.File:getName(...)@315 != null	2010-07-16 16:14:15
U	presumption	java.io.File:getName(...)@324 != null	2010-07-16 16:14:15
U	presumption	java.io.File:getName(...)@331 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@307 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@316: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@325: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.io.File:isDirectory(...)@303: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:endsWith(...)@314: {0}, {1}	2010-07-16 16:14:15