Messages

method

com.dmdirc.addons.ui_swing.dialogs.profiles. NoDuplicatesInListValidator__static_init

method	ValidationResponse validate(Object)
pre	this.model != null
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#2*) num objects <= 1
unanalyzed	call on javax.swing.DefaultListModel:contains
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. NoDuplicatesInListValidator(DefaultListModel)
post	this.model == model
post	init'ed(this.model)

method	ValidationResponse validate(String)
pre	this.model != 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#2) num objects <= 1
test_vector	javax.swing.DefaultListModel:contains(...)@51: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ValidationResponse(String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ValidationResponse()