Messages

method	org.apache.roller.weblogger.ui.struts2.editor. BookmarksImport__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.BookmarksImport()
post	this.actionName == &"bookmarksImport"
post	this.desiredMenu == &"editor"
post	this.opmlFile == null
post	this.opmlFileContentType == null
post	this.opmlFileFileName == null
post	this.pageTitle == &"bookmarksImport.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()
post	return_value == &"input"

method	String save()
pre	init'ed(this.opmlFile)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@79 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@104 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@79 != null
post	return_value in Addr_Set{&"success", &"input"}
test_vector	this.opmlFile: Addr_Set{null}, Inverse{null}
test_vector	java.io.File:exists(...)@82: {0}, {1}
test_vector	java.io.File:length(...)@85: {4_096_000.. 2⁶⁴-1}, {-9_223_372_036_854_77 5_808..4_095_999}
test_vector	java.io.InputStream:read(...)@92: {-1}, {-2³¹..-2, 0..2³²-1}

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

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

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

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

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

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

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarksImport: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.BookmarksImport:addError(String, String)

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

method	File getOpmlFile()
pre	init'ed(this.opmlFile)
post	return_value == this.opmlFile
post	init'ed(return_value)

method	void setOpmlFile(File)
post	this.opmlFile == opmlFile
post	init'ed(this.opmlFile)

method	String getOpmlFileContentType()
pre	init'ed(this.opmlFileContentType)
post	return_value == this.opmlFileContentType
post	init'ed(return_value)

method	void setOpmlFileContentType(String)
post	this.opmlFileContentType == opmlFileContentType
post	init'ed(this.opmlFileContentType)

method	String getOpmlFileFileName()
pre	init'ed(this.opmlFileFileName)
post	return_value == this.opmlFileFileName
post	init'ed(return_value)

method	void setOpmlFileFileName(String)
post	this.opmlFileFileName == opmlFileFileName
post	init'ed(this.opmlFileFileName)

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

	info	method not available	-- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.BookmarksImport:getActionWeblog()
	info	method not available	-- call on void org.apache.roller.weblogger. business.BookmarkManager:importBookmarks(Weblog, String, String)