Messages

Last Msg First Msg

method	net.sourceforge.pebble.dao.file.BlogEntryHandler__ static_init
post	init'ed(log)

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

method	void net.sourceforge.pebble.dao.file. BlogEntryHandler(BlogEntry)
pre	blogEntry != null
presumption	init'ed(java.util.Locale.ENGLISH)
pre	blogEntry.blog != null
post	this.blogEntry == blogEntry
post	this.blogEntry != null
post	this.commentAuthenticated == 0
post	this.commentParent == -1
post	this.elementStatus == -1
post	this.commentState == &net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#1)
post	this.trackBackState == &net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#1)
post	this.dateTimeFormats == &new SimpleDateFormat[] (BlogEntryHandler#1)
post	this.groupStatus == 100
post	new SimpleDateFormat(BlogEntryHandler#2) num objects == 1
post	new SimpleDateFormat(BlogEntryHandler#3) num objects == 1
post	new SimpleDateFormat(BlogEntryHandler#4) num objects == 1
post	new SimpleDateFormat(BlogEntryHandler#5) num objects == 1
post	new SimpleDateFormat(BlogEntryHandler#6) num objects == 1
post	new SimpleDateFormat(BlogEntryHandler#7) num objects == 1
post	new SimpleDateFormat[](BlogEntryHandler#1) num objects == 1
post	this.dateTimeFormats.length == 6
post	this.dateTimeFormats[0] == &new SimpleDateFormat(BlogEntryHandler#2)
post	this.dateTimeFormats[1] == &new SimpleDateFormat(BlogEntryHandler#3)
post	this.dateTimeFormats[2] == &new SimpleDateFormat(BlogEntryHandler#4)
post	this.dateTimeFormats[3] == &new SimpleDateFormat(BlogEntryHandler#5)
post	this.dateTimeFormats[4] == &new SimpleDateFormat(BlogEntryHandler#6)
post	this.dateTimeFormats[5] == &new SimpleDateFormat(BlogEntryHandler#7)

info method not available -- call on void org.xml.sax.helpers. DefaultHandler()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

method	void startElement(String, String, String, Attributes)
pre	name != null
post	this.elementContent == &new StringBuffer(startE lement#1)
post	this.elementStatus in -1..22
post	possibly_updated(this.groupStatus)
post	new StringBuffer(startElement#1) num objects == 1
test_vector	java.lang.String:equals(...)@116: {0}, {1}
test_vector	java.lang.String:equals(...)@118: {0}, {1}
test_vector	java.lang.String:equals(...)@120: {0}, {1}
test_vector	java.lang.String:equals(...)@122: {0}, {1}
test_vector	java.lang.String:equals(...)@124: {0}, {1}
test_vector	java.lang.String:equals(...)@126: {0}, {1}
test_vector	java.lang.String:equals(...)@128: {0}, {1}
test_vector	java.lang.String:equals(...)@130: {0}, {1}
test_vector	java.lang.String:equals(...)@132: {0}, {1}
test_vector	java.lang.String:equals(...)@134: {0}, {1}
test_vector	java.lang.String:equals(...)@136: {0}, {1}
test_vector	java.lang.String:equals(...)@138: {0}, {1}
test_vector	java.lang.String:equals(...)@140: {0}, {1}
test_vector	java.lang.String:equals(...)@142: {0}, {1}
test_vector	java.lang.String:equals(...)@144: {0}, {1}
test_vector	java.lang.String:equals(...)@146: {0}, {1}
test_vector	java.lang.String:equals(...)@148: {0}, {1}
test_vector	java.lang.String:equals(...)@150: {0}, {1}
test_vector	java.lang.String:equals(...)@152: {0}, {1}
test_vector	java.lang.String:equals(...)@154: {0}, {1}
test_vector	java.lang.String:equals(...)@156: {0}, {1}
test_vector	java.lang.String:equals(...)@158: {0}, {1}
test_vector	java.lang.String:equals(...)@160: {0}, {1}
test_vector	java.lang.String:equals(...)@162: {0}, {1}
test_vector	java.lang.String:equals(...)@165: {0}, {1}
test_vector	java.lang.String:equals(...)@168: {0}, {1}

method	void endElement(String, String, String)
pre	init'ed(this.groupStatus)
pre	(soft) log != null
pre	(soft) name != null
pre	(soft) init'ed(net.sourceforge.pebble.domain.State_ _static_init.new State(State__static_init#4).name)
pre	(soft) init'ed(this.attachmentSize)
pre	(soft) init'ed(this.attachmentType)
pre	(soft) init'ed(this.attachmentUrl)
pre	(soft) init'ed(this.blogEntry.attachment)
pre	(soft) init'ed(this.blogEntry.commentsEnabled)
pre	(soft) init'ed(this.blogEntry.date)
pre	(soft) init'ed(this.blogEntry.excerpt)
pre	(soft) init'ed(this.blogEntry.title)
pre	(soft) init'ed(this.blogEntry.trackBacksEnabled)
pre	(soft) init'ed(this.commentAuthenticated)
pre	(soft) init'ed(this.commentAuthor)
pre	(soft) init'ed(this.commentBody)
pre	(soft) init'ed(this.commentDate)
pre	(soft) init'ed(this.commentEmail)
pre	(soft) init'ed(this.commentIpAddress)
pre	(soft) init'ed(this.commentParent)
pre	(soft) init'ed(this.commentState)
pre	(soft) init'ed(this.commentTitle)
pre	(soft) init'ed(this.commentWebsite)
pre	(soft) init'ed(this.elementStatus)
pre	(soft) init'ed(this.trackBackBlogName)
pre	(soft) init'ed(this.trackBackDate)
pre	(soft) init'ed(this.trackBackExcerpt)
pre	(soft) init'ed(this.trackBackIpAddress)
pre	(soft) init'ed(this.trackBackState)
pre	(soft) init'ed(this.trackBackTitle)
pre	(soft) init'ed(this.trackBackUrl)
pre	(soft) this.blogEntry != null
pre	(soft) this.blogEntry.categories != null
pre	(soft) this.blogEntry.comments != null
pre	(soft) this.blogEntry.events != null
pre	(soft) init'ed(this.blogEntry.eventsEnabled)
pre	(soft) this.blogEntry.propertyChangeSupport != null
pre	(soft) this.blogEntry.trackBacks != null
pre	(soft) this.dateTimeFormats != null
pre	(soft) this.dateTimeFormats.length <= 2³²-1
pre	(soft) this.dateTimeFormats[...] != null
pre	(soft) this.elementContent != null
presumption	java.lang.Boolean:valueOf(...)@218 != null
presumption	java.lang.Boolean:valueOf(...)@221 != null
presumption	java.util.Calendar:getTime(...)@187 != null
post	init'ed(this.attachmentSize)
post	(soft) init'ed(this.attachmentType)
post	init'ed(this.attachmentUrl)
post	(soft) init'ed(this.blogEntry.attachment)
post	(soft) init'ed(this.blogEntry.commentsEnabled)
post	(soft) init'ed(this.blogEntry.date)
post	init'ed(this.blogEntry.excerpt)
post	possibly_updated(this.blogEntry.id)
post	possibly_updated(this.blogEntry.permalink)
post	possibly_updated(this.blogEntry.timeZoneId)
post	(soft) init'ed(this.blogEntry.title)
post	(soft) init'ed(this.blogEntry.trackBacksEnabled)
post	(soft) init'ed(this.commentAuthenticated)
post	init'ed(this.commentAuthor)
post	init'ed(this.commentBody)
post	init'ed(this.commentDate)
post	init'ed(this.commentEmail)
post	init'ed(this.commentIpAddress)
post	(soft) init'ed(this.commentParent)
post	(soft) init'ed(this.commentState)
post	init'ed(this.commentTitle)
post	init'ed(this.commentWebsite)
post	this.elementStatus == -1
post	init'ed(this.groupStatus)
post	init'ed(this.trackBackBlogName)
post	init'ed(this.trackBackDate)
post	init'ed(this.trackBackExcerpt)
post	init'ed(this.trackBackIpAddress)
post	(soft) init'ed(this.trackBackState)
post	init'ed(this.trackBackTitle)
post	init'ed(this.trackBackUrl)
post	new Attachment(endElement#1) num objects <= 1
post	init'ed(new Attachment(endElement#1).size)
post	init'ed(new Attachment(endElement#1).type)
post	init'ed(new Attachment(endElement#1).url)
unanalyzed	call on java.text.SimpleDateFormat:parse
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on getComment
unanalyzed	call on addComment
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.Set:contains
unanalyzed	call on java.util.Set:add
pre	(soft) init'ed(this.blogEntry.body)
unanalyzed	call on getId
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
pre	(soft) init'ed(this.blogEntry.originalPermalink)
unanalyzed	call on java.util.List:addAll
pre	(soft) init'ed(this.blogEntry.subtitle)
pre	(soft) init'ed(this.blogEntry.tags)
unanalyzed	call on java.util.Date
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on net.sourceforge.pebble.domain.Response
unanalyzed	call on java.lang.String:length
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on isApproved
unanalyzed	call on isRejected
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on setState
unanalyzed	call on net.sourceforge.pebble.domain. Response:setState
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
pre	(soft) this.blogEntry.blog != null
pre	(soft) init'ed(this.blogEntry.blog.rootCategory)
unanalyzed	call on java.util.EventObject
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
test_vector	this.commentParent: {-1}, {-9_223_372_036_854_775_8 08..-2, 0..2⁶⁴-1}
test_vector	this.elementStatus: {0}, {1}, {3}, {12}, {13}, {15}, {18}, {2}, {4}, {10}, {11}, {14}, {22}, {16}, {17}, {5}, {7}, {8}, {9}, {19}, {20}, {21}
test_vector	this.groupStatus: {-2³¹..99, 104..2³²-1}, {100}, {103}, {101}, {102}
test_vector	java.lang.String:equals(...)@199: {0}, {1}
test_vector	java.lang.String:equals(...)@224: {0}, {1}
test_vector	java.lang.String:equals(...)@247: {0}, {1}
test_vector	java.lang.String:equals(...)@300: {0}, {1}
post	possibly_updated(this.blogEntry.author)
post	(soft) init'ed(this.blogEntry.body)
post	init'ed(this.blogEntry.originalPermalink)
post	possibly_updated(this.blogEntry.state)
post	(soft) init'ed(this.blogEntry.subtitle)
post	init'ed(this.blogEntry.tags)
post	possibly_updated(this.blogEntry.tagsAsCommaSeparate d)
post	possibly_updated(this.blogEntry.tagsAsList)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	new ArrayList(parse#1) num objects <= 1
post	init'ed(new Category(getCategory#2*) num objects)
post	possibly_updated(new Category(getCategory#2*). blog)
post	init'ed(new Category(getCategory#2*).blogEntries)
post	possibly_updated(new Category(getCategory#2*).id)
post	init'ed(new Category(getCategory#2*).name)
post	possibly_updated(new Category(getCategory#2*). parent)
post	possibly_updated(new Category(getCategory#2*). subCategories)
post	init'ed(new Category(getCategory#2*).tags)
post	init'ed(new Category(getCategory#2*).tagsAsList)
post	init'ed(new Category(getCategory#3*) num objects)
post	possibly_updated(new Category(getCategory#3*). blog)
post	init'ed(new Category(getCategory#3*).blogEntries)
post	possibly_updated(new Category(getCategory#3*).id)
post	init'ed(new Category(getCategory#3*).name)
post	possibly_updated(new Category(getCategory#3*). parent)
post	possibly_updated(new Category(getCategory#3*). subCategories)
post	init'ed(new Category(getCategory#3*).tags)
post	init'ed(new Category(getCategory#3*).tagsAsList)
unanalyzed	call on getSubCategories
unanalyzed	call on getCategory
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:split
unanalyzed	call on getAllTags
unanalyzed	call on getTagsAsList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on getState
unanalyzed	call on areEventsEnabled
unanalyzed	call on net.sourceforge.pebble.domain.Content
unanalyzed	call on getBlogEntry
unanalyzed	call on java.util.Collections:unmodifiableList
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Set:size
unanalyzed	call on java.util.Collections:reverse
unanalyzed	call on getRootCategory

Prev Msg Next Msg

click for all messages in this file medium

precondition failure net/sourceforge/pebble/domain/BlogEntry.setDate: newDate != null

Prev Msg Next Msg

method	void characters(char[], int, int)
pre	this.elementContent != null

method	void warning(SAXParseException)
pre	log != null

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

method	void error(SAXParseException)
pre	log != null

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

method	void fatalError(SAXParseException)
pre	log != null

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

method	Date getDate(String)
pre	this.dateTimeFormats != null
pre	(soft) log != null
pre	(soft) this.dateTimeFormats.length <= 2³²-1
pre	(soft) this.dateTimeFormats[...] != null
post	init'ed(return_value)

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