CommunicationStep.java |
| current inspection = 2009-09-03 21:56:13 (id #1) |
|
|
| Kind | Annotation Text |
|---|---|
| pre | this.updates != null |
| post | init'ed(return_value) |
| Kind | Annotation Text |
|---|---|
| pre | this.updates != null |
| post | init'ed(return_value) |
| Kind | Annotation Text |
|---|---|
| post | new JCheckBox( |
| post | new JCheckBox( |
| post | new TextLabel( |
| post | new TextLabel( |
| post | this.errors == &new JCheckBox( |
| post | this.errorsInfo == &new TextLabel( |
| post | this.updates == &new JCheckBox( |
| post | this.updatesInfo == &new TextLabel( |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| unanalyzed | call on net. |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | return_value == &"Communication settings" |
| Kind | Annotation Text |
|---|---|
| post | new JCheckBox( |
| post | new JCheckBox( |
| post | new TextLabel( |
| post | new TextLabel( |
| post | this.errors == &new JCheckBox( |
| post | this.errorsInfo == &new TextLabel( |
| post | this.updates == &new JCheckBox( |
| post | this.updatesInfo == &new TextLabel( |
| Kind | Annotation Text |
|---|---|
| pre | init'ed(this.errors) |
| pre | init'ed(this. |
| pre | init'ed(this. |
| pre | init'ed(this. |