| method | void org.apache.roller.weblogger.business.startup. SQLScriptRunner(InputStream) |
| pre | log != null |
| post | this.commands == &new ArrayList(SQLScriptRunner #1) |
| post | this.errors == 0 |
| post | this.failed == 0 |
| post | this.messages == &new ArrayList(SQLScriptRunner #2) |
| post | new ArrayList(SQLScriptRunner#1) num objects == 1 |
| post | new ArrayList(SQLScriptRunner#2) num objects == 1 |
| unanalyzed | call on java.util.List:add |
| test_vector | java.io.BufferedReader:readLine(...)@60: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:endsWith(...)@73: {0}, {1} |
| test_vector | java.lang.String:indexOf(...)@66: {-231.. 0}, {1..232-1} |
| test_vector | java.lang.String:startsWith(...)@64: {1}, {0} |
| method | void org.apache.roller.weblogger.business.startup. SQLScriptRunner(String) |
| pre | log != null |
| post | this.commands == &new ArrayList(SQLScriptRunner #1) |
| post | this.errors == 0 |
| post | this.failed == 0 |
| post | this.messages == &new ArrayList(SQLScriptRunner #2) |
| post | new ArrayList(SQLScriptRunner#1) num objects == 1 |
| post | new ArrayList(SQLScriptRunner#2) num objects == 1 |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.io.InputStreamReader |
| unanalyzed | call on java.io.BufferedReader |
| unanalyzed | call on java.io.BufferedReader:readLine |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:endsWith |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.io.BufferedReader:close |