ActionSubstititionRenderer.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.
components.
renderers.
ActionSubstititionRenderer()
Kind
Annotation Text
com.dmdirc.
addons.
ui_
swing.
components.
renderers.
ActionSubstititionRenderer_
_
static_init
Kind
Annotation Text
Component getListCellRendererComponent(
JList,
Object,
int,
bool, bool)
Kind
Annotation Text
pre
value != null
post
return_value != null
post
return_value == this