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