PortValidator.java
current inspection =
2009-09-03 21:56:13 (id #1)
Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector
void com.
dmdirc.
config.
prefs.
validator.
PortValidator()
Kind
Annotation Text
post
this.max == 2
16
-1
post
this.min == 1
com.dmdirc.
config.
prefs.
validator.
PortValidator_
_
static_init
Kind
Annotation Text