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
    +preevent != null2010-07-22 12:56:56
    +presumptiongetBlogEntry(...).propertyChangeSupport@64 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null2010-07-22 12:56:56
    +unanalyzedcall on getBody2010-07-22 12:56:56
    +unanalyzedcall on getExcerpt2010-07-22 12:56:56
    +unanalyzedcall on java.beans.PropertyChangeSupport:fireProper tyChange2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream:toByteArray2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:getBytes2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:parseDOM2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:pprint2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setDocType2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setIndentAttributes2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setIndentContent2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setQuiet2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setShowWarnings2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setSmartIndent2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setWraplen2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setXHTML2010-07-22 12:56:56
    +unanalyzedcall on setBody2010-07-22 12:56:56
    +unanalyzedcall on setExcerpt2010-07-22 12:56:56

  • void blogEntryChanged(BlogEntryEvent)

    • -/+ Kind Annotation Text Date
    +preevent != null2010-07-22 12:56:56
    +preevent.propertyChangeEvents != null2010-07-22 12:56:56
    +presumptiongetBlogEntry(...).propertyChangeSupport@80 != null2010-07-22 12:56:56
    +presumptionjava.beans.PropertyChangeEvent:getPropertyName(... )@77 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@76 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null2010-07-22 12:56:56
    +unanalyzedcall on getBody2010-07-22 12:56:56
    +unanalyzedcall on getExcerpt2010-07-22 12:56:56
    +unanalyzedcall on java.beans.PropertyChangeSupport:fireProper tyChange2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream:toByteArray2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:getBytes2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:parseDOM2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:pprint2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setDocType2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setIndentAttributes2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setIndentContent2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setQuiet2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setShowWarnings2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setSmartIndent2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setWraplen2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setXHTML2010-07-22 12:56:56
    +unanalyzedcall on setBody2010-07-22 12:56:56
    +unanalyzedcall on setExcerpt2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@78: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@79: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.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
    +postinit'ed(log)2010-07-22 12:56:56

  • String tidy(String)

    • -/+ Kind Annotation Text Date
    +presumptionjava.lang.String:indexOf(...)@109 + java.lang.String:length(...)@109 in -231..232-12010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +test_vectorjava.lang.String:length(...)@91: {0}, {1..232-1}2010-07-22 12:56:56
    +test_vectors: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • void tidy(BlogEntry)

    • -/+ Kind Annotation Text Date
    +preblogEntry != null2010-07-22 12:56:56
    +preblogEntry.propertyChangeSupport != null2010-07-22 12:56:56
    +preinit'ed(blogEntry.body)2010-07-22 12:56:56
    +preinit'ed(blogEntry.excerpt)2010-07-22 12:56:56
    +postblogEntry.body != null2010-07-22 12:56:56
    +postinit'ed(blogEntry.excerpt)2010-07-22 12:56:56
    +unanalyzedcall on java.beans.PropertyChangeSupport:fireProper tyChange2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream:toByteArray2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:getBytes2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:parseDOM2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:pprint2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setDocType2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setIndentAttributes2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setIndentContent2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setQuiet2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setShowWarnings2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setSmartIndent2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setWraplen2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.tidy.Tidy:setXHTML2010-07-22 12:56:56