| method | Properties getTaskProperties() |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null |
| pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null |
| presumption | java.util.Enumeration:nextElement(...)@129 != null |
| presumption | java.util.Properties:keys(...)@205 != null |
| post | return_value == &new Properties(getTaskProperti es#2) |
| post | new Properties(getTaskProperties#2) num objects == 1 |
| unanalyzed | call on java.util.Properties:keys |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Properties:getProperty |
| test_vector | java.lang.String:startsWith(...)@131: {0}, {1} |
| test_vector | java.util.Enumeration:hasMoreElements(...)@128: {0}, {1} |