Messages

method

void org.apache.roller.weblogger.webservices. atomprotocol.AppModuleGenerator()

method	org.apache.roller.weblogger.webservices. atomprotocol.AppModuleGenerator__static_init
post	init'ed(APP_NS)
post	init'ed(NAMESPACES)

info method not available -- call on Namespace org.jdom.Namespace:getNamespac e(String, String)

method	String getNamespaceUri()
post	return_value == &"http:..www.w3.org.2007.app"

method	Set getNamespaces()
post	init'ed(return_value)

method	void generate(Module, Element)
pre	element != null
pre	module != null
pre	init'ed(module.draft)
pre	init'ed(module.edited)
unanalyzed	call on org.jdom.Element
unanalyzed	call on org.jdom.Element:addContent
test_vector	module.edited: Addr_Set{null}, Inverse{null}

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

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

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

info method not available -- call on String org.apache.roller.util. DateUtil:formatIso8601(Date)

info method not available -- call on Element org.jdom.Element:addContent(Stri ng)

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

method	Element generateSimpleElement(String, String)
post	return_value == &new Element(generateSimpleElem ent#1)
post	new Element(generateSimpleElement#1) num objects == 1

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

info method not available -- call on Element org.jdom.Element:addContent(Stri ng)

	info	method not available	-- call on String org.apache.roller.util. DateUtil:formatIso8601(Date)
	info	method not available	-- call on Element org.jdom.Element:addContent(Stri ng)