Resources.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


  • + int compare(Object, Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) o2 != null2009-09-04 18:33:31
    +preo1 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@391 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@400 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@389: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@392: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@395: {0}, {1}2009-09-04 18:33:31

  • + String createSubdir()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.newDir)2009-09-04 18:33:31
    +preinit'ed(this.path)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@149 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@149 != null2009-09-04 18:33:31
    +postinit'ed(this.newDir)2009-09-04 18:33:31
    +postinit'ed(this.overQuota)2009-09-04 18:33:31
    +postnew ArrayList(execute#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(this.totalSize)2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.files == One-of{&new ArrayList(execute#2), old this.files}2009-09-04 18:33:31
    +postthis.newDir == One-of{null, old this.newDir}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Collections:sort2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:addAll2009-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:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getDirectories2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getFiles2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:overQuota2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getFileManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLength2009-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.ui.struts2. editor.Resources:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Resources:getActionWeblog2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@136: {-231. .-2, 0..232-1}, {-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@136: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@144: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorthis.newDir: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.path: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool equals(Object, Object)

    • -/+ Kind Annotation Text Date
    +preo1 != null2009-09-04 18:33:31
    +preo2 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@414 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@408: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.ThemeResource:isF ile(...)@408: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.ThemeResource:isF ile(...)@408: {1}, {0}2009-09-04 18:33:31

  • + String execute()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.path)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. FileManager:getFiles(...)@101 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@94 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@94 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.ui.struts2.editor. Resources:getActionWeblog(...)@120 != null2009-09-04 18:33:31
    +presumptionresources.length@101 <= 232-12009-09-04 18:33:31
    +postinit'ed(this.overQuota)2009-09-04 18:33:31
    +postnew ArrayList(execute#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(this.totalSize)2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.files == One-of{&new ArrayList(execute#2), old this.files}2009-09-04 18:33:31
    +test_vectorthis.path: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String[] getDeleteIds()

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

  • + List getFiles()

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

  • + String getNewDir()

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

  • + String getPath()

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

  • + String getResourceURL(String)

    • -/+ Kind Annotation Text Date
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@302 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@302 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + long getTotalSize()

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

  • + File[] getUploadedFiles()

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

  • + String[] getUploadedFilesContentType()

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

  • + String[] getUploadedFilesFileName()

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

  • + bool isOverQuota()

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

  • + void org.apache.roller.weblogger.ui.struts2.editor.Resources$WeblogResourceComparator(Resources)

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.ui.struts2.editor.Resources$WeblogResourceComparator__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.ui.struts2.editor.Resources()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +post(soft) init'ed(this.files)2009-09-04 18:33:31
    +postthis.actionName == &"resources"2009-09-04 18:33:31
    +postthis.deleteIds == null2009-09-04 18:33:31
    +postthis.desiredMenu == &"editor"2009-09-04 18:33:31
    +postthis.files == java.util.Collections.EMPTY_LIST2009-09-04 18:33:31
    +postthis.newDir == null2009-09-04 18:33:31
    +postthis.overQuota == 02009-09-04 18:33:31
    +postthis.pageTitle == &"uploadFiles.title"2009-09-04 18:33:31
    +postthis.path == null2009-09-04 18:33:31
    +postthis.totalSize == 02009-09-04 18:33:31
    +postthis.uploadedFiles == null2009-09-04 18:33:31
    +postthis.uploadedFilesContentType == null2009-09-04 18:33:31
    +postthis.uploadedFilesFileName == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.struts2.editor.Resources__static_init

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

  • + String remove()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.path)2009-09-04 18:33:31
    +pre(soft) this.deleteIds.length <= 232-12009-09-04 18:33:31
    +pre(soft) this.deleteIds[...] != null2009-09-04 18:33:31
    +preinit'ed(this.deleteIds)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@269 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@269 != null2009-09-04 18:33:31
    +postinit'ed(this.overQuota)2009-09-04 18:33:31
    +postnew ArrayList(execute#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(this.totalSize)2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.files == One-of{&new ArrayList(execute#2), old this.files}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Collections:sort2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:addAll2009-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:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getDirectories2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getFiles2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:overQuota2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getFileManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLength2009-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.ui.struts2. editor.Resources:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Resources:getActionWeblog2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@271: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@271: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.deleteIds: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + short requiredWeblogPermissions()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR2009-09-04 18:33:31

  • + void setDeleteIds(String[])

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.deleteIds)2009-09-04 18:33:31
    +postthis.deleteIds == deleteIds2009-09-04 18:33:31

  • + void setFiles(List)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.files)2009-09-04 18:33:31
    +postthis.files == files2009-09-04 18:33:31

  • + void setNewDir(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.newDir)2009-09-04 18:33:31
    +postthis.newDir == newDir2009-09-04 18:33:31

  • + void setOverQuota(bool)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.overQuota)2009-09-04 18:33:31
    +postthis.overQuota == overQuota2009-09-04 18:33:31

  • + void setPath(String)

    • -/+ Kind Annotation Text Date
    +postthis.path == One-of{old this.path, path}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@311: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@311: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorpath: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void setTotalSize(long)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.totalSize)2009-09-04 18:33:31
    +postthis.totalSize == totalSize2009-09-04 18:33:31

  • + void setUploadedFiles(File[])

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.uploadedFiles)2009-09-04 18:33:31
    +postthis.uploadedFiles == uploadedFiles2009-09-04 18:33:31

  • + void setUploadedFilesContentType(String[])

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.uploadedFilesContentType)2009-09-04 18:33:31
    +postthis.uploadedFilesContentType == uploadedFilesConte ntType2009-09-04 18:33:31

  • + void setUploadedFilesFileName(String[])

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.uploadedFilesFileName)2009-09-04 18:33:31
    +postthis.uploadedFilesFileName == uploadedFilesFileName 2009-09-04 18:33:31

  • + String upload()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.path)2009-09-04 18:33:31
    +pre(soft) init'ed(this.uploadedFiles)2009-09-04 18:33:31
    +pre(soft) init'ed(this.uploadedFilesContentType[...])2009-09-04 18:33:31
    +pre(soft) init'ed(this.uploadedFiles[...])2009-09-04 18:33:31
    +pre(soft) this.uploadedFiles.length <= 232-12009-09-04 18:33:31
    +pre(soft) this.uploadedFiles.length <= this.uploadedFilesContentType.length2009-09-04 18:33:31
    +pre(soft) this.uploadedFiles.length <= this.uploadedFilesFileName.length2009-09-04 18:33:31
    +pre(soft) this.uploadedFilesContentType != null2009-09-04 18:33:31
    +pre(soft) this.uploadedFilesContentType.length >= 12009-09-04 18:33:31
    +pre(soft) this.uploadedFilesFileName != null2009-09-04 18:33:31
    +pre(soft) this.uploadedFilesFileName.length >= 12009-09-04 18:33:31
    +pre(soft) this.uploadedFilesFileName[...] != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@185 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@250 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@185 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@250 != null2009-09-04 18:33:31
    +postinit'ed(this.overQuota)2009-09-04 18:33:31
    +postnew ArrayList(execute#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(this.totalSize)2009-09-04 18:33:31
    +postreturn_value == &"list"2009-09-04 18:33:31
    +postthis.files == One-of{&new ArrayList(execute#2), old this.files}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Collections:sort2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:addAll2009-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:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getDirectories2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getFiles2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. FileManager:overQuota2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getFileManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLength2009-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.ui.struts2. editor.Resources:addError2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.struts2. editor.Resources:getActionWeblog2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@200: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@207: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@207: {-231. .-2, 0..232-1}, {-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@215: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@249: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.List:size(...)@246: {-231..0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@180: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.path: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.uploadedFiles.length: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorthis.uploadedFiles: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.uploadedFiles[...]: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31