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 -232..6_442_450_942
presumption | java.util.List:size(...)@74 >= -231+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.. 232-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.. 232-1}, {0}
test_vector | java.lang.String:length(...)@95: {1.. 232-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

| 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()

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

| 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()