| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | element != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@166 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@169 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@172 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@175 == 0 | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.contentsFile) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.description) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.link) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.name) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.templateLanguage) | 2009-09-04 18:33:31 |
| + | post | new ThemeMetadataTemplate(elementToStylesheet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ThemeMetadataTemplate(elem entToStylesheet#1) | 2009-09-04 18:33:31 |
| + | post | return_value.action == null | 2009-09-04 18:33:31 |
| + | post | return_value.contentType == null | 2009-09-04 18:33:31 |
| + | post | return_value.hidden == 0 | 2009-09-04 18:33:31 |
| + | post | return_value.navbar == 0 | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | element != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@137 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@140 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@143 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@146 == 0 | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.action) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.contentType) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.contentsFile) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.description) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.hidden) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.link) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.name) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.navbar) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.templateLanguage) | 2009-09-04 18:33:31 |
| + | post | new ThemeMetadataTemplate(elementToTemplateMetadata #1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ThemeMetadataTemplate(elem entToTemplateMetadata#1) | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equalsIgnoreCase(...)@127: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equalsIgnoreCase(...)@132: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | instream != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@85 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@94 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:isEmpty(... )@63 == 0 | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Document:getRootElement(...)@57 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getChild(...)@68 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getChildren(...)@82 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.Element:getChildren(...)@91 != null | 2009-09-04 18:33:31 |
| + | presumption | org.jdom.input.SAXBuilder:build(...)@54 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).action) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).contentType) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).contentsFile) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).description) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).hidden) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).link) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).name) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).navbar) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).templateLanguage) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.author) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.name) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.previewImage) | 2009-09-04 18:33:31 |
| + | post | new HashSet(ThemeMetadata#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(ThemeMetadata#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new ThemeMetadata(unmarshall#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new ThemeMetadataTemplate(elementToStylesheet#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ThemeMetadata(unmarshall#1 ) | 2009-09-04 18:33:31 |
| + | post | return_value.resources == &new HashSet(ThemeMet adata#2) | 2009-09-04 18:33:31 |
| + | post | return_value.stylesheet in Addr_Set{null,&new ThemeMetadataTemplate(elementToStylesheet#1)} | 2009-09-04 18:33:31 |
| + | post | return_value.templates == &new HashSet(ThemeMet adata#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty | 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:getChildText | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@98: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@84: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@93: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.jdom.Element:getChild(...)@76: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |