Messages

method | net.sourceforge.pebble.util.CookieUtils__static_ init

method | void net.sourceforge.pebble.util.CookieUtils()

method | Cookie getCookie(Cookie[], String)
pre | (soft) cookies.length <= 232-1
pre | (soft) cookies[...] != null
presumption | javax.servlet.http.Cookie:getName(...)@58 != null
post | init'ed(return_value)
test_vector | cookies: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:equals(...)@58: {0}, {1}

method | void addCookie(HttpServletResponse, String, String, int)
pre | response != null

method | void removeCookie(HttpServletResponse, String)
pre | response != null
unanalyzed | call on javax.servlet.http.Cookie
unanalyzed | call on javax.servlet.http.Cookie:setMaxAge
unanalyzed | call on javax.servlet.http.HttpServletResponse:addC ookie