FileManagerImpl.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

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


  • + bool accept(File)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool accept(File)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool canSave(Weblog, String, String, long, RollerMessages)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.upload_dir)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) messages != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null2009-09-04 18:33:31
    +pre(soft) path != null2009-09-04 18:33:31
    +pre(soft) weblog != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/config/WebloggerRuntime Config.log != null2009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@366*1024000) in -231..232-12009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@377*1024000) in -263.. 264-12009-09-04 18:33:31
    +presumptionallowFiles.length@394 <= 232-12009-09-04 18:33:31
    +presumptionforbidFiles.length@395 <= 232-12009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getDirSize2009-09-04 18:33:31
    +unanalyzedcall on getPropertiesManager2009-09-04 18:33:31
    +unanalyzedcall on getProperty2009-09-04 18:33:31
    +unanalyzedcall on getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:length2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:endsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toLowerCase2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:get2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:set2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:find2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:getTransact ion2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:begin2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:isActiv e2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@402: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31

  • + bool checkFileType(String[], String[], String, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) allowFiles.length <= 232-12009-09-04 18:33:31
    +pre(soft) allowFiles[...] != null2009-09-04 18:33:31
    +pre(soft) fileName != null2009-09-04 18:33:31
    +pre(soft) forbidFiles.length <= 232-12009-09-04 18:33:31
    +pre(soft) forbidFiles[...] != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +test_vectorallowFiles.length: {1..232-1}, {0}2009-09-04 18:33:31
    +test_vectorallowFiles: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorcontentType: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorforbidFiles.length: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorforbidFiles: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@476: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@503: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@456: {-231. .-2, 0..232-1}, {-1}2009-09-04 18:33:31

  • + void createDirectory(Weblog, String)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +prepath != null2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumptioninit'ed(java.io.File.separator)2009-09-04 18:33:31
    +presumptionjava.io.File:getCanonicalPath(...)@243 != null2009-09-04 18:33:31
    +presumptionjava.io.File:mkdir(...)@253 == 12009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@227 == -12009-09-04 18:33:31
    +presumptionjava.lang.String:startsWith(...)@243 == 12009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +test_vectorjava.io.File:canRead(...)@236: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:exists(...)@236: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:isDirectory(...)@236: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@223: {0}, {1}2009-09-04 18:33:31

  • + void deleteAllFiles(File)

    • -/+ Kind Annotation Text Date
    +predir != null2009-09-04 18:33:31
    +presumptiondirFiles.length@302 <= 232-12009-09-04 18:33:31
    +unanalyzedcall on deleteAllFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:delete2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +test_vectordirFiles.length@302: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.io.File:isDirectory(...)@305: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:listFiles(...)@302: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void deleteAllFiles(Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.upload_dir)2009-09-04 18:33:31
    +pre(soft) weblog != null2009-09-04 18:33:31
    +unanalyzedcall on deleteAllFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:delete2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31

  • + void deleteFile(Weblog, String)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumptionjava.io.File:delete(...)@270 == 12009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31

  • + ThemeResource[] getChildren()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.relativePath)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblog)2009-09-04 18:33:31
    +prethis.resourceFile != null2009-09-04 18:33:31
    +presumptiondirFiles.length@643 <= 232-12009-09-04 18:33:31
    +presumptionjava.io.File:listFiles(...)@643 != null2009-09-04 18:33:31
    +post(soft) init'ed(new FileManagerImpl$WeblogResourceFi le(getChildren#4).weblog)2009-09-04 18:33:31
    +post(soft) new ThemeResource[](getChildren#2).length <= 232-12009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getChildren# 4) num objects <= 232-12009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getChildren# 4).resourceFile == null2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getChildren# 4).weblog == this.weblog2009-09-04 18:33:31
    +postnew ThemeResource[](getChildren#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(new FileManagerImpl$WeblogResource File(getChildren#4).relativePath)2009-09-04 18:33:31
    +postpossibly_updated(new ThemeResource[](getChildren#2) [...])2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&new ThemeResource[](getChildren#2)}2009-09-04 18:33:31
    +test_vectorjava.io.File:isDirectory(...)@638: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@653: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.relativePath: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + long getDirSize(File, bool)

    • -/+ Kind Annotation Text Date
    +predir != null2009-09-04 18:33:31
    +presumptionfiles.length@424 <= 232-12009-09-04 18:33:31
    +presumptionjava.io.File:listFiles(...)@424 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getDirSize2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:length2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +test_vectorjava.io.File:canRead(...)@423: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:exists(...)@423: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:isDirectory(...)@423: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:isDirectory(...)@427: {1}, {0}2009-09-04 18:33:31
    +test_vectorrecurse: {0}, {1}2009-09-04 18:33:31

  • + ThemeResource[] getDirectories(Weblog)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumptiondirFiles.length@121 <= 232-12009-09-04 18:33:31
    +presumptionjava.io.File:listFiles(...)@121 != null2009-09-04 18:33:31
    +post(soft) new FileManagerImpl$WeblogResourceFile(getDi rectories#3) num objects <= 232-12009-09-04 18:33:31
    +post(soft) new FileManagerImpl$WeblogResourceFile(getDi rectories#3) num objects == dirFiles.length@1212009-09-04 18:33:31
    +post(soft) return_value.length <= 232-12009-09-04 18:33:31
    +postinit'ed(new FileManagerImpl$WeblogResourceFile(getD irectories#3).relativePath)2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getDirectori es#3).resourceFile == null2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getDirectori es#3).weblog != null2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getDirectori es#3).weblog == weblog2009-09-04 18:33:31
    +postnew ThemeResource[](getDirectories#2) num objects == 12009-09-04 18:33:31
    +postpossibly_updated(return_value[...])2009-09-04 18:33:31
    +postreturn_value == &new ThemeResource[](getDirecto ries#2)2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31

  • + ThemeResource getFile(Weblog, String)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumptionjava.io.File:isDirectory(...)@79 == 02009-09-04 18:33:31
    +postinit'ed(new FileManagerImpl$WeblogResourceFile(getF ile#3).relativePath)2009-09-04 18:33:31
    +postnew File(getRealFile#6) num objects == 12009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getFile#3) num objects == 12009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getFile#3). relativePath == path2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getFile#3). resourceFile == &new File(getRealFile#6)2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getFile#3). weblog != null2009-09-04 18:33:31
    +postnew FileManagerImpl$WeblogResourceFile(getFile#3). weblog == weblog2009-09-04 18:33:31
    +postreturn_value == &new FileManagerImpl$WeblogReso urceFile(getFile#3)2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31

  • + ThemeResource[] getFiles(Weblog, String)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumptionjava.io.File:isDirectory(...)@99 == 12009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31

  • + InputStream getInputStream()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.resourceFile)2009-09-04 18:33:31
    +postnew FileInputStream(getInputStream#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new FileInputStream(getInputSt ream#1)2009-09-04 18:33:31

  • + long getLastModified()

    • -/+ Kind Annotation Text Date
    +prethis.resourceFile != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + long getLength()

    • -/+ Kind Annotation Text Date
    +prethis.resourceFile != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getName()

    • -/+ Kind Annotation Text Date
    +prethis.resourceFile != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getPath()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.relativePath)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.relativePath2009-09-04 18:33:31

  • + File getRealFile(Weblog, String)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumptioninit'ed(java.io.File.separator)2009-09-04 18:33:31
    +presumptioninit'ed(java.io.File.separatorChar)2009-09-04 18:33:31
    +presumptionjava.io.File:canRead(...)@584 == 12009-09-04 18:33:31
    +presumptionjava.io.File:exists(...)@581 == 12009-09-04 18:33:31
    +presumptionjava.io.File:getCanonicalPath(...)@591 != null2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@563 - java.lang.String:lastIndexOf(...)@563 in 0..6_442_450_9432009-09-04 18:33:31
    +presumptionjava.lang.String:startsWith(...)@591 == 12009-09-04 18:33:31
    +postnew File(getRealFile#6) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new File(getRealFile#6)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +test_vectorjava.io.File:exists(...)@551: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@557: {0}, {1}2009-09-04 18:33:31
    +test_vectorpath: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Weblog getWeblog()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.weblog)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.weblog2009-09-04 18:33:31

  • + bool isDirectory()

    • -/+ Kind Annotation Text Date
    +prethis.resourceFile != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool isFile()

    • -/+ Kind Annotation Text Date
    +prethis.resourceFile != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool matchContentType(String, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) contentType != null2009-09-04 18:33:31
    +prerangeRule != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@532: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@533: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@536: {0}, {1}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.FileManagerImpl$1(FileManagerImpl)

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.business.FileManagerImpl$1__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.business.FileManagerImpl$WeblogResourceFile$1(FileManagerImpl$WeblogResourceFile)

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.business.FileManagerImpl$WeblogResourceFile$1__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.business.FileManagerImpl$WeblogResourceFile(FileManagerImpl, Weblog, String, File)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.relativePath)2009-09-04 18:33:31
    +postinit'ed(this.resourceFile)2009-09-04 18:33:31
    +postinit'ed(this.weblog)2009-09-04 18:33:31
    +postthis.relativePath == path2009-09-04 18:33:31
    +postthis.resourceFile == file2009-09-04 18:33:31
    +postthis.weblog == weblog2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.FileManagerImpl$WeblogResourceFile__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.business.FileManagerImpl()

    • -/+ Kind Annotation Text Date
    +preorg/apache/roller/weblogger/config/WebloggerConfig. config != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/config/WebloggerConfig. log != null2009-09-04 18:33:31
    +presumptioninit'ed(java.io.File.separator)2009-09-04 18:33:31
    +presumptioninit'ed(java.io.File.separatorChar)2009-09-04 18:33:31
    +postthis.upload_dir != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.Properties:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@62: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@59: {1.. 232-1}, {0}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.FileManagerImpl__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + bool overQuota(Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null2009-09-04 18:33:31
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/config/WebloggerRuntime Config.log != null2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@329*1024000) in -263.. 264-12009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getDirSize2009-09-04 18:33:31
    +unanalyzedcall on getPropertiesManager2009-09-04 18:33:31
    +unanalyzedcall on getProperty2009-09-04 18:33:31
    +unanalyzedcall on getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:length2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:get2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:set2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:find2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:getTransact ion2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:begin2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:isActiv e2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31

  • + void release()

    • -/+ Kind Annotation Text Date

  • + void saveFile(Weblog, String, String, long, InputStream)

    • -/+ Kind Annotation Text Date
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null2009-09-04 18:33:31
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preis != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +prepath != null2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +unanalyzedcall on getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on getDirSize2009-09-04 18:33:31
    +unanalyzedcall on getPropertiesManager2009-09-04 18:33:31
    +unanalyzedcall on getProperty2009-09-04 18:33:31
    +unanalyzedcall on getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:length2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdir2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.io.FileOutputStream2009-09-04 18:33:31
    +unanalyzedcall on java.io.InputStream:read2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:flush2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:write2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.RuntimeException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:endsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toLowerCase2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:get2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:set2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.math.BigDecimal2009-09-04 18:33:31
    +unanalyzedcall on java.math.BigDecimal:doubleValue2009-09-04 18:33:31
    +unanalyzedcall on java.math.BigDecimal:toString2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:find2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:getTransact ion2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:begin2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:isActiv e2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:deleteW hitespace2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. RollerMessages2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. RollerMessages:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. RollerMessages:toString2009-09-04 18:33:31

  • + void saveFile(Weblog, String, String, long, InputStream, bool)

    • -/+ Kind Annotation Text Date
    +pre(soft) contentType init'ed2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null2009-09-04 18:33:31
    +preinit'ed(this.upload_dir)2009-09-04 18:33:31
    +preis != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +prepath != null2009-09-04 18:33:31
    +preweblog != null2009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@366*1024000) - size in range2009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@366*1024000) < size | canSave(...) == 0 | (int) (java.math.BigDecimal:doubleValue(... )@377*1024000) < size + canSave(...) | checkFileType(...) != 02009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@366*1024000) < size | canSave(...) == 0 | (int) (java.math.BigDecimal:doubleValue(... )@377*1024000) < size + canSave(...) | checkFileType(...) == 0 | java.lang. String:indexOf(...)@402 == -1 | java.lang....2009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@366*1024000) < size | canSave(...) == 0 | size + canSave(...) <= (int) (java.math.BigDecimal:double Value(...)@377*1024000)2009-09-04 18:33:31
    +presumption(int) (java.math.BigDecimal:doubleValue(... )@366*1024000) in range2009-09-04 18:33:31
    +presumption(size + canSave(...)) - (int) (java.math. BigDecimal:doubleValue(...)@377*1024000) in range2009-09-04 18:33:31
    +presumptioninit'ed(java.io.File.separator)2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@456 in range2009-09-04 18:33:31
    +presumptionsize <= (int) (java.math.BigDecimal:doubleValue(... )@366*1024000) | canSave(...) == 02009-09-04 18:33:31
    +presumptiontrue2009-09-04 18:33:31
    +unanalyzedcall on getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on getDirSize2009-09-04 18:33:31
    +unanalyzedcall on getPropertiesManager2009-09-04 18:33:31
    +unanalyzedcall on getProperty2009-09-04 18:33:31
    +unanalyzedcall on getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on java.io.File2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:canRead2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:exists2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getAbsolutePath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:getCanonicalPath2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:isDirectory2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:length2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:listFiles2009-09-04 18:33:31
    +unanalyzedcall on java.io.File:mkdirs2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.RuntimeException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:endsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:lastIndexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replace2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toLowerCase2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:get2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:set2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.math.BigDecimal2009-09-04 18:33:31
    +unanalyzedcall on java.math.BigDecimal:doubleValue2009-09-04 18:33:31
    +unanalyzedcall on java.math.BigDecimal:toString2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:find2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:getTransact ion2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:begin2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:isActiv e2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:deleteW hitespace2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. RollerMessages:addError2009-09-04 18:33:31
    +test_vectorcheckCanSave: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.io.File:exists(...)@180: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.io.InputStream:read(...)@195: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@177: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@163: {0}, {1}2009-09-04 18:33:31