refererfilter.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.expression)2010-07-16 16:14:15
    U preo != null2010-07-16 16:14:15
    U prethis.expression != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • bool equals(Object)

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

  • Pattern getCompiledExpression()

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

  • String getExpression()

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

  • long getId()

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

  • int hashCode()

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

  • void net.sourceforge.pebble.domain.RefererFilter()

  • -/+ Kind Annotation Text Date

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

  • -/+ Kind Annotation Text Date
    U postinit'ed(this.compiledExpression)2010-07-16 16:14:15
    U postthis.expression != null2010-07-16 16:14:15
    U postthis.expression == One-of{&"", expression}2010-07-16 16:14:15
    U unanalyzedcall on java.util.regex.Pattern:compile2010-07-16 16:14:15

  • net.sourceforge.pebble.domain.RefererFilter__static_init

  • -/+ Kind Annotation Text Date

  • void setExpression(String)

  • -/+ Kind Annotation Text Date
    U postinit'ed(this.compiledExpression)2010-07-16 16:14:15
    U postthis.expression != null2010-07-16 16:14:15
    U postthis.expression == One-of{&"", expression}2010-07-16 16:14:15
    U test_vectorexpression: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15

  • void setId(long)

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