Messages

method

com.dmdirc.config.prefs.validator.ConditionRuleVal idator__static_init

method	ValidationResponse validate(Object)
pre	(soft) init'ed(this.args)
post	java.lang.StringBuilder:toString(...)._tainted == 0
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*)}
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
unanalyzed	call on com.dmdirc.actions.ConditionTree:parseStrin g
unanalyzed	call on com.dmdirc.actions.ConditionTree:getMaximum Argument

method	void com.dmdirc.config.prefs.validator. ConditionRuleValidator(int)
post	this.args == args
post	init'ed(this.args)

method	ValidationResponse validate(String)
pre	(soft) init'ed(this.args)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&new ValidationRespons e(validate#4),&new ValidationResponse(validate# 2),&new ValidationResponse(validate#1)}
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
test_vector	com.dmdirc.actions.ConditionTree:parseString(... )@57: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on ConditionTree com.dmdirc.actions. ConditionTree:parseString(String)

method not available - call not analyzed Info call on int com.dmdirc.actions.ConditionTree:getMax imumArgument()