Messages

method | net.sourceforge.pebble.web.security. SecurityTokenValidator__static_init
post | random == &new SecureRandom(SecurityTokenValida tor__static_init#1)
post | new SecureRandom(SecurityTokenValidator__static_ init#1) num objects == 1

method | void net.sourceforge.pebble.web.security. SecurityTokenValidator()

method | bool validateSecurityToken(HttpServletRequest, HttpServletResponse, Action)
pre | action != null
pre | (soft) request != null
presumption | ensureSecurityTokenExists(...)@79 != null
post | init'ed(return_value)
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getAnnotation
unanalyzed | call on value
unanalyzed | call on java.lang.Class:newInstance
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on shouldValidate
unanalyzed | call on java.lang.RuntimeException
test_vector | java.lang.String:equals(...)@83: {0}, {1}

| info | method not available | -- call on String ensureSecurityTokenExists(HttpSer vletRequest, HttpServletResponse)

method | bool shouldValidate(Action, HttpServletRequest)
pre | action != null
presumption | java.lang.Object:getClass(...)@97 != null
post | init'ed(return_value)
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
test_vector | java.lang.Class:getAnnotation(...)@97: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on Class value()

| info | method not available | -- call on bool shouldValidate(HttpServletRequest)