Messages

method	org.apache.roller.weblogger.ui.rendering.model. PageModel__static_init
post	init'ed(log)

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

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

method	String getModelName()
post	return_value == &"model"

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@81 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@104 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:instanceof(...)@88 == 1
post	init'ed(this.commentForm)
post	(soft) this.pageRequest != null
post	init'ed(this.requestParameters)
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
test_vector	java.util.Map:get(...)@102: 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()

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

method	String getLocale()
pre	this.pageRequest != null
post	init'ed(return_value)

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

method	WeblogWrapper getWeblog()
pre	init'ed(this.urlStrategy)
pre	this.weblog != null
post	return_value == &new WeblogWrapper(wrap#1)
post	new WeblogWrapper(wrap#1) num objects == 1
post	new WeblogWrapper(wrap#1).pojo == this.weblog
post	new WeblogWrapper(wrap#1).pojo != null
post	new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogWrapper(wrap#1).urlStrategy)

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

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

method	bool isSearchResults()
post	return_value == 0

method	WeblogEntryWrapper getWeblogEntry()
pre	this.pageRequest != null
post	return_value == One-of{&new WeblogEntryWrapper( wrap#1), 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. WeblogPageRequest:getWeblogEntry(...)@149: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogEntry org.apache.roller.weblogger. ui.rendering.util.WeblogPageRequest:getWeblogEntry( )

method	ThemeTemplateWrapper getWeblogPage()
pre	this.pageRequest != null
pre	(soft) log != null
pre	(soft) this.weblog != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@164 != null
post	init'ed(return_value)
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogPageName(...)@160: Addr_Set{null}, Inverse{null}

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

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.ui.rendering.util.WeblogPageRequest:getWe blogPage()

info method not available -- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

info method not available -- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getDefaultTemplate()

info method not available -- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

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

method	WeblogCategoryWrapper getWeblogCategory()
pre	this.pageRequest != null
post	return_value == One-of{&new WeblogCategoryWrapp er(wrap#1), null}
post	return_value in Addr_Set{null,&new WeblogCategoryWrapper(wrap#1)}
post	new WeblogCategoryWrapper(wrap#1) num objects <= 1
post	new WeblogCategoryWrapper(wrap#1).pojo != null
post	new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogCategoryWrapper(wrap#1). urlStrategy)
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogCategory(...)@178: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogCategory org.apache.roller. weblogger.ui.rendering.util.WeblogPageRequest:getWe blogCategory()

method	List getTags()
pre	this.pageRequest != null
post	init'ed(return_value)

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

method	WeblogEntriesPager getWeblogEntriesPager()
pre	init'ed(this.urlStrategy)
pre	(soft) init'ed(this.pager)
post	init'ed(return_value)
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	init'ed(new Locale(AbstractWeblogEntriesPager#2)._ tainted)
post	new Locale(AbstractWeblogEntriesPager#3) num objects == 0
post	init'ed(new Locale(AbstractWeblogEntriesPager#3)._ tainted)
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	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).catPath)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).dateString)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).entries)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).entryAnchor)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).length)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).locale)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).messageUtils)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).more)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).offset)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).page)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).pageLink)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).tags)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).urlStrategy)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#2*).weblog)
post	new WeblogEntriesPreviewPager(getWeblogEntriesPager #1*) num objects <= 1
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).catPath)
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	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).entryAnchor)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).length)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).locale)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).messageUtils)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).nextEntry)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).offset)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).page)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).pageLink)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).prevEntry)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).tags)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).urlStrategy)
post	init'ed(new WeblogEntriesPreviewPager(getWeblogEntr iesPager#1*).weblog)
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.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor
unanalyzed	call on java.util.TreeMap
unanalyzed	call on java.sql.Timestamp:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Collections:singletonList
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractWeblogEntriesPager
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setData
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.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.roller.weblogger.ui.rendering. pagers.WeblogEntriesPermalinkPager
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
unanalyzed	call on getWeblogEntriesPager
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getPreviewEntry
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getWeblogAnchor
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getWeblog
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getLocale
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getWeblogPageName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getWeblogDate
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getTags
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewRequest:getPageNum

method	WeblogEntriesPager getWeblogEntriesPager(String)
post	init'ed(return_value)

info call too complex - analysis skipped -- call on WeblogEntriesPager getWeblogEntriesPager (String, String)

method	WeblogEntriesPager getWeblogEntriesPagerByTag(Stri ng)
post	init'ed(return_value)

info call too complex - analysis skipped -- call on WeblogEntriesPager getWeblogEntriesPager (String, String)

method	WeblogEntriesPager getWeblogEntriesPager(String, String)
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
pre	this.pageRequest != null
pre	init'ed(this.urlStrategy)
pre	this.weblog != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesDayPager.log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesLatestPager.log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesMonthPager.log != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@243 == null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@254 == null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@265 == null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@277 == null
post	return_value in Addr_Set{&new WeblogEntriesDayP ager(getWeblogEntriesPager#3),&new WeblogEntriesMonthPager(getWeblogEntriesPager#4), &new WeblogEntriesLatestPager(getWeblogEntriesP ager#5),&new WeblogEntriesPermalinkPager(getWeb logEnt...
post	new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1
post	new ArrayList(getWeblogEntriesPager#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 SimpleDateFormat(WeblogEntriesDayPager#1) num objects <= 1
post	new SimpleDateFormat(WeblogEntriesDayPager#2) num objects <= 1
post	new SimpleDateFormat(WeblogEntriesMonthPager#1) num objects <= 1
post	new SimpleDateFormat(WeblogEntriesMonthPager#2) num objects <= 1
post	new TreeMap(getEntries#1) num objects <= 1
post	new TreeMap(getEntries#3) num objects == 0
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3) num objects <= 1
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).catPath)
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).dateString)
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).day)
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). dayFormat == &new SimpleDateFormat(WeblogEntrie sDayPager#2)
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). entries == &new TreeMap(getEntries#1)
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).entryAnchor)
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). length <= 2³²-2
post	(soft) new WeblogEntriesDayPager(getWeblogEntriesPa ger#3).locale == null
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). messageUtils != null
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).more)
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).nextDay)
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).offset)
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). page >= 0
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).pageLink)
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).prevDay)
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). tags != null
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntriesDayPager(getWeblogEntriesP ager#3).urlStrategy)
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). weblog == this.weblog
post	new WeblogEntriesDayPager(getWeblogEntriesPager#3). weblog != null
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5) num objects <= 1
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).catPath)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).dateString)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).entries == &new TreeMap(getEntries#1)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).entryAnchor)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).length <= 2³²-2
post	(soft) new WeblogEntriesLatestPager(getWeblogEntrie sPager#5).locale == null
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).messageUtils != null
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).more)
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).offset)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).page >= 0
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).pageLink)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).tags != null
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntriesLatestPager(getWeblogEntri esPager#5).urlStrategy)
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).weblog == this.weblog
post	new WeblogEntriesLatestPager(getWeblogEntriesPager# 5).weblog != null
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ) num objects <= 1
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).catPath)
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).dateString)
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).entries == &new TreeMap(getEntries#1)
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).entryAnchor)
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).length <= 2³²-2
post	(soft) new WeblogEntriesMonthPager(getWeblogEntries Pager#4).locale == null
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).messageUtils != null
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).month)
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).monthFormat == &new SimpleDateFormat(WeblogEn triesMonthPager#2)
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).more)
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).nextMonth)
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).offset)
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).page >= 0
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).pageLink)
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).prevMonth)
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).tags != null
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntriesMonthPager(getWeblogEntrie sPager#4).urlStrategy)
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).weblog == this.weblog
post	new WeblogEntriesMonthPager(getWeblogEntriesPager#4 ).weblog != null
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2) num objects <= 1
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).catPath)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).currEntry)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).dateString)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).entries)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).entryAnchor)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).length)
post	(soft) new WeblogEntriesPermalinkPager(getWeblogEnt riesPager#2).locale == null
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2).messageUtils != null
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).nextEntry)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).offset)
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2).page >= 0
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).pageLink)
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).prevEntry)
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2).tags != null
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntriesPermalinkPager(getWeblogEn triesPager#2).urlStrategy)
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2).weblog == this.weblog
post	new WeblogEntriesPermalinkPager(getWeblogEntriesPag er#2).weblog != null
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.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor
unanalyzed	call on java.util.TreeMap
unanalyzed	call on java.sql.Timestamp:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Collections:singletonList
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractWeblogEntriesPager
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setData
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.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 java.util.ResourceBundle:getString
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on parseDate
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on org.apache.roller.util.DateUtil:getStartOfD ay
unanalyzed	call on org.apache.roller.util.DateUtil:getEndOfDay
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
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on getToday
unanalyzed	call on java.util.Date:after
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on java.util.Date:before
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on java.text.ParsePosition
unanalyzed	call on java.text.SimpleDateFormat:parse
unanalyzed	call on org.apache.roller.util.DateUtil:getStartOfM onth
unanalyzed	call on org.apache.roller.util.DateUtil:getEndOfMon th
test_vector	catArgument: Addr_Set{null}, Inverse{null}
test_vector	tagArgument: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@229: {1}, {0}
test_vector	java.lang.String:equals(...)@234: {1}, {0}
test_vector	java.lang.String:length(...)@253: {0..7, 9..2³²-1}, {8}
test_vector	java.lang.String:length(...)@264: {0..5, 7..2³²-1}, {6}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@229: {1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@234: {1}, {0}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogAnchor(...)@242: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogDate(...)@239: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogCategoryN ame()

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

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

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

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

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

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

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

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

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

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

method	WeblogEntryCommentForm getCommentForm()
pre	init'ed(this.commentForm)
post	return_value == One-of{old this.commentForm, &new WeblogEntryCommentForm(getCommentForm#1)}
post	return_value != null
post	this.commentForm == return_value
post	new WeblogEntryCommentForm(getCommentForm#1) num objects <= 1
test_vector	this.commentForm: Inverse{null}, Addr_Set{null}

info method not available -- call on void org.apache.roller.weblogger.ui. rendering.util.WeblogEntryCommentForm()

method	String getRequestParameter(String)
pre	init'ed(this.requestParameters)
post	return_value == null
test_vector	this.requestParameters: Addr_Set{null}, Inverse{null}
test_vector	java.util.Map:get(...)@309: Addr_Set{null}, Inverse{null}
test_vector	values.length@309: {0}, {1..+Inf}

	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 ThemeTemplate org.apache.roller. weblogger.ui.rendering.util.WeblogPageRequest:getWe blogPage()
	info	method not available	-- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

info	method not available	-- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()
info	method not available	-- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getDefaultTemplate()
info	method not available	-- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getLocale()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogPageName( )
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogAnchor()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogDate()
info	method not available	-- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getPageNum()