| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(ATOM_FORMAT) | 2009-09-04 18:33:31 |
| + | pre | document != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(ATOM_PROTOCOL) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@78 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Document:getRootElement(...)@74 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getChildren(...)@75 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(AtomService#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new AtomService(documentToService#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new AtomService(documentToServ ice#1) | 2009-09-04 18:33:31 |
| + | post | return_value.workspaces == &new ArrayList(AtomService#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom.Category | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom. Category:setLabel | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom. Category:setScheme | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom. Category:setTerm | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Attribute:getValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getAttribute | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getAttributeValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getTextTrim | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@77: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(ATOM_FORMAT) | 2009-09-04 18:33:31 |
| + | pre | init'ed(ATOM_PROTOCOL) | 2009-09-04 18:33:31 |
| + | pre | service != null | 2009-09-04 18:33:31 |
| + | pre | service.workspaces != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@93 != null | 2009-09-04 18:33:31 |
| + | presumption | space.collections@93 != null | 2009-09-04 18:33:31 |
| + | post | new Document(serviceToDocument#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new Document(serviceToDocument #1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom. Category:getLabel | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom. Category:getScheme | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.atom. Category:getTerm | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:addContent | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:setAttribute | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:setText | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@92: {0}, {1} | 2009-09-04 18:33:31 |