Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business.themes. ThemeMetadataParser__static_init

method

void org.apache.roller.weblogger.business.themes. ThemeMetadataParser()

method	ThemeMetadata unmarshall(InputStream)
pre	instream != null
presumption	java.util.Iterator:next(...)@85 != null
presumption	java.util.Iterator:next(...)@94 != null
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@63 == 0
presumption	org.jdom.Document:getRootElement(...)@57 != null
presumption	org.jdom.Element:getChild(...)@68 != null
presumption	org.jdom.Element:getChildren(...)@82 != null
presumption	org.jdom.Element:getChildren(...)@91 != null
presumption	org.jdom.input.SAXBuilder:build(...)@54 != null
post	return_value == &new ThemeMetadata(unmarshall#1 )
post	new HashSet(ThemeMetadata#1) num objects == 1
post	new HashSet(ThemeMetadata#2) num objects == 1
post	new ThemeMetadata(unmarshall#1) num objects == 1
post	init'ed(return_value.author)
post	init'ed(return_value.id)
post	init'ed(return_value.name)
post	init'ed(return_value.previewImage)
post	return_value.resources == &new HashSet(ThemeMet adata#2)
post	return_value.stylesheet in Addr_Set{null,&new ThemeMetadataTemplate(elementToStylesheet#1)}
post	return_value.templates == &new HashSet(ThemeMet adata#1)
post	new ThemeMetadataTemplate(elementToStylesheet#1) num objects <= 1
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).action)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).contentType)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).contentsFile)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).description)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).hidden)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).link)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).name)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).navbar)
post	init'ed(new ThemeMetadataTemplate(elementToStyleshe et#1).templateLanguage)
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildText
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.Set:add
test_vector	java.lang.String:equals(...)@98: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@84: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@93: {0}, {1}
test_vector	org.jdom.Element:getChild(...)@76: Addr_Set{null}, Inverse{null}

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

info method not available -- call on Document org.jdom.input.SAXBuilder:build (InputStream)

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

info method not available -- call on String org.jdom.Element:getChildText(Str ing)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on Element org.jdom.Element:getChild(String )

info method not available -- call on String org.jdom.Element:getAttributeValu e(String)

info method not available -- call on Element org.jdom.Element:getChild(String )

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

info method not available -- call on String org.jdom.Element:getAttributeValu e(String)

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

Prev Msg Next Msg

+

click for all messages in this file medium

conditional throw check might fail: requires weblogActionTemplate == 1

Prev Msg Next Msg

method	ThemeMetadataTemplate elementToTemplateMetadata(El ement)
pre	element != null
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@137 == 0
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@140 == 0
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@143 == 0
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@146 == 0
post	return_value == &new ThemeMetadataTemplate(elem entToTemplateMetadata#1)
post	new ThemeMetadataTemplate(elementToTemplateMetadata #1) num objects == 1
post	init'ed(return_value.action)
post	init'ed(return_value.contentType)
post	init'ed(return_value.contentsFile)
post	init'ed(return_value.description)
post	init'ed(return_value.hidden)
post	init'ed(return_value.link)
post	init'ed(return_value.name)
post	init'ed(return_value.navbar)
post	init'ed(return_value.templateLanguage)
test_vector	java.lang.String:equalsIgnoreCase(...)@127: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@132: {0}, {1}

info method not available -- call on String org.jdom.Element:getAttributeValu e(String)

info method not available -- call on String org.jdom.Element:getChildText(Str ing)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

method	ThemeMetadataTemplate elementToStylesheet(Element)
pre	element != null
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@166 == 0
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@169 == 0
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@172 == 0
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@175 == 0
post	return_value == &new ThemeMetadataTemplate(elem entToStylesheet#1)
post	new ThemeMetadataTemplate(elementToStylesheet#1) num objects == 1
post	return_value.action == null
post	return_value.contentType == null
post	init'ed(return_value.contentsFile)
post	init'ed(return_value.description)
post	return_value.hidden == 0
post	return_value.navbar == 0
post	init'ed(return_value.link)
post	init'ed(return_value.name)
post	init'ed(return_value.templateLanguage)

info method not available -- call on String org.jdom.Element:getChildText(Str ing)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)