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 <= 2³²-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}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:length(...)@134: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@140: {1.. 2³²-1}, {0}
test_vector	java.lang.String:length(...)@143: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@227: {0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@210: {0}, {-2³¹..-1, 1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@217: {0}, {-2³¹..-1, 1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@219: {0}, {-2³¹..-1, 1..2³²-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

click for all messages in this file 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: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)

	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)