Messages

Last Msg First Msg

method

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

method	org.apache.roller.weblogger.ui.struts2.editor. Resources__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.ui.struts2. editor.Resources()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.actionName == &"resources"
post	this.deleteIds == null
post	this.newDir == null
post	this.path == null
post	this.uploadedFiles == null
post	this.uploadedFilesContentType == null
post	this.uploadedFilesFileName == null
post	this.desiredMenu == &"editor"
post	this.files == java.util.Collections.EMPTY_LIST
post	(soft) init'ed(this.files)
post	this.overQuota == 0
post	this.totalSize == 0
post	this.pageTitle == &"uploadFiles.title"

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.util.UIAction()

method	short requiredWeblogPermissions()
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR
post	(soft) init'ed(return_value)

method	String execute()
pre	log != null
pre	(soft) init'ed(this.path)
presumption	org.apache.roller.weblogger.business. FileManager:getFiles(...)@101 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@94 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@94 != null
presumption	org.apache.roller.weblogger.ui.struts2.editor. Resources:getActionWeblog(...)@120 != null
presumption	resources.length@101 <= 2³²-1
post	return_value == &"list"
post	this.files == One-of{&new ArrayList(execute#2), old this.files}
post	init'ed(this.overQuota)
post	possibly_updated(this.totalSize)
post	new ArrayList(execute#2) num objects <= 1
test_vector	this.path: Inverse{null}, Addr_Set{null}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Resources:getActionWeblog()

info method not available -- call on bool org.apache.roller.weblogger. business.FileManager:overQuota(Weblog)

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Resources:getActionWeblog()

info method not available -- call on ThemeResource[] org.apache.roller. weblogger.business.FileManager:getFiles(Weblog, String)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires not_init'ed(resources[i] )

info method not available -- call on long org.apache.roller.weblogger.pojos. ThemeResource:getLength()

Prev Msg Next Msg

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Resources:getActionWeblog()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String)

method	String createSubdir()
pre	log != null
pre	init'ed(this.newDir)
pre	init'ed(this.path)
presumption	org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@149 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@149 != null
post	return_value == &"list"
post	this.files == One-of{&new ArrayList(execute#2), old this.files}
post	this.newDir == One-of{null, old this.newDir}
post	init'ed(this.newDir)
post	init'ed(this.overQuota)
post	possibly_updated(this.totalSize)
post	new ArrayList(execute#2) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getFileManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Resources:getActionWeblog
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:overQuota
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:getFiles
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeResource:getLength
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:getDirectories
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Resources:addError
test_vector	this.newDir: Addr_Set{null}, Inverse{null}
test_vector	this.path: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:indexOf(...)@136: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:length(...)@136: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@144: {0}, {1..2³²-1}

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Resources:getActionWeblog()

info method not available -- call on void org.apache.roller.weblogger. business.FileManager:createDirectory(Weblog, String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addMessage(String, String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String, String)

method	String upload()
pre	log != null
pre	(soft) init'ed(this.path)
pre	(soft) init'ed(this.uploadedFiles)
pre	(soft) this.uploadedFiles.length <= 2³²-1
pre	(soft) this.uploadedFilesContentType != null
pre	(soft) this.uploadedFilesContentType.length >= 1
pre	(soft) this.uploadedFiles.length <= this.uploadedFilesContentType.length
pre	(soft) init'ed(this.uploadedFilesContentType[...])
pre	(soft) this.uploadedFilesFileName != null
pre	(soft) this.uploadedFilesFileName.length >= 1
pre	(soft) this.uploadedFiles.length <= this.uploadedFilesFileName.length
pre	(soft) this.uploadedFilesFileName[...] != null
pre	(soft) init'ed(this.uploadedFiles[...])
presumption	org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@185 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@250 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@185 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@250 != null
post	return_value == &"list"
post	this.files == One-of{&new ArrayList(execute#2), old this.files}
post	init'ed(this.overQuota)
post	possibly_updated(this.totalSize)
post	new ArrayList(execute#2) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getFileManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Resources:getActionWeblog
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:overQuota
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:getFiles
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeResource:getLength
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:getDirectories
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Resources:addError
test_vector	this.path: Addr_Set{null}, Inverse{null}
test_vector	this.uploadedFiles: Addr_Set{null}, Inverse{null}
test_vector	this.uploadedFiles.length: {0}, {1..2³²-1}
test_vector	this.uploadedFiles[...]: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:indexOf(...)@200: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@207: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:indexOf(...)@207: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:length(...)@215: {0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@249: {0}, {1}
test_vector	java.util.List:size(...)@246: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@180: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String, String)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addMessage(String)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Resources:getActionWeblog()

info method not available -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogResourceURL(Weblog, String, bool)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addMessage(String, String)

method	String remove()
pre	log != null
pre	init'ed(this.deleteIds)
pre	(soft) this.deleteIds.length <= 2³²-1
pre	(soft) this.deleteIds[...] != null
pre	(soft) init'ed(this.path)
presumption	org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@269 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@269 != null
post	return_value == &"list"
post	this.files == One-of{&new ArrayList(execute#2), old this.files}
post	init'ed(this.overQuota)
post	possibly_updated(this.totalSize)
post	new ArrayList(execute#2) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getFileManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Resources:getActionWeblog
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:overQuota
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:getFiles
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeResource:getLength
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.business. FileManager:getDirectories
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Resources:addError
test_vector	this.deleteIds: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:indexOf(...)@271: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:startsWith(...)@271: {1}, {0}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addError(String, String)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Resources:addMessage(String, String)

method	String getResourceURL(String)
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@302 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@302 != null
post	init'ed(return_value)

method	String getPath()
pre	init'ed(this.path)
post	return_value == this.path
post	init'ed(return_value)

method	void setPath(String)
post	this.path == One-of{old this.path, path}
test_vector	path: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@311: {1}, {0}
test_vector	java.lang.String:length(...)@311: {0}, {1..2³²-1}

method	String getNewDir()
pre	init'ed(this.newDir)
post	return_value == this.newDir
post	init'ed(return_value)

method	void setNewDir(String)
post	this.newDir == newDir
post	init'ed(this.newDir)

method	String[] getDeleteIds()
pre	init'ed(this.deleteIds)
post	return_value == this.deleteIds
post	init'ed(return_value)

method	void setDeleteIds(String[])
post	this.deleteIds == deleteIds
post	init'ed(this.deleteIds)

method	List getFiles()
pre	init'ed(this.files)
post	return_value == this.files
post	init'ed(return_value)

method	void setFiles(List)
post	this.files == files
post	init'ed(this.files)

method	bool isOverQuota()
pre	init'ed(this.overQuota)
post	return_value == this.overQuota
post	init'ed(return_value)

method	void setOverQuota(bool)
post	this.overQuota == overQuota
post	init'ed(this.overQuota)

method	long getTotalSize()
pre	init'ed(this.totalSize)
post	return_value == this.totalSize
post	init'ed(return_value)

method	void setTotalSize(long)
post	this.totalSize == totalSize
post	init'ed(this.totalSize)

method	File[] getUploadedFiles()
pre	init'ed(this.uploadedFiles)
post	return_value == this.uploadedFiles
post	init'ed(return_value)

method	void setUploadedFiles(File[])
post	this.uploadedFiles == uploadedFiles
post	init'ed(this.uploadedFiles)

method	String[] getUploadedFilesContentType()
pre	init'ed(this.uploadedFilesContentType)
post	return_value == this.uploadedFilesContentType
post	init'ed(return_value)

method	void setUploadedFilesContentType(String[])
post	this.uploadedFilesContentType == uploadedFilesConte ntType
post	init'ed(this.uploadedFilesContentType)

method	String[] getUploadedFilesFileName()
pre	init'ed(this.uploadedFilesFileName)
post	return_value == this.uploadedFilesFileName
post	init'ed(return_value)

method	void setUploadedFilesFileName(String[])
post	this.uploadedFilesFileName == uploadedFilesFileName
post	init'ed(this.uploadedFilesFileName)

method

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

method	int compare(Object, Object)
pre	o1 != null
pre	(soft) o2 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@391 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@400 != null
post	init'ed(return_value)
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@389: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@392: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@395: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.pojos. ThemeResource:isDirectory()

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeResource:getPath()

info method not available -- call on bool org.apache.roller.weblogger.pojos. ThemeResource:isDirectory()

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeResource:getPath()

method	bool equals(Object, Object)
pre	o1 != null
pre	o2 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@414 != null
post	init'ed(return_value)
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@408: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isF ile(...)@408: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isF ile(...)@408: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.pojos. ThemeResource:isDirectory()

info method not available -- call on bool org.apache.roller.weblogger.pojos. ThemeResource:isFile()

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeResource:getPath()

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()

	info	method not available	-- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Resources:getActionWeblog()
	info	method not available	-- call on bool org.apache.roller.weblogger. business.FileManager:overQuota(Weblog)