Messages

method | net.sourceforge.pebble.event.blogentry. TidyListener__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.event.blogentry. TidyListener()

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

method | void blogEntryAdded(BlogEntryEvent)
pre | event != null
presumption | getBlogEntry(...).propertyChangeSupport@64 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:getBytes
unanalyzed | call on java.io.ByteArrayInputStream
unanalyzed | call on java.io.ByteArrayOutputStream
unanalyzed | call on org.w3c.tidy.Tidy
unanalyzed | call on org.w3c.tidy.Tidy:setXHTML
unanalyzed | call on org.w3c.tidy.Tidy:setDocType
unanalyzed | call on org.w3c.tidy.Tidy:setQuiet
unanalyzed | call on org.w3c.tidy.Tidy:setShowWarnings
unanalyzed | call on org.w3c.tidy.Tidy:setIndentContent
unanalyzed | call on org.w3c.tidy.Tidy:setSmartIndent
unanalyzed | call on org.w3c.tidy.Tidy:setIndentAttributes
unanalyzed | call on org.w3c.tidy.Tidy:setWraplen
unanalyzed | call on org.w3c.tidy.Tidy:parseDOM
unanalyzed | call on org.w3c.tidy.Tidy:pprint
unanalyzed | call on java.io.ByteArrayOutputStream:toByteArray
unanalyzed | call on java.lang.String
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:trim
unanalyzed | call on getExcerpt
unanalyzed | call on setExcerpt
unanalyzed | call on getBody
unanalyzed | call on setBody
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange

method | void blogEntryChanged(BlogEntryEvent)
pre | event != null
pre | event.propertyChangeEvents != null
presumption | getBlogEntry(...).propertyChangeSupport@80 != null
presumption | java.beans.PropertyChangeEvent:getPropertyName(... )@77 != null
presumption | java.util.Iterator:next(...)@76 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:getBytes
unanalyzed | call on java.io.ByteArrayInputStream
unanalyzed | call on java.io.ByteArrayOutputStream
unanalyzed | call on org.w3c.tidy.Tidy
unanalyzed | call on org.w3c.tidy.Tidy:setXHTML
unanalyzed | call on org.w3c.tidy.Tidy:setDocType
unanalyzed | call on org.w3c.tidy.Tidy:setQuiet
unanalyzed | call on org.w3c.tidy.Tidy:setShowWarnings
unanalyzed | call on org.w3c.tidy.Tidy:setIndentContent
unanalyzed | call on org.w3c.tidy.Tidy:setSmartIndent
unanalyzed | call on org.w3c.tidy.Tidy:setIndentAttributes
unanalyzed | call on org.w3c.tidy.Tidy:setWraplen
unanalyzed | call on org.w3c.tidy.Tidy:parseDOM
unanalyzed | call on org.w3c.tidy.Tidy:pprint
unanalyzed | call on java.io.ByteArrayOutputStream:toByteArray
unanalyzed | call on java.lang.String
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:trim
unanalyzed | call on getExcerpt
unanalyzed | call on setExcerpt
unanalyzed | call on getBody
unanalyzed | call on setBody
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
test_vector | java.lang.String:equals(...)@78: {1}, {0}
test_vector | java.lang.String:equals(...)@79: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@75: {1}, {0}

method | void tidy(BlogEntry)
pre | blogEntry != null
pre | blogEntry.propertyChangeSupport != null
pre | init'ed(blogEntry.body)
pre | init'ed(blogEntry.excerpt)
post | blogEntry.body != null
post | init'ed(blogEntry.excerpt)
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:getBytes
unanalyzed | call on java.io.ByteArrayInputStream
unanalyzed | call on java.io.ByteArrayOutputStream
unanalyzed | call on org.w3c.tidy.Tidy
unanalyzed | call on org.w3c.tidy.Tidy:setXHTML
unanalyzed | call on org.w3c.tidy.Tidy:setDocType
unanalyzed | call on org.w3c.tidy.Tidy:setQuiet
unanalyzed | call on org.w3c.tidy.Tidy:setShowWarnings
unanalyzed | call on org.w3c.tidy.Tidy:setIndentContent
unanalyzed | call on org.w3c.tidy.Tidy:setSmartIndent
unanalyzed | call on org.w3c.tidy.Tidy:setIndentAttributes
unanalyzed | call on org.w3c.tidy.Tidy:setWraplen
unanalyzed | call on org.w3c.tidy.Tidy:parseDOM
unanalyzed | call on org.w3c.tidy.Tidy:pprint
unanalyzed | call on java.io.ByteArrayOutputStream:toByteArray
unanalyzed | call on java.lang.String
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange

method | String tidy(String)
presumption | java.lang.String:indexOf(...)@109 + java.lang.String:length(...)@109 in -231..232-1
post | return_value != null
test_vector | s: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@91: {0}, {1..232-1}

| info | method not available | -- call on void org.w3c.tidy.Tidy()

| info | method not available | -- call on void org.w3c.tidy.Tidy:setXHTML(bool)

| info | method not available | -- call on void org.w3c.tidy.Tidy:setDocType(String )

| info | method not available | -- call on void org.w3c.tidy.Tidy:setQuiet(bool)

| info | method not available | -- call on void org.w3c.tidy.Tidy:setShowWarnings(b ool)

| info | method not available | -- call on void org.w3c.tidy.Tidy:setIndentContent( bool)

| info | method not available | -- call on void org.w3c.tidy.Tidy:setSmartIndent(bo ol)

| info | method not available | -- call on void org.w3c.tidy.Tidy:setIndentAttribut es(bool)

| info | method not available | -- call on void org.w3c.tidy.Tidy:setWraplen(int)

| info | method not available | -- call on Document org.w3c.tidy.Tidy:parseDOM(Inpu tStream, OutputStream)

| info | method not available | -- call on void org.w3c.tidy.Tidy:pprint(Document, OutputStream)