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 <= 232-1
presumption | s.length@71 <= 232-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..232-1}
test_vector | java.lang.StringBuffer:length(...)@88: {-231..0}, {1..232-1}

method | void addTerms(StringBuffer, String, String[])
pre | (soft) query != null
pre | (soft) terms.length <= 232-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}