Messages

method	org.apache.roller.weblogger.webservices. atomprotocol.AtomService__static_init
post	init'ed(ATOM_FORMAT)
post	init'ed(ATOM_PROTOCOL)

info method not available -- call on Namespace org.jdom.Namespace:getNamespac e(String, String)

method	void org.apache.roller.weblogger.webservices. atomprotocol.AtomService()
post	this.workspaces == &new ArrayList(AtomService#1 )
post	new ArrayList(AtomService#1) num objects == 1

method	void addWorkspace(Workspace)
pre	this.workspaces != null

method	List getWorkspaces()
pre	init'ed(this.workspaces)
post	return_value == this.workspaces
post	init'ed(return_value)

method	Workspace findWorkspace(String)
pre	this.workspaces != null
pre	(soft) title != null
presumption	java.util.Iterator:next(...)@63 != null
post	(soft) init'ed(return_value)
test_vector	java.lang.String:equals(...)@64: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@62: {0}, {1}

method	AtomService documentToService(Document)
pre	init'ed(ATOM_PROTOCOL)
pre	document != null
pre	(soft) init'ed(ATOM_FORMAT)
presumption	java.util.Iterator:next(...)@78 != null
presumption	org.jdom.Document:getRootElement(...)@74 != null
presumption	org.jdom.Element:getChildren(...)@75 != null
post	return_value == &new AtomService(documentToServ ice#1)
post	new ArrayList(AtomService#1) num objects == 1
post	new AtomService(documentToService#1) num objects == 1
post	return_value.workspaces == &new ArrayList(AtomService#1)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:size
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on org.jdom.Element:getAttribute
unanalyzed	call on org.jdom.Attribute:getValue
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on org.jdom.Element:getTextTrim
unanalyzed	call on com.sun.syndication.feed.atom.Category
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on com.sun.syndication.feed.atom. Category:setTerm
unanalyzed	call on com.sun.syndication.feed.atom. Category:setLabel
unanalyzed	call on com.sun.syndication.feed.atom. Category:setScheme
test_vector	java.util.Iterator:hasNext(...)@77: {0}, {1}

info method not available -- call on Element org.jdom.Document:getRootElement ()

info method not available -- call on List org.jdom.Element:getChildren(String , Namespace)

method	Document serviceToDocument(AtomService)
pre	init'ed(ATOM_PROTOCOL)
pre	service != null
pre	service.workspaces != null
pre	(soft) init'ed(ATOM_FORMAT)
presumption	java.util.Iterator:next(...)@93 != null
presumption	space.collections@93 != null
post	return_value == &new Document(serviceToDocument #1)
post	new Document(serviceToDocument#1) num objects == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.jdom.Element
unanalyzed	call on org.jdom.Element:setText
unanalyzed	call on org.jdom.Element:addContent
unanalyzed	call on org.jdom.Element:setAttribute
unanalyzed	call on com.sun.syndication.feed.atom. Category:getTerm
unanalyzed	call on com.sun.syndication.feed.atom. Category:getScheme
unanalyzed	call on com.sun.syndication.feed.atom. Category:getLabel
test_vector	java.util.Iterator:hasNext(...)@92: {0}, {1}

info method not available -- call on void org.jdom.Document()

info method not available -- call on void org.jdom.Element(String, Namespace)

info method not available -- call on Document org.jdom.Document:setRootElemen t(Element)

info method not available -- call on Element org.jdom.Element:addContent(Cont ent)