countedurl.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 addLogEntry(LogEntry)

    • -/+ Kind Annotation Text Date
    U prethis.logEntries != null2010-07-16 16:14:15

  • bool equals(Object)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(o.url)2010-07-16 16:14:15
    U pre(soft) init'ed(this.url)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@189: {0}, {1}2010-07-16 16:14:15
    U test_vectoro.url: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15
    U test_vectorthis == o: {0}, {1}2010-07-16 16:14:15
    U test_vectorthis.url: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15

  • int getCount()

    • -/+ Kind Annotation Text Date
    U prethis.logEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • List getLogEntries()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.logEntries)2010-07-16 16:14:15
    U postnew LinkedList(getLogEntries#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new LinkedList(getLogEntries#1 )2010-07-16 16:14:15

  • String getName()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.name2010-07-16 16:14:15

  • String getTruncatedName()

    • -/+ Kind Annotation Text Date
    U prethis.name != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectorjava.lang.String:length(...)@130: {61.. 232-1}, {0..60}2010-07-16 16:14:15

  • String getUrl()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.url)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.url2010-07-16 16:14:15

  • int hashCode()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.url)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • bool isFileDownload()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.fileDownload)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.fileDownload2010-07-16 16:14:15

  • bool isNewsFeed()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.newsFeed)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.newsFeed2010-07-16 16:14:15

  • bool isPageView()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.pageView)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.pageView2010-07-16 16:14:15

  • void net.sourceforge.pebble.logging.CountedUrl(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.blog)2010-07-16 16:14:15
    U postinit'ed(this.fileDownload)2010-07-16 16:14:15
    U postinit'ed(this.newsFeed)2010-07-16 16:14:15
    U postinit'ed(this.pageView)2010-07-16 16:14:15
    U postinit'ed(this.url)2010-07-16 16:14:15
    U postnew LinkedList(CountedUrl#1) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(this.name)2010-07-16 16:14:15
    U postthis.logEntries == &new LinkedList(CountedUrl#1 )2010-07-16 16:14:15
    -unanalyzedcall on getBlogEntries2010-07-16 16:59:22
    -unanalyzedcall on getBlogEntry2010-07-16 16:59:22
    -unanalyzedcall on getBlogForDay2010-07-16 16:59:22
    -unanalyzedcall on getBlogForMonth2010-07-16 16:59:22
    -unanalyzedcall on getDate2010-07-16 16:59:22
    -unanalyzedcall on getDay2010-07-16 16:59:22
    -unanalyzedcall on getId2010-07-16 16:59:22
    -unanalyzedcall on getLocalPermalink2010-07-16 16:59:22
    -unanalyzedcall on getMonth2010-07-16 16:59:22
    U unanalyzedcall on getName2010-07-16 16:14:15
    -unanalyzedcall on getPermalinkProvider2010-07-16 16:59:22
    -unanalyzedcall on getTitle2010-07-16 16:59:22
    -unanalyzedcall on isBlogEntryPermalink2010-07-16 16:59:22
    -unanalyzedcall on isDayPermalink2010-07-16 16:59:22
    -unanalyzedcall on isMonthPermalink2010-07-16 16:59:22
    -unanalyzedcall on java.lang.Integer:parseInt2010-07-16 16:59:22
    U unanalyzedcall on java.lang.String:endsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    -unanalyzedcall on java.lang.String:matches2010-07-16 16:59:22
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.net.URLDecoder:decode2010-07-16 16:14:15
    U unanalyzedcall on java.text.SimpleDateFormat2010-07-16 16:14:15
    U unanalyzedcall on java.text.SimpleDateFormat:format2010-07-16 16:14:15
    U unanalyzedcall on java.text.SimpleDateFormat:setTimeZone2010-07-16 16:14:15
    -unanalyzedcall on java.util.List:iterator2010-07-16 16:59:22
    U unanalyzedcall on java.util.regex.Matcher:end2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Matcher:find2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Matcher:matches2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Matcher:start2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Pattern:matcher2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getPermalinkProvider2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:getTitle2010-07-22 12:56:56
    -unanalyzedcall on net.sourceforge.pebble.domain.BlogService2010-07-16 16:59:22
    +unanalyzedcall on net.sourceforge.pebble.domain.Day:getDate2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Month:getDate2010-07-22 12:56:56
    -unanalyzedcall on net.sourceforge.pebble.permalink. DefaultPermalinkProvider2010-07-16 16:59:22
    -unanalyzedcall on setBlog2010-07-16 16:59:22
    U unanalyzedcall on setFileDownload2010-07-16 16:14:15
    U unanalyzedcall on setName2010-07-16 16:14:15
    U unanalyzedcall on setNewsFeed2010-07-16 16:14:15
    U unanalyzedcall on setPageView2010-07-16 16:14:15
    U unanalyzedcall on setUrl2010-07-16 16:14:15

  • void net.sourceforge.pebble.logging.CountedUrl(String, Blog)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.blog)2010-07-16 16:14:15
    U postinit'ed(this.fileDownload)2010-07-16 16:14:15
    U postinit'ed(this.newsFeed)2010-07-16 16:14:15
    U postinit'ed(this.pageView)2010-07-16 16:14:15
    U postinit'ed(this.url)2010-07-16 16:14:15
    U postnew LinkedList(CountedUrl#1) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(this.name)2010-07-16 16:14:15
    U postthis.blog == blog2010-07-16 16:14:15
    U postthis.logEntries == &new LinkedList(CountedUrl#1 )2010-07-16 16:14:15
    -unanalyzedcall on getBlogEntries2010-07-16 16:59:22
    -unanalyzedcall on getBlogEntry2010-07-16 16:59:22
    -unanalyzedcall on getBlogForDay2010-07-16 16:59:22
    -unanalyzedcall on getBlogForMonth2010-07-16 16:59:22
    -unanalyzedcall on getDate2010-07-16 16:59:22
    -unanalyzedcall on getDay2010-07-16 16:59:22
    -unanalyzedcall on getId2010-07-16 16:59:22
    -unanalyzedcall on getLocalPermalink2010-07-16 16:59:22
    -unanalyzedcall on getMonth2010-07-16 16:59:22
    U unanalyzedcall on getName2010-07-16 16:14:15
    -unanalyzedcall on getPermalinkProvider2010-07-16 16:59:22
    -unanalyzedcall on getTitle2010-07-16 16:59:22
    -unanalyzedcall on isBlogEntryPermalink2010-07-16 16:59:22
    -unanalyzedcall on isDayPermalink2010-07-16 16:59:22
    -unanalyzedcall on isMonthPermalink2010-07-16 16:59:22
    -unanalyzedcall on java.lang.Integer:parseInt2010-07-16 16:59:22
    U unanalyzedcall on java.lang.String:endsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equals2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:indexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:lastIndexOf2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    -unanalyzedcall on java.lang.String:matches2010-07-16 16:59:22
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.net.URLDecoder:decode2010-07-16 16:14:15
    U unanalyzedcall on java.text.SimpleDateFormat2010-07-16 16:14:15
    U unanalyzedcall on java.text.SimpleDateFormat:format2010-07-16 16:14:15
    U unanalyzedcall on java.text.SimpleDateFormat:setTimeZone2010-07-16 16:14:15
    -unanalyzedcall on java.util.List:iterator2010-07-16 16:59:22
    U unanalyzedcall on java.util.regex.Matcher:end2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Matcher:find2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Matcher:matches2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Matcher:start2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Pattern:matcher2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLocale2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getPermalinkProvider2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:getTitle2010-07-22 12:56:56
    -unanalyzedcall on net.sourceforge.pebble.domain.BlogService2010-07-16 16:59:22
    +unanalyzedcall on net.sourceforge.pebble.domain.Day:getDate2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Month:getDate2010-07-22 12:56:56
    -unanalyzedcall on net.sourceforge.pebble.permalink. DefaultPermalinkProvider2010-07-16 16:59:22
    -unanalyzedcall on setBlog2010-07-16 16:59:22
    U unanalyzedcall on setFileDownload2010-07-16 16:14:15
    U unanalyzedcall on setName2010-07-16 16:14:15
    U unanalyzedcall on setNewsFeed2010-07-16 16:14:15
    U unanalyzedcall on setPageView2010-07-16 16:14:15
    U unanalyzedcall on setUrl2010-07-16 16:14:15

  • net.sourceforge.pebble.logging.CountedUrl__static_init

    • -/+ Kind Annotation Text Date

  • void setFileDownload(bool)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.fileDownload)2010-07-16 16:14:15
    U postthis.fileDownload == fileDownload2010-07-16 16:14:15

  • void setName(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.name)2010-07-16 16:14:15
    U postthis.name == name2010-07-16 16:14:15

  • void setNewsFeed(bool)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.newsFeed)2010-07-16 16:14:15
    U postthis.newsFeed == newsFeed2010-07-16 16:14:15

  • void setPageView(bool)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.pageView)2010-07-16 16:14:15
    U postthis.pageView == pageView2010-07-16 16:14:15

  • void setUrl(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.url)2010-07-16 16:14:15
    U postthis.url == url2010-07-16 16:14:15