SettingsRevertButton.java
current inspection =
2009-09-03 21:56:13 (id #1)
Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector
void com.
dmdirc.
addons.
ui_
swing.
dialogs.
actionsmanager.
SettingsRevertButton(
PreferencesSetting)
Kind
Annotation Text
pre
setting != null
com.dmdirc.
addons.
ui_
swing.
dialogs.
actionsmanager.
SettingsRevertButton_
_
static_init
Kind
Annotation Text
void settingChanged(
PreferencesSetting)
Kind
Annotation Text
pre
setting != null