method

com.dmdirc.addons.ui_swing.components. ExecutableFileFilter__static_init

method

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

method	bool accept(File)
pre	file != null
post	init'ed(return_value)

method	String getDescription()
post	return_value == &"Executable files"