Messages

method | net.sourceforge.pebble.web.controller. HttpController__static_init
post | init'ed(log)

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

| info | method 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
presumption | net.sourceforge.pebble.web.controller. HttpController:getServletConfig(...)@87 != null
presumption | net.sourceforge.pebble.web.controller. HttpController:getServletConfig(...)@88 != null
post | init'ed(this.actionExtension)
post | this.actionFactory == &new ActionFactory(init#1 )
post | this.securityTokenValidator == &new SecurityTokenValidator(init#2)
post | new ActionFactory(init#1) num objects == 1
post | new HashMap(ActionFactory#1) num objects == 1
post | new SecurityTokenValidator(init#2) num objects == 1
post | init'ed(this.actionFactory.actionMappingFileName)
post | this.actionFactory.actions == &new HashMap(ActionFactory#1)
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getClassLoader
unanalyzed | call on java.lang.ClassLoader:getResourceAsStream
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:load
unanalyzed | call on java.util.Properties:propertyNames
unanalyzed | call on java.util.Enumeration:hasMoreElements
unanalyzed | call on java.util.Enumeration:nextElement
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on java.util.HashMap

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

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

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

method | bool isUserInRole(HttpServletRequest, SecureAction)
pre | action != null
pre | request != null
presumption | Local_9[Local_7]@183 != null
presumption | getRoles(...)@183 != null
presumption | roles.length@183 <= 232-1
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals
test_vector | java.lang.String:equals(...)@185: {0}, {1}
test_vector | net.sourceforge.pebble.domain.Blog:isUserInRole(... )@190: {0}, {1}

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

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

method | void doGet(HttpServletRequest, HttpServletResponse )

| info | method not available | -- call on void processRequest(HttpServletRequest, HttpServletResponse)

method | void doPost(HttpServletRequest, HttpServletRespons e)

| info | method not available | -- call on void processRequest(HttpServletRequest, HttpServletResponse)