## advancedsearchaction.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- void addTerm(StringBuffer, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) query != null | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:length(...)@87: {0}, {1..232-1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.StringBuffer:length(...)@88: {-231..0}, {1..232-1} | 2010-07-22 12:56:56
+ | test_vector | value: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- void addTerms(StringBuffer, String, String[])

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(terms[...]) | 2010-07-22 12:56:56
+ | pre | (soft) query != null | 2010-07-22 12:56:56
+ | pre | (soft) terms.length <= 232-1 | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | test_vector | terms: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

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

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- net.sourceforge.pebble.web.action.AdvancedSearchAction__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- - View process(HttpServletRequest, HttpServletResponse)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- + View process(HttpServletRequest, HttpServletResponse)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | request != null | 2010-07-22 12:56:56
+ | presumption | javax.servlet.http.HttpServletRequest:getAttribute( ...)@61 != null | 2010-07-22 12:56:56
+ | presumption | javax.servlet.http.HttpServletRequest:getParameterV alues(...).length@66 <= 232-1 | 2010-07-22 12:56:56
+ | presumption | s.length@71 <= 232-1 | 2010-07-22 12:56:56
+ | presumption | s[i]@71 != null | 2010-07-22 12:56:56
+ | post | new ForwardView(process#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ForwardView(process#2) | 2010-07-22 12:56:56
+ | post | return_value.uri != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.web.view.View | 2010-07-22 12:56:56
+ | test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@69: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56