| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | element != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_FORMAT) | 2009-09-04 18:33:31 |
| + | pre | init'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_PROTOCOL) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@106 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getAttribute(...)@100 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getChild(...)@96 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getChildren(...)@103 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.title) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.titleType) | 2009-09-04 18:33:31 |
| + | post | new ArrayList(Workspace#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new Workspace(elementToWorkspace#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new Workspace(elementToWorkspa ce#1) | 2009-09-04 18:33:31 |
| + | post | return_value.collections == &new ArrayList(Workspace#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(...)@105: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.jdom.Element:getAttribute(...)@99: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) contentType != null | 2009-09-04 18:33:31 |
| + | pre | this.collections != null | 2009-09-04 18:33:31 |
| + | presumption | col.accepts@84 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@84 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:indexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:startsWith | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@83: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | title: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_FORMAT) | 2009-09-04 18:33:31 |
| + | pre | init'ed(org/apache/roller/weblogger/webservices/ato mprotocol/AtomService.ATOM_PROTOCOL) | 2009-09-04 18:33:31 |
| + | pre | init'ed(space.title) | 2009-09-04 18:33:31 |
| + | pre | init'ed(space.titleType) | 2009-09-04 18:33:31 |
| + | pre | space != null | 2009-09-04 18:33:31 |
| + | pre | space.collections != null | 2009-09-04 18:33:31 |
| + | presumption | col.accepts@127 != null | 2009-09-04 18:33:31 |
| + | presumption | col.categories@127 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@127 != null | 2009-09-04 18:33:31 |
| + | post | new Element(workspaceToElement#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new Element(workspaceToElement #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.lang.String:equals(...)@121: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@126: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | space.titleType: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |