Messages

Last Msg First Msg

method

net.sourceforge.pebble.permalink.TitlePermalinkPro vider__static_init

method

void net.sourceforge.pebble.permalink. TitlePermalinkProvider()

method	String getPermalink(BlogEntry)
presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@71 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@67 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@77 != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@76 != null
presumption	net.sourceforge.pebble.domain.Day:getBlogEntries(.. .)@72 != null
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getDate
pre	blogEntry != null
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone
pre	(soft) this.blog != null
test_vector	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@67: Addr_Set{null}, Inverse{null}
presumption	java.util.List:indexOf(...)@74 - java.util. List:size(...)@74 in -2³²..6_442_450_942
presumption	java.util.List:size(...)@74 >= -2³¹+1
post	return_value != null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.DateFormat:setTimeZone
unanalyzed	call on java.text.DateFormat:format
test_vector	java.lang.String:equals(...)@77: {0}, {1}
test_vector	java.lang.String:length(...)@67: {1.. 2³²-1}, {0}

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

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

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

info method not available -- call on Day net.sourceforge.pebble.domain. Blog:getBlogForDay(Date)

info method not available -- call on List net.sourceforge.pebble.domain. Day:getBlogEntries()

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

info method not available -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

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

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

method	String buildPermalink(BlogEntry)
presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@111 != null
test_vector	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@94: Addr_Set{null}, Inverse{null}
pre	blogEntry != null
post	return_value != null
test_vector	java.lang.String:length(...)@107: {1.. 2³²-1}, {0}
test_vector	java.lang.String:length(...)@95: {1.. 2³²-1}, {0}

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

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

Prev Msg Next Msg

click for all messages in this file warning

test always goes same way test predetermined because title != null

Prev Msg Next Msg

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

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

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

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

method	bool isBlogEntryPermalink(String)
post	init'ed(return_value)
test_vector	uri: Addr_Set{null}, Inverse{null}

method	BlogEntry getBlogEntry(String)
presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@154 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getLocalPer malink(...)@164 != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@161 != null
presumption	net.sourceforge.pebble.domain.Day:getBlogEntries(.. .)@158 != null
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForDay
pre	this.blog != null
pre	uri != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
test_vector	java.lang.String:endsWith(...)@164: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@159: {1}, {0}

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

info method not available -- call on List net.sourceforge.pebble.domain. Day:getBlogEntries()

info method not available -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

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

	info	method not available	-- call on Date net.sourceforge.pebble.domain. BlogEntry:getDate()
	info	method not available	-- call on Day net.sourceforge.pebble.domain. Blog:getBlogForDay(Date)