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: {-2³¹..-1}, {0..2³²-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

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

method	String formatPostId(String, String)
post	return_value != 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 BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
	info	method not available	-- call on Blog net.sourceforge.pebble.domain. BlogManager:getBlog(String)