| method | String getContentType() |
| pre | init'ed(this.servletContext) |
| pre | (soft) net/sourceforge/pebble/util/FileUtils. localFileNameMap != null |
| pre | (soft) this.file != null |
| presumption | java.io.File:getName(...)@78 != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.net.URLConnection:getFileNameMap |
| unanalyzed | call on java.net.FileNameMap:getContentTypeFor |
| unanalyzed | call on java.lang.String:lastIndexOf |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.util.Properties:getProperty |
| test_vector | this.servletContext: Addr_Set{null}, Inverse{null} |