tag.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


  • int compareTo(Object)

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

  • String encode(String)

    • -/+ Kind Annotation Text Date
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectortag: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15

  • bool equals(Object)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.name)2010-07-16 16:14:15
    U pre(soft) o.name != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • String format(List)

    • -/+ Kind Annotation Text Date
    U presumptionjava.util.Iterator:next(...)@192 != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@191: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@194: {0}, {1}2010-07-16 16:14:15
    U test_vectortags: Addr_Set{null}, Inverse{null}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 getPermalink()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)2010-07-22 12:56:56
    +pre(soft) init'ed(this.blog.id)2010-07-22 12:56:56
    +pre(soft) net/sourceforge/pebble/domain/BlogManager. instance != null2010-07-22 12:56:56
    U preinit'ed(this.name)2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    +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:valueOf2010-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

  • int getRank()

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

  • int hashCode()

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

  • List parse(Blog, String)

    • -/+ Kind Annotation Text Date
    U presumptions.length@168 <= 232-12010-07-16 16:14:15
    U presumptions[i]@168 != null2010-07-16 16:14:15
    U postnew ArrayList(parse#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(parse#1)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:replaceAll2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:toLowerCase2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:trim2010-07-16 16:14:15
    U test_vectorjava.lang.String:length(...)@167: {0}, {1..232-1}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@171: {1}, {0}2010-07-16 16:14:15
    U test_vectortags: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void setName(String)

    • -/+ Kind Annotation Text Date
    U postthis.name != null2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:replaceAll2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:toLowerCase2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:trim2010-07-16 16:14:15

  • String toString()

    • -/+ 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