movabletypeimporter.java

movabletypeimporter.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 importBlog(Blog, File)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blog != null	2010-07-16 16:14:15
U	pre	file != 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.BufferedReader:readLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.PrintStream:print	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:indexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:parse	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.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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.BlogEntry	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addCategory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addComment	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addTrackBack	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:createComment	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:createTrackBack	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setAuthor	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setBody	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setDate	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setPublished	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled	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

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	(soft) init'ed(args[2])	2010-07-16 16:14:15
+	pre	(soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration)	2010-07-22 12:56:56
U	pre	args != null	2010-07-16 16:14:15
U	presumption	java.lang.System.out != null	2010-07-16 16:14:15
-	presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@78 != null	2010-07-16 16:59:22
-	presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@83 != null	2010-07-16 16:59:22
+	post	(soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration)	2010-07-22 12:56:56
+	post	net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration == One-of{old net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration, &new...	2010-07-22 12:56:56
+	post	new Configuration(main#2) num objects <= 1	2010-07-22 12:56:56
U	unanalyzed	call on java.io.BufferedReader	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:getName	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.InputStreamReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.PrintStream:print	2010-07-16 16:14:15
U	unanalyzed	call on java.io.PrintStream:println	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:indexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:parse	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.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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:getNumberOfBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.BlogEntry	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addCategory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addComment	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addTrackBack	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:createComment	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:createTrackBack	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setAuthor	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setBody	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setDate	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setPublished	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled	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	test_vector	args.length: {3}, {0..2, 4..+Inf}	2010-07-16 16:14:15
-	test_vector	net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@78: Inverse{null}, Addr_Set{null}	2010-07-16 16:59:22
+	test_vector	net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration: Inverse{null}, Addr_Set{null}	2010-07-22 12:56:56

void net.sourceforge.pebble.util.importer.MovableTypeImporter()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.util.importer.MovableTypeImporter__static_init

-/+	Kind	Annotation Text	Date

BlogEntry readBlogEntry(Blog, BufferedReader)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blog != null	2010-07-16 16:14:15
U	pre	reader != null	2010-07-16 16:14:15
U	presumption	init'ed(java.util.Locale.ENGLISH)	2010-07-16 16:14:15
U	presumption	init'ed(net.sourceforge.pebble.domain.State. APPROVED)	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@120 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@122 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@124 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@126 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@128 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@132 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@139 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@155 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@161 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@173 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@185 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@197 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@241 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@244 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@245 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@246 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@247 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@248 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@251 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@263 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@264 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@265 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@266 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@267 != null	2010-07-16 16:14:15
U	presumption	java.io.BufferedReader:readLine(...)@270 != null	2010-07-16 16:14:15
U	presumption	java.lang.String:indexOf(...)@142 <= 2³²-11	2010-07-16 16:14:15
U	presumption	java.lang.System.out != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.dao.DAOFactory:getCategoryDA O(...)@230 != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.dao.DAOFactory:getConfigured Factory(...)@229 != null	2010-07-16 16:14:15
U	post	new BlogEntry(readBlogEntry#7) num objects <= 1	2010-07-16 16:14:15
U	post	return_value in Addr_Set{null,&new BlogEntry(readBlogEntry#7)}	2010-07-16 16:14:15
U	test_vector	java.io.BufferedReader:readLine(...)@113: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@162: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@165: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@174: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@177: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@186: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@189: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@198: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@201: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@242: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@243: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@252: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@255: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@262: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@271: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@274: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:indexOf(...)@141: {-1}, {-2³¹..-2, 0..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@134: {0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@140: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@143: {0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@227: {0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.lang.StringBuffer:length(...)@210: {0}, {-2³¹..-1, 1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.lang.StringBuffer:length(...)@217: {0}, {-2³¹..-1, 1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.lang.StringBuffer:length(...)@219: {0}, {-2³¹..-1, 1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@226: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:next(...)@226: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15