Messages

method | net.sourceforge.pebble.permalink.DefaultPermalinkP rovider__static_init

method | void net.sourceforge.pebble.permalink. DefaultPermalinkProvider()

method | String getPermalink(BlogEntry)
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@59 != null
pre | blogEntry != null
post | return_value != null

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

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

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

method | BlogEntry getBlogEntry(String)
pre | init'ed(this.blog)
pre | (soft) uri != null
post | init'ed(return_value)

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

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