Messages

method | net.sourceforge.pebble.domain.RefererFilter__ static_init

method | void net.sourceforge.pebble.domain. RefererFilter()

method | void net.sourceforge.pebble.domain. RefererFilter(String)
post | init'ed(this.compiledExpression)
post | this.expression == One-of{&"", expression}
post | this.expression != null
unanalyzed | call on java.util.regex.Pattern:compile

method | void setId(long)
post | this.id == id
post | init'ed(this.id)

method | long getId()
pre | init'ed(this.id)
post | return_value == this.id
post | init'ed(return_value)

method | String getExpression()
pre | init'ed(this.expression)
post | return_value == this.expression
post | init'ed(return_value)

method | void setExpression(String)
post | init'ed(this.compiledExpression)
post | this.expression == One-of{&"", expression}
post | this.expression != null
test_vector | expression: Inverse{null}, Addr_Set{null}

method | Pattern getCompiledExpression()
pre | init'ed(this.compiledExpression)
post | return_value == this.compiledExpression
post | init'ed(return_value)

method | int hashCode()
pre | this.expression != null
post | init'ed(return_value)

method | bool equals(Object)
pre | (soft) o.expression != null
pre | (soft) init'ed(this.expression)
post | init'ed(return_value)

method | int compareTo(Object)
pre | o != null
pre | init'ed(o.expression)
pre | this.expression != null
post | init'ed(return_value)