Names.java |
| current inspection = 2009-09-03 21:56:13 (id #1) |
|
|
| Kind | Annotation Text |
|---|---|
| pre | init'ed(com/ |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on getName |
| unanalyzed | call on getType |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| pre | channel != null |
| pre | server != null |
| presumption | com.dmdirc. |
| presumption | com.dmdirc. |
| Kind | Annotation Text |
|---|---|
| pre | server != null |
| presumption | com.dmdirc. |
| Kind | Annotation Text |
|---|---|
| post | return_value == &"names - Requests a list of users that are in the channel" |
| Kind | Annotation Text |
|---|---|
| post | return_value == &"names" |
| Kind | Annotation Text |
|---|---|
| post | init'ed(return_value) |
| Kind | Annotation Text |
|---|---|
| post | return_value == 1 |