## 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 <= 232-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}, {-231..-2, 0..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@134: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@140: {1.. 232-1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@143: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@227: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.StringBuffer:length(...)@210: {0}, {-231..-1, 1..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.StringBuffer:length(...)@217: {0}, {-231..-1, 1..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.StringBuffer:length(...)@219: {0}, {-231..-1, 1..232-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