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)