method net.sourceforge.pebble.web.controller. HttpController__static_init
postinit'ed(log)










method void net.sourceforge.pebble.web.controller. HttpController()
postthis.actionExtension == &".action"









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











method void init()
pre(soft) net/sourceforge/pebble/web/action/ActionFact ory.log != null
presumptionnet.sourceforge.pebble.web.controller. HttpController:getServletConfig(...)@87 != null
presumptionnet.sourceforge.pebble.web.controller. HttpController:getServletConfig(...)@88 != null
postinit'ed(this.actionExtension)
postthis.actionFactory == &new ActionFactory(init#1 )
postthis.securityTokenValidator == &new SecurityTokenValidator(init#2)
postnew ActionFactory(init#1) num objects == 1
postnew HashMap(ActionFactory#1) num objects == 1
postnew SecurityTokenValidator(init#2) num objects == 1
postinit'ed(this.actionFactory.actionMappingFileName)
postthis.actionFactory.actions == &new HashMap(ActionFactory#1)
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getClassLoader
unanalyzedcall on java.lang.ClassLoader:getResourceAsStream
unanalyzedcall on java.util.Properties
unanalyzedcall on java.util.Properties:load
unanalyzedcall on java.util.Properties:propertyNames
unanalyzedcall on java.util.Enumeration:hasMoreElements
unanalyzedcall on java.util.Enumeration:nextElement
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.lang.Exception:getMessage
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.util.HashMap









  infomethod not available-- call on ServletConfig net.sourceforge.pebble. web.controller.HttpController:getServletConfig()










  infomethod not available-- call on ServletConfig net.sourceforge.pebble. web.controller.HttpController:getServletConfig()











method bool isAuthorised(HttpServletRequest, Action)
pre(soft) request != null
postinit'ed(return_value)
unanalyzedcall on javax.servlet.http.HttpServletRequest:getAt tribute
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on getRoles
unanalyzedcall on java.lang.String:equals
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on net.sourceforge.pebble.domain. Blog:isUserInRole










method bool isUserInRole(HttpServletRequest, SecureAction)
preaction != null
prerequest != null
presumptionLocal_9[Local_7]@183 != null
presumptiongetRoles(...)@183 != null
presumptionroles.length@183 <= 232-1
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectorjava.lang.String:equals(...)@185: {0}, {1}
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@190: {0}, {1}









  infocall too complex - analysis skipped-- call on String[] getRoles(HttpServletRequest)










  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method void doGet(HttpServletRequest, HttpServletResponse )









  infomethod not available-- call on void processRequest(HttpServletRequest, HttpServletResponse)











method void doPost(HttpServletRequest, HttpServletRespons e)









  infomethod not available-- call on void processRequest(HttpServletRequest, HttpServletResponse)