method org.apache.roller.weblogger.ui.rendering.util. PlanetRequest__static_init
postinit'ed(log)









  infomethod not available-- call on Log org.apache.commons.logging. LogFactory:getLog(Class)











method void org.apache.roller.weblogger.ui.rendering. util.PlanetRequest(HttpServletRequest)
prelog != null
prerequest != null
presumptionjava.lang.Boolean:valueOf(...)@85 != null
presumptionjava.lang.String:equals(...)@63 == 1
presumptionjavax.servlet.http.HttpServletRequest:getLocale(... )@94 != null
presumptionjavax.servlet.http.HttpServletRequest:getServletPat h(...)@53 != null
postinit'ed(this.authenticUser)
postthis.context == &"planet"
postinit'ed(this.excerpts)
postthis.flavor in Addr_Set{null,&"rss"}
postinit'ed(this.group)
postinit'ed(this.language)
postthis.request == request
postthis.request != null
postthis.type in Addr_Set{&"feed",&"page"}
postthis.user == null
unanalyzedcall on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzedcall on java.security.Principal:getName
unanalyzedcall on org.apache.roller.weblogger. WebloggerException
test_vectorjava.lang.String:equals(...)@60: {0}, {1}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@84: Addr_Set{null}, Inverse{null}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@88: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method String getContext()
preinit'ed(this.context)
postreturn_value == this.context
postinit'ed(return_value)










method String getType()
preinit'ed(this.type)
postreturn_value == this.type
postinit'ed(return_value)










method String getFlavor()
preinit'ed(this.flavor)
postreturn_value == this.flavor
postinit'ed(return_value)










method bool isExcerpts()
preinit'ed(this.excerpts)
postreturn_value == this.excerpts
postinit'ed(return_value)










method String getLanguage()
preinit'ed(this.language)
postreturn_value == this.language
postinit'ed(return_value)










method void setLanguage(String)
postthis.language == language
postinit'ed(this.language)










method String getGroup()
preinit'ed(this.group)
postreturn_value == this.group
postinit'ed(return_value)