Messages

method | net.sourceforge.pebble.permalink.PermalinkProvider Support__static_init

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

method | Blog getBlog()
pre | init'ed(this.blog)
post | return_value == this.blog
post | init'ed(return_value)

method | void setBlog(Blog)
post | this.blog == blog
post | init'ed(this.blog)

method | String getPermalink(Month)
pre | month != null
pre | this.blog != null
post | init'ed(return_value)

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

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

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

method | Month getMonth(String)
post | init'ed(return_value)
pre | this.blog != null
pre | uri != null

| info | method not available | -- call on Month net.sourceforge.pebble.domain. Blog:getBlogForMonth(int, int)

method | String getPermalink(Day)
pre | day != null
pre | this.blog != null
post | init'ed(return_value)

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

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

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

method | Day getDay(String)
post | init'ed(return_value)
pre | this.blog != null
pre | uri != null

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