Messages

method | net.sourceforge.pebble.webservice.AbstractAPIHandl er__static_init

method | void net.sourceforge.pebble.webservice. AbstractAPIHandler()

method | AuthenticationManager getAuthenticationManager()
pre | init'ed(this.authenticationManager)
post | return_value == this.authenticationManager
post | init'ed(return_value)

method | void setAuthenticationManager(AuthenticationManage r)
post | this.authenticationManager == authenticationManager
post | init'ed(this.authenticationManager)

method | void authenticate(Blog, String, String)
pre | this.authenticationManager != null
presumption | net.sourceforge.pebble.util.SecurityUtils:isUserAut horisedForBlogAsBlogContributor(...)@77 == 1
presumption | org.acegisecurity.context.SecurityContextHolder:get Context(...)@75 != null
test_vector | blog: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on void org.acegisecurity.providers. UsernamePasswordAuthenticationToken(Object, Object)
| info | method not available | -- call on Authentication org.acegisecurity. AuthenticationManager:authenticate(Authentication)

| info | method not available | -- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
| info | method not available | -- call on void org.acegisecurity.context. SecurityContext:setAuthentication(Authentication)

| info | method not available | -- call on bool net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor(Blog)

method | Blog getBlogWithPostId(String)
pre | s != null
presumption | net.sourceforge.pebble.domain.BlogManager:getBlog(. ..)@109 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@109 != null
post | (soft) return_value != null
test_vector | java.lang.String:lastIndexOf(...)@104: {-231..-1}, {0..232-1}

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogManager:getBlog(String)

method | Blog getBlogWithBlogId(String)
presumption | net.sourceforge.pebble.domain.BlogManager:getBlog(. ..)@129 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@129 != null
post | (soft) return_value != null

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogManager:getBlog(String)

method | String getPostId(String)
presumption | java.lang.String:lastIndexOf(...)@153 <= 232-2
post | init'ed(return_value)
test_vector | s: Inverse{null}, Addr_Set{null}
test_vector | java.lang.String:lastIndexOf(...)@153: {-231..-1}, {0..232-2}

method | String formatPostId(String, String)
post | return_value != null