## tidylistener.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- void blogEntryAdded(BlogEntryEvent)

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

- void blogEntryChanged(BlogEntryEvent)

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

- void net.sourceforge.pebble.event.blogentry.TidyListener()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- net.sourceforge.pebble.event.blogentry.TidyListener__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(log) | 2010-07-22 12:56:56

- String tidy(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | presumption | java.lang.String:indexOf(...)@109 + java.lang.String:length(...)@109 in -231..232-1 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:length(...)@91: {0}, {1..232-1} | 2010-07-22 12:56:56
+ | test_vector | s: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- void tidy(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blogEntry != null | 2010-07-22 12:56:56
+ | pre | blogEntry.propertyChangeSupport != null | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.body) | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.excerpt) | 2010-07-22 12:56:56
+ | post | blogEntry.body != null | 2010-07-22 12:56:56
+ | post | init'ed(blogEntry.excerpt) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.ByteArrayInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.ByteArrayOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.ByteArrayOutputStream:toByteArray | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:getBytes | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:parseDOM | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:pprint | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setDocType | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setIndentAttributes | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setIndentContent | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setQuiet | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setShowWarnings | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setSmartIndent | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setWraplen | 2010-07-22 12:56:56
+ | unanalyzed | call on org.w3c.tidy.Tidy:setXHTML | 2010-07-22 12:56:56