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