method org.apache.roller.weblogger.webservices. atomprotocol.Workspace__static_init










method void org.apache.roller.weblogger.webservices. atomprotocol.Workspace(String, String)
postthis.collections == &new ArrayList(Workspace#1)
postthis.title == title
postinit'ed(this.title)
postthis.titleType == titleType
postinit'ed(this.titleType)
postnew ArrayList(Workspace#1) num objects == 1










method List getCollections()
preinit'ed(this.collections)
postreturn_value == this.collections
postinit'ed(return_value)










method void addCollection(Collection)
prethis.collections != null










method String getTitle()
preinit'ed(this.title)
postreturn_value == this.title
postinit'ed(return_value)










method void setTitle(String)
postthis.title == title
postinit'ed(this.title)










method String getTitleType()
preinit'ed(this.titleType)
postreturn_value == this.titleType
postinit'ed(return_value)










method void setTitleType(String)
postthis.titleType == titleType
postinit'ed(this.titleType)










method Collection findCollection(String, String)
prethis.collections != null
pre(soft) contentType != null
presumptioncol.accepts@84 != null
presumptionjava.util.Iterator:next(...)@84 != null
post(soft) init'ed(return_value)
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:toArray
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:startsWith
test_vectortitle: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Iterator:hasNext(...)@83: {0}, {1}










method Workspace elementToWorkspace(Element)
preelement != null
preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_FORMAT)
preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_PROTOCOL)
presumptionjava.util.Iterator:next(...)@106 != null
presumptionorg.jdom.Element:getAttribute(...)@100 != null
presumptionorg.jdom.Element:getChild(...)@96 != null
presumptionorg.jdom.Element:getChildren(...)@103 != null
postreturn_value == &new Workspace(elementToWorkspa ce#1)
postnew ArrayList(Workspace#1) num objects == 1
postnew Workspace(elementToWorkspace#1) num objects == 1
postreturn_value.collections == &new ArrayList(Workspace#1)
postinit'ed(return_value.title)
postinit'ed(return_value.titleType)
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:iterator
unanalyzedcall on org.jdom.Element:getAttribute
unanalyzedcall on org.jdom.Attribute:getValue
unanalyzedcall on org.jdom.Element:getChild
unanalyzedcall on org.jdom.Element:getText
unanalyzedcall on org.jdom.Element:getChildren
unanalyzedcall on org.jdom.Element:getTextTrim
unanalyzedcall on com.sun.syndication.feed.atom.Category
unanalyzedcall on org.jdom.Element:getAttributeValue
unanalyzedcall on com.sun.syndication.feed.atom. Category:setTerm
unanalyzedcall on com.sun.syndication.feed.atom. Category:setLabel
unanalyzedcall on com.sun.syndication.feed.atom. Category:setScheme
test_vectorjava.util.Iterator:hasNext(...)@105: {0}, {1}
test_vectororg.jdom.Element:getAttribute(...)@99: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Element org.jdom.Element:getChild(String , Namespace)










  infomethod not available-- call on String org.jdom.Element:getText()










  infomethod not available-- call on Attribute org.jdom.Element:getAttribute( String, Namespace)










  infomethod not available-- call on Attribute org.jdom.Element:getAttribute( String, Namespace)
  infomethod not available-- call on String org.jdom.Attribute:getValue()










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











method Element workspaceToElement(Workspace)
preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_FORMAT)
preinit'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_PROTOCOL)
prespace != null
prespace.collections != null
preinit'ed(space.title)
preinit'ed(space.titleType)
presumptioncol.accepts@127 != null
presumptioncol.categories@127 != null
presumptionjava.util.Iterator:next(...)@127 != null
postreturn_value == &new Element(workspaceToElement #1)
postnew Element(workspaceToElement#1) num objects == 1
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.List:iterator
unanalyzedcall on org.jdom.Element
unanalyzedcall on org.jdom.Element:setAttribute
unanalyzedcall on org.jdom.Element:setText
unanalyzedcall on org.jdom.Element:addContent
unanalyzedcall on com.sun.syndication.feed.atom. Category:getTerm
unanalyzedcall on com.sun.syndication.feed.atom. Category:getScheme
unanalyzedcall on com.sun.syndication.feed.atom. Category:getLabel
test_vectorspace.titleType: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@121: {1}, {0}
test_vectorjava.util.Iterator:hasNext(...)@126: {0}, {1}









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










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










  infomethod not available-- call on Element org.jdom.Element:setText(String)










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










  infomethod not available-- call on Element org.jdom.Element:setAttribute(St ring, String)










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