Messages

method

com.dmdirc.config.prefs.validator.ActionGroupValid ator__static_init

method	ValidationResponse validate(Object)
post	return_value == One-of{&new ValidationResponse( validate#1), &new ValidationResponse(validate# 2)}
post	return_value in Addr_Set{&new ValidationRespons e(validate#1),&new ValidationResponse(validate #2)}
post	new ValidationResponse(validate#1*) num objects <= 1
post	new ValidationResponse(validate#1*).failure == &"Must not already exist."
post	new ValidationResponse(validate#2*) num objects <= 1
post	new ValidationResponse(validate#2*).failure == null
unanalyzed	call on com.dmdirc.actions.ActionManager:getGroups
unanalyzed	call on java.util.Map:containsKey

method

void com.dmdirc.config.prefs.validator. ActionGroupValidator()

method	ValidationResponse validate(String)
presumption	com.dmdirc.actions.ActionManager:getGroups(...)@45 != null
post	return_value in Addr_Set{&new ValidationRespons e(validate#2),&new ValidationResponse(validate# 1)}
post	new ValidationResponse(validate#1) num objects <= 1
post	new ValidationResponse(validate#1).failure == &"Must not already exist."
post	new ValidationResponse(validate#2) num objects <= 1
post	new ValidationResponse(validate#2).failure == null
test_vector	java.util.Map:containsKey(...)@45: {0}, {1}

method not available - call not analyzed Info call on Map com.dmdirc.actions.ActionManager:getGro ups()