method

com.dmdirc.addons.ui_swing.components. SanitisedFilenameFilter__static_init

method

void com.dmdirc.addons.ui_swing.components. SanitisedFilenameFilter()

method	void insertString(DocumentFilter$FilterBypass, int, String, AttributeSet)
pre	(soft) fb != null
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on javax.swing.text.DocumentFilter$FilterBypas s:replace
test_vector	string: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@48: {0}, {1}

method	void remove(DocumentFilter$FilterBypass, int, int)
pre	fb != null
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on javax.swing.text.DocumentFilter$FilterBypas s:replace

method	void replace(DocumentFilter$FilterBypass, int, int, String, AttributeSet)
pre	fb != null
pre	text != null
unanalyzed	call on java.lang.String:replaceAll

method	String sanitise(String)
pre	proposedValue != null
post	return_value != null