abstractblog.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 clearMessages()

  • -/+ Kind Annotation Text Date
    +prethis.messages != null2010-07-22 12:56:56

  • void error(String)

  • -/+ Kind Annotation Text Date
    +prelog != null2010-07-22 12:56:56
    +prethis.messages != null2010-07-22 12:56:56
    +postinit'ed(this.messages)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Date2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:subList2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.util. SecurityUtils:getUsername2010-07-22 12:56:56

  • String getAuthor()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • Calendar getCalendar()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Locale2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.TimeZone:getTimeZone2010-07-22 12:56:56

  • String getCharacterEncoding()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • String getContext()

  • -/+ Kind Annotation Text Date
    +presumptionjava.lang.String:indexOf(...)@295 <= 232-42010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@294 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...)@294 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getInstance(.. .)@294 != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +test_vectorjava.lang.String:indexOf(...)@295: {-231. .-2, 0..232-1}, {-1}2010-07-22 12:56:56

  • String getCountry()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • String getDescription()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • String getDomainName()

  • -/+ Kind Annotation Text Date
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...)@275 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getInstance(.. .)@275 != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleContext:getCon figuration2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleContext:getIns tance2010-07-22 12:56:56

  • String getImage()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • String getImagesDirectory()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.root)2010-07-22 12:56:56
    +presumptioninit'ed(java.io.File.separator)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • String getIndexesDirectory()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.root)2010-07-22 12:56:56
    +presumptioninit'ed(java.io.File.separator)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • String getLanguage()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • Locale getLocale()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postnew Locale(getLocale#1) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new Locale(getLocale#1)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56

  • String getLogsDirectory()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.root)2010-07-22 12:56:56
    +presumptioninit'ed(java.io.File.separator)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • List getMessages()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.messages)2010-07-22 12:56:56
    +postnew ArrayList(getMessages#1) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new ArrayList(getMessages#1)2010-07-22 12:56:56

  • String getName()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • int getNumberOfMessages()

  • -/+ Kind Annotation Text Date
    +prethis.messages != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • Properties getProperties()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • String getProperty(String)

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • String getProtocol()

  • -/+ Kind Annotation Text Date
    +presumptionjava.lang.String:indexOf(...)@285 <= 232-42010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...).url@284 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...)@284 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.PebbleContext:getInstance(.. .)@284 != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • List getRecentBlogEntries()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +postnew ArrayList(getRecentBlogEntries#2*) num objects <= 12010-07-22 12:56:56
    +postnew ArrayList(getRecentBlogEntries#4*) num objects <= 12010-07-22 12:56:56
    +unanalyzedcall on clone2010-07-22 12:56:56
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on getBlogEntryDAO2010-07-22 12:56:56
    +unanalyzedcall on getCompositeKeyForBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on getConfiguredFactory2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on getRecentPublishedBlogEntries2010-07-22 12:56:56
    +unanalyzedcall on isPublic2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Integer:parseInt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList:subList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collection:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collections:sort2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:addAll2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:values2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on loadBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.Cache:get2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.Cache:put2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.Element2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.Element:getValue2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. BlogServiceException2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:error2010-07-22 12:56:56
    +unanalyzedcall on setEventsEnabled2010-07-22 12:56:56
    +unanalyzedcall on setPersistent2010-07-22 12:56:56

  • int getRecentBlogEntriesOnHomePage()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • int getRecentResponsesOnHomePage()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • String getRoot()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.root)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +postreturn_value == this.root2010-07-22 12:56:56

  • String getSearchIndexDirectory()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.root)2010-07-22 12:56:56
    +presumptioninit'ed(java.io.File.separator)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56

  • String getTheme()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • TimeZone getTimeZone()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56

  • String getTimeZoneId()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • void info(String)

  • -/+ Kind Annotation Text Date
    +prelog != null2010-07-22 12:56:56
    +prethis.messages != null2010-07-22 12:56:56
    +postinit'ed(this.messages)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Date2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:subList2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.util. SecurityUtils:getUsername2010-07-22 12:56:56

  • void init()

  • -/+ Kind Annotation Text Date
    +pre(soft) log != null2010-07-22 12:56:56
    +preinit'ed(this.root)2010-07-22 12:56:56
    +postnew Properties(loadProperties#1) num objects == 12010-07-22 12:56:56
    +postthis.properties == &new Properties(loadProperti es#1)2010-07-22 12:56:56
    +unanalyzedcall on getDefaultProperties2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:load2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:error2010-07-22 12:56:56

  • bool isConfigured()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.root)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • void loadProperties()

  • -/+ Kind Annotation Text Date
    +pre(soft) log != null2010-07-22 12:56:56
    +preinit'ed(this.root)2010-07-22 12:56:56
    +postnew Properties(loadProperties#1) num objects <= 12010-07-22 12:56:56
    +postthis.properties == One-of{&new Properties(loadP roperties#1), old this.properties}2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +test_vectorjava.io.File:exists(...)@111: {1}, {0}2010-07-22 12:56:56

  • void net.sourceforge.pebble.domain.AbstractBlog(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.root)2010-07-22 12:56:56
    +postnew LinkedList(AbstractBlog#1) num objects == 12010-07-22 12:56:56
    +postthis.blog == null2010-07-22 12:56:56
    +postthis.messages == &new LinkedList(AbstractBlog#1 )2010-07-22 12:56:56
    +postthis.root == root2010-07-22 12:56:56

  • net.sourceforge.pebble.domain.AbstractBlog__static_init

  • -/+ Kind Annotation Text Date
    +postinit'ed(log)2010-07-22 12:56:56

  • void removeProperty(String)

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56

  • void setProperty(String, String)

  • -/+ Kind Annotation Text Date
    +pre(soft) this.properties != null2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:remove2010-07-22 12:56:56
    +test_vectorkey: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorvalue: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • void setRecentBlogEntries(List)

  • -/+ Kind Annotation Text Date

  • void setRoot(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.root)2010-07-22 12:56:56
    +postthis.root == root2010-07-22 12:56:56

  • void storeProperties()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.root)2010-07-22 12:56:56
    +pre(soft) log != null2010-07-22 12:56:56
    +pre(soft) this.properties != null2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56

  • String toString()

  • -/+ Kind Annotation Text Date
    +prethis.properties != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56

  • void truncateMessages()

  • -/+ Kind Annotation Text Date
    +prethis.messages != null2010-07-22 12:56:56
    +postinit'ed(this.messages)2010-07-22 12:56:56
    +test_vectorjava.util.List:size(...)@498: {-231..20}, {21..232-1}2010-07-22 12:56:56

  • void warn(String)

  • -/+ Kind Annotation Text Date
    +prelog != null2010-07-22 12:56:56
    +prethis.messages != null2010-07-22 12:56:56
    +postinit'ed(this.messages)2010-07-22 12:56:56
    +unanalyzedcall on java.util.Date2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:subList2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.util. SecurityUtils:getUsername2010-07-22 12:56:56