Messages

method

void net.sourceforge.pebble.web.filter. UriTransformer()

method	net.sourceforge.pebble.web.filter.UriTransformer__ static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	String getUri(String, Blog)
pre	blog != null
pre	log != null
presumption	net.sourceforge.pebble.domain.Blog:getPermalinkProv ider(...)@78 != null
post	return_value != null
unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink
unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink
unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on net.sourceforge.pebble.domain.Day:getMonth
unanalyzed	call on net.sourceforge.pebble.domain. Month:getYear
unanalyzed	call on net.sourceforge.pebble.domain.Year:getYear
unanalyzed	call on net.sourceforge.pebble.domain. Month:getMonth
unanalyzed	call on net.sourceforge.pebble.domain.Day:getDay
unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink
unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth
test_vector	uri: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:endsWith(...)@105: {0}, {1}
test_vector	java.lang.String:endsWith(...)@107: {0}, {1}
test_vector	java.lang.String:endsWith(...)@115: {0}, {1}
test_vector	java.lang.String:endsWith(...)@127: {0}, {1}
test_vector	java.lang.String:endsWith(...)@129: {0}, {1}
test_vector	java.lang.String:endsWith(...)@139: {0}, {1}
test_vector	java.lang.String:endsWith(...)@141: {0}, {1}
test_vector	java.lang.String:endsWith(...)@149: {0}, {1}
test_vector	java.lang.String:endsWith(...)@156: {0}, {1}
test_vector	java.lang.String:equals(...)@119: {1}, {0}
test_vector	java.lang.String:equals(...)@119: {0}, {1}
test_vector	java.lang.String:equals(...)@160: {1}, {0}
test_vector	java.lang.String:equals(...)@160: {0}, {1}
test_vector	java.lang.String:equals(...)@192: {1}, {0}
test_vector	java.lang.String:equals(...)@192: {0}, {1}
test_vector	java.lang.String:equals(...)@195: {0}, {1}
test_vector	java.lang.String:equals(...)@216: {0}, {1}
test_vector	java.lang.String:equals(...)@219: {0}, {1}
test_vector	java.lang.String:equals(...)@226: {1}, {0}
test_vector	java.lang.String:equals(...)@226: {0}, {1}
test_vector	java.lang.String:equals(...)@84: {0}, {1}
test_vector	java.lang.String:equals(...)@97: {1}, {0}
test_vector	java.lang.String:equals(...)@97: {0}, {1}
test_vector	java.lang.String:matches(...)@100: {0}, {1}
test_vector	java.lang.String:matches(...)@122: {0}, {1}
test_vector	java.lang.String:matches(...)@134: {0}, {1}
test_vector	java.lang.String:matches(...)@186: {0}, {1}
test_vector	java.lang.String:startsWith(...)@112: {0}, {1}
test_vector	java.lang.String:startsWith(...)@146: {0}, {1}
test_vector	java.lang.String:startsWith(...)@153: {0}, {1}
test_vector	java.lang.String:startsWith(...)@162: {0}, {1}
test_vector	java.lang.String:startsWith(...)@168: {0}, {1}
test_vector	java.lang.String:startsWith(...)@174: {0}, {1}
test_vector	java.lang.String:startsWith(...)@180: {0}, {1}
test_vector	java.lang.String:startsWith(...)@198: {0}, {1}
test_vector	java.lang.String:startsWith(...)@201: {0}, {1}
test_vector	java.lang.String:startsWith(...)@204: {0}, {1}
test_vector	java.lang.String:startsWith(...)@207: {0}, {1}
test_vector	java.lang.String:startsWith(...)@210: {0}, {1}
test_vector	java.lang.String:startsWith(...)@213: {0}, {1}
test_vector	java.lang.String:startsWith(...)@222: {0}, {1}

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

info method not available -- call on Blog net.sourceforge.pebble.api. permalink.PermalinkProvider:getBlog()

info method not available -- call on void org.apache.commons.logging. Log:trace(Object)

method	String getUri(String, MultiBlog)
pre	log != null
post	return_value != null
test_vector	uri: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@252: {0}, {1}
test_vector	java.lang.String:equals(...)@268: {1}, {0}
test_vector	java.lang.String:equals(...)@268: {0}, {1}
test_vector	java.lang.String:matches(...)@270: {0}, {1}
test_vector	java.lang.String:startsWith(...)@256: {0}, {1}
test_vector	java.lang.String:startsWith(...)@259: {0}, {1}
test_vector	java.lang.String:startsWith(...)@262: {0}, {1}
test_vector	java.lang.String:startsWith(...)@265: {0}, {1}

info method not available -- call on void org.apache.commons.logging. Log:trace(Object)

method	String getUri(String, PermalinkProvider)
pre	permalinkProvider != null
presumption	net.sourceforge.pebble.domain.Day:getMonth(... )@308 != null
presumption	net.sourceforge.pebble.domain.Day:getMonth(... )@309 != null
presumption	net.sourceforge.pebble.domain.Month:getYear(... )@308 != null
presumption	net.sourceforge.pebble.domain.Month:getYear(... )@316 != null
post	init'ed(return_value)
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry(...)@300: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay(...)@305: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth(...)@313: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink(...)@299: {0}, {1}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink(...)@304: {0}, {1}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink(...)@312: {0}, {1}

info method not available -- call on bool net.sourceforge.pebble.api. permalink.PermalinkProvider:isBlogEntryPermalink(St ring)

info method not available -- call on BlogEntry net.sourceforge.pebble.api. permalink.PermalinkProvider:getBlogEntry(String)

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

info method not available -- call on bool net.sourceforge.pebble.api. permalink.PermalinkProvider:isDayPermalink(String)

info method not available -- call on Day net.sourceforge.pebble.api. permalink.PermalinkProvider:getDay(String)

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

info method not available -- call on Year net.sourceforge.pebble.domain. Month:getYear()

info method not available -- call on int net.sourceforge.pebble.domain. Year:getYear()

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

info method not available -- call on int net.sourceforge.pebble.domain. Month:getMonth()

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

info method not available -- call on bool net.sourceforge.pebble.api. permalink.PermalinkProvider:isMonthPermalink(String )

info method not available -- call on Month net.sourceforge.pebble.api. permalink.PermalinkProvider:getMonth(String)

info method not available -- call on Year net.sourceforge.pebble.domain. Month:getYear()

info method not available -- call on int net.sourceforge.pebble.domain. Year:getYear()

info method not available -- call on int net.sourceforge.pebble.domain. Month:getMonth()

info	method not available	-- call on Month net.sourceforge.pebble.domain. Day:getMonth()
info	method not available	-- call on Year net.sourceforge.pebble.domain. Month:getYear()
info	method not available	-- call on int net.sourceforge.pebble.domain. Year:getYear()