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 -2³¹..2³²-1
post	return_value != null
test_vector	s: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@91: {0}, {1..2³²-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)