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 TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| 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 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 <= 232-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..264-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: {-231..99, 104..232-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

| 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 <= 232-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)