Messages

Last Msg First Msg

method | net.sourceforge.pebble.util.importer. MovableTypeImporter__static_init

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

method | void main(String[])
pre | args != null
pre | (soft) init'ed(args[0])
pre | (soft) init'ed(args[1])
pre | (soft) init'ed(args[2])
presumption | java.lang.System.out != null
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.String:indexOf
pre | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration)
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.List:add
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...
unanalyzed | call on java.text.SimpleDateFormat:parse
post | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration)
unanalyzed | call on java.lang.String:equals
post | new Configuration(main#2) num objects <= 1
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled
unanalyzed | call on java.util.List:iterator
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCa tegoryDAO
unanalyzed | call on net.sourceforge.pebble.dao.CategoryDAO:addC ategory
unanalyzed | call on net.sourceforge.pebble.domain. Blog:addCategory
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setPublished
unanalyzed | call on net.sourceforge.pebble.domain.BlogService
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:putBlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:createComment
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addComment
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:createTrackBack
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addTrackBack
unanalyzed | call on java.io.PrintStream:print
unanalyzed | call on java.io.File:getName
unanalyzed | call on java.io.PrintStream:println
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.io.InputStreamReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getNumberOfBlogEntries
test_vector | args.length: {3}, {0..2, 4..+Inf}
test_vector | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration: Inverse{null}, Addr_Set{null}

| info | method not available | -- call on void net.sourceforge.pebble. Configuration()

| info | method not available | -- call on void net.sourceforge.pebble. Configuration:setDataDirectory(String)

| info | method not available | -- call on void net.sourceforge.pebble. Configuration:setUrl(String)

| info | method not available | -- call on void net.sourceforge.pebble.dao.file. FileDAOFactory()
| info | method not available | -- call on void net.sourceforge.pebble.dao. DAOFactory:setConfiguredFactory(DAOFactory)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:setProperty(String, String)

method | void importBlog(Blog, File)
pre | file != null
pre | (soft) blog != null
presumption | java.lang.System.out != null
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.List:add
unanalyzed | call on java.text.SimpleDateFormat:parse
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled
unanalyzed | call on java.util.List:iterator
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCo nfiguredFactory
unanalyzed | call on net.sourceforge.pebble.dao.DAOFactory:getCa tegoryDAO
unanalyzed | call on net.sourceforge.pebble.dao.CategoryDAO:addC ategory
unanalyzed | call on net.sourceforge.pebble.domain. Blog:addCategory
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setPublished
unanalyzed | call on net.sourceforge.pebble.domain.BlogService
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:putBlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:createComment
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addComment
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:createTrackBack
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addTrackBack
unanalyzed | call on java.io.PrintStream:print

| info | method not available | -- call on int net.sourceforge.pebble.domain. Blog:getNumberOfBlogEntries()

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

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into convertBreaks

Prev Msg Next Msg

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry(Blog)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setExcerpt(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setDate(Date)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setExcerpt(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setExcerpt(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setAuthor(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Category(String, String)

| info | method not available | -- call on DAOFactory net.sourceforge.pebble.dao. DAOFactory:getConfiguredFactory()

| info | method not available | -- call on CategoryDAO net.sourceforge.pebble.dao. DAOFactory:getCategoryDAO()

| info | method not available | -- call on void net.sourceforge.pebble.dao. CategoryDAO:addCategory(Category, Blog)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:addCategory(Category)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addCategory(Category)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setPublished(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

| info | method not available | -- call on Comment net.sourceforge.pebble.domain. BlogEntry:createComment(String, String, String, String, String, String, Date, State)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addComment(Comment)

| info | method not available | -- call on TrackBack net.sourceforge.pebble.domain. BlogEntry:createTrackBack(String, String, String, String, String, Date, State)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addTrackBack(TrackBack)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)