Messages

method

net.sourceforge.pebble.web.action.AdvancedSearchAc tion__static_init

method

void net.sourceforge.pebble.web.action. AdvancedSearchAction()

method	View process(HttpServletRequest, HttpServletRespon se)
pre	request != null
presumption	javax.servlet.http.HttpServletRequest:getAttribute( ...)@61 != null
presumption	javax.servlet.http.HttpServletRequest:getParameterV alues(...).length@66 <= 2³²-1
presumption	s.length@71 <= 2³²-1
presumption	s[i]@71 != null
post	return_value == &new ForwardView(process#2)
post	new ForwardView(process#2) num objects == 1
post	return_value.uri != null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on net.sourceforge.pebble.web.view.View
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@69: Addr_Set{null}, Inverse{null}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getCharacterEncoding()

method	void addTerm(StringBuffer, String, String)
pre	(soft) query != null
test_vector	value: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@87: {0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@88: {-2³¹..0}, {1..2³²-1}

method	void addTerms(StringBuffer, String, String[])
pre	(soft) query != null
pre	(soft) terms.length <= 2³²-1
pre	(soft) init'ed(terms[...])
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:valueOf
test_vector	terms: Addr_Set{null}, Inverse{null}