Messages

method

org.apache.roller.weblogger.ui.rendering.model. PreviewPageModel__static_init

method	void org.apache.roller.weblogger.ui.rendering. model.PreviewPageModel()
post	this.commentForm == null
post	this.pageRequest == null
post	this.previewRequest == null
post	this.requestParameters == null
post	this.urlStrategy == null
post	this.weblog == null

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@48 != null
presumption	java.util.Map:get(...)@81 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@65 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:instanceof(...)@55 == 1
post	init'ed(this.commentForm)
post	this.pageRequest != null
post	(soft) this.previewRequest != null
post	init'ed(this.requestParameters)
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:instanceof
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblog
test_vector	java.util.Map:get(...)@63: Inverse{null}, Addr_Set{null}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

method	bool isPermalink()
pre	this.previewRequest != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getPreviewEntry ()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogAnchor ()

method	WeblogEntryWrapper getWeblogEntry()
pre	this.previewRequest != null
post	return_value in Addr_Set{null,&new WeblogEntryWrapper(wrap#1)}
post	new WeblogEntryWrapper(wrap#1) num objects <= 1
post	new WeblogEntryWrapper(wrap#1).pojo != null
post	new WeblogEntryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntryWrapper(wrap#1). urlStrategy)
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getPreviewEntry(...)@80: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getWeblogAnchor(...)@80: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogEntry org.apache.roller.weblogger. ui.rendering.util.WeblogPreviewRequest:getWeblogEnt ry()

method	WeblogEntriesPager getWeblogEntriesPager(String)
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
pre	this.previewRequest != null
pre	init'ed(this.urlStrategy)
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesLatestPager.log != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getLocale(...)@101 == null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getLocale(...)@112 == null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getWeblog(...)@101 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getWeblog(...)@112 != null
post	return_value in Addr_Set{&new WeblogEntriesLate stPager(getWeblogEntriesPager#2),&new WeblogEntriesPreviewPager(getWeblogEntriesPager#1) }
post	new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1
post	new I18nMessages(getMessages#2) num objects <= 1
post	possibly_updated(new I18nMessages(getMessages#2). bundle)
post	possibly_updated(new I18nMessages(getMessages#2). locale)
post	new Locale(AbstractWeblogEntriesPager#2) num objects == 0
post	new Locale(AbstractWeblogEntriesPager#2)._tainted == 0
post	new Locale(AbstractWeblogEntriesPager#3) num objects == 0
post	new Locale(AbstractWeblogEntriesPager#3)._tainted == 0
post	new TreeMap(getEntries#1) num objects <= 1
post	new TreeMap(getEntries#3) num objects <= 1
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2) num objects <= 1
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).catPath == null
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2).dateString)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).entries == &new TreeMap(getEntries#1)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2).entryAnchor)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).length <= 2³²-2
post	(soft) new WeblogEntriesLatestPager(getWeblogEntrie sPager#2).locale == null
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).messageUtils != null
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2).more)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2).offset)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).page >= 0
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2).pageLink)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).tags != null
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 2).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2).urlStrategy)
post	(soft) new WeblogEntriesLatestPager(getWeblogEntrie sPager#2).weblog != null
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1) num objects <= 1
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1).catPath == null
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).currEntry)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).dateString)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).entries)
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1).entryAnchor != null
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).length)
post	(soft) new WeblogEntriesPreviewPager(getWeblogEntri esPager#1).locale == null
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1).messageUtils != null
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).nextEntry)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).offset)
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1).page >= 0
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).pageLink)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).prevEntry)
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1).tags != null
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1).urlStrategy)
post	(soft) new WeblogEntriesPreviewPager(getWeblogEntri esPager#1).weblog != null
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.WeblogEntriesPermalinkPager
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setData
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime
unanalyzed	call on java.util.TreeMap
unanalyzed	call on java.util.Collections:singletonList
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.sql.Timestamp:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractWeblogEntriesPager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEntryDisplayCount
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on org.apache.commons.collections.comparators. ReverseComparator
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:add
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewRequest:getPreviewEntry(...)@95: Inverse{null}, Addr_Set{null}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getPreviewEntry ()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogAnchor ()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblog()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getLocale()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogPageNa me()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogDate()

info method not available -- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getTags()

info method not available -- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getPageNum()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblog()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getLocale()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogPageNa me()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogAnchor ()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogDate()

info method not available -- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getTags()

info method not available -- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getPageNum()

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

	info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getPreviewEntry ()
	info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogAnchor ()

info	method not available	-- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblog()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getLocale()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogPageNa me()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getWeblogDate()
info	method not available	-- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getTags()
info	method not available	-- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogPreviewRequest:getPageNum()