method org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest__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.WeblogPreviewRequest(HttpServletRequest)
prelog != null
preorg/apache/roller/weblogger/ui/rendering/util/Weblo gPageRequest.log != null
preorg/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null
prerequest != null
postjava.lang.String:substring(...)._tainted == 0
postjava.lang.StringBuilder:toString(...)._tainted == 0
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postinit'ed(this.authenticUser)
postpossibly_updated(this.context)
postthis.customParams == &new HashMap(WeblogPageReq uest#17)
postinit'ed(this.locale)
postinit'ed(this.localeInstance)
postinit'ed(this.pageNum)
postinit'ed(this.pathInfo)
postinit'ed(this.previewEntry)
postthis.request == request
postthis.request != null
postinit'ed(this.tags)
postthis.theme == null
postthis.weblogEntry == null
postinit'ed(this.themeName)
postinit'ed(this.user)
postinit'ed(this.weblog)
postinit'ed(this.weblogAnchor)
postinit'ed(this.weblogCategory)
postinit'ed(this.weblogCategoryName)
postinit'ed(this.weblogDate)
postinit'ed(this.weblogEntry)
postthis.weblogHandle == One-of{null, undefined}
postthis.weblogHandle == null
postinit'ed(this.weblogPage)
postinit'ed(this.weblogPageName)
postnew HashMap(WeblogPageRequest#1) num objects == 1
postnew HashMap(WeblogPageRequest#17) num objects == 1
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.HashMap
unanalyzedcall on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.lang.String:split
unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest
unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa thInfo
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:endsWith
unanalyzedcall on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzedcall on javax.servlet.http.HttpServletRequest:getRe questURL
unanalyzedcall on org.apache.roller.weblogger. WebloggerException
unanalyzedcall on javax.servlet.http.HttpServletRequest:getSe rvletPath
unanalyzedcall on org.apache.roller.weblogger.util. URLUtilities:decode
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.String:replace
unanalyzedcall on org.apache.roller.weblogger.util. Utilities:splitStringAsTags
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getIntProperty
unanalyzedcall on java.util.List:size
unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameterMap
unanalyzedcall on java.util.Map:remove
unanalyzedcall on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzedcall on java.security.Principal:getName
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@58: Addr_Set{null}, Inverse{null}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@63: Addr_Set{null}, Inverse{null}
test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@67: {0}, {1}









  infomethod not available-- call on String org.apache.roller.weblogger.util. URLUtilities:decode(String)










  infomethod not available-- call on bool org.apache.commons.logging. Log:isDebugEnabled()










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











method bool isValidDestination(String)
postinit'ed(return_value)










method String getThemeName()
preinit'ed(this.themeName)
postreturn_value == this.themeName
postinit'ed(return_value)










method void setThemeName(String)
postthis.themeName == theme
postinit'ed(this.themeName)










method String getAuthenticUser()
postreturn_value == null










method bool isLoggedIn()
postreturn_value == 0










method Theme getTheme()
preinit'ed(this.theme)
pre(soft) log != null
pre(soft) init'ed(this.themeName)
presumptionorg.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@100 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@100 != null
postinit'ed(return_value)
postthis.theme == return_value
test_vectorthis.theme: Inverse{null}, Addr_Set{null}
test_vectorthis.themeName: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on ThemeManager org.apache.roller. weblogger.business.Weblogger:getThemeManager()










  infomethod not available-- call on SharedTheme org.apache.roller.weblogger. business.themes.ThemeManager:getTheme(String)










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











method void setTheme(Theme)
postthis.theme == theme
postinit'ed(this.theme)










method String getPreviewEntry()
preinit'ed(this.previewEntry)
postreturn_value == this.previewEntry
postinit'ed(return_value)










method void setPreviewEntry(String)
postthis.previewEntry == previewEntry
postinit'ed(this.previewEntry)










method WeblogEntry getWeblogEntry()
preinit'ed(this.weblogEntry)
pre(soft) log != null
pre(soft) init'ed(this.weblog)
pre(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre(soft) init'ed(this.previewEntry)
pre(soft) init'ed(this.weblogAnchor)
pre(soft) init'ed(this.weblogHandle)
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@136 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@136 != null
postinit'ed(return_value)
postthis.weblogEntry == return_value
postinit'ed(this.weblog)
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
test_vectorthis.weblogEntry: Inverse{null}, Addr_Set{null}
test_vectorthis.previewEntry: Inverse{null}, Addr_Set{null}
test_vectorthis.weblogAnchor: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()










  infomethod not available-- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryByAnchor(Weblo g, String)










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











method void setWeblogEntry(WeblogEntry)
postthis.weblogEntry == weblogEntry
postinit'ed(this.weblogEntry)