PopupCommand.java |
| current inspection = 2009-09-03 21:56:13 (id #1) |
|
|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this.parent) |
| post | this.parent == newParent |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| pre | args != null |
| pre | this.parent != null |
| pre | this.parent. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| Kind | Annotation Text |
|---|---|
| post | return_value == &"popup <message> - shows the message as a system tray popup" |
| Kind | Annotation Text |
|---|---|
| post | return_value == &"popup" |
| Kind | Annotation Text |
|---|---|
| post | return_value == 1 |
| Kind | Annotation Text |
|---|---|
| pre | this.parent != null |
| pre | this.parent. |
| post | return_value == 1 |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| Kind | Annotation Text |
|---|