ConditionRuleValidator.java

ConditionRuleValidator.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.config.prefs.validator.ConditionRuleValidator(int)

Kind	Annotation Text
post	init'ed(this.args)
post	this.args == args

com.dmdirc.config.prefs.validator.ConditionRuleValidator__static_init

Kind	Annotation Text

void setArgs(int)

Kind	Annotation Text
post	init'ed(this.args)
post	this.args == args

ValidationResponse validate(Object)

Kind	Annotation Text
pre	(soft) init'ed(this.args)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ValidationResponse(validate#1*) num objects <= 1
post	new ValidationResponse(validate#1*).failure == &"Invalid rule."
post	new ValidationResponse(validate#2*) num objects <= 1
post	new ValidationResponse(validate#2*).failure == &java.lang.StringBuilder:toString(...)
post	new ValidationResponse(validate#4*) num objects <= 1
post	new ValidationResponse(validate#4*).failure == null
post	return_value == One-of{&new ValidationResponse( validate#1), &new ValidationResponse(validate# 2), &new ValidationResponse(validate#4*)}
post	return_value in Addr_Set{&new ValidationRespons e(validate#1),&new ValidationResponse(validate #2),&new ValidationResponse(validate#4*)}
unanalyzed	call on com.dmdirc.actions.ConditionTree:getMaximum Argument
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g

ValidationResponse validate(String)

Kind	Annotation Text
pre	(soft) init'ed(this.args)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ValidationResponse(validate#1) num objects <= 1
post	new ValidationResponse(validate#1).failure == &"Invalid rule."
post	new ValidationResponse(validate#2) num objects <= 1
post	new ValidationResponse(validate#2).failure == &java.lang.StringBuilder:toString(...)
post	new ValidationResponse(validate#4) num objects <= 1
post	new ValidationResponse(validate#4).failure == null
post	return_value in Addr_Set{&new ValidationRespons e(validate#4),&new ValidationResponse(validate# 2),&new ValidationResponse(validate#1)}
test_vector	com.dmdirc.actions.ConditionTree:parseString(... )@57: Inverse{null}, Addr_Set{null}