SwingInputField.java |
| current inspection = 2009-09-03 21:56:13 (id #1) |
|
|
| Kind | Annotation Text |
|---|---|
| pre | x0 != null |
| post | init'ed(return_value) |
| post | return_value == x0. |
| Kind | Annotation Text |
|---|---|
| pre | init'ed(x0. |
| pre | x0 != null |
| post | init'ed(return_value) |
| post | return_value == x0. |
| Kind | Annotation Text |
|---|---|
| pre | x0 != null |
| post | init'ed(return_value) |
| post | return_value == x1 |
| post | x0.colourPicker == return_value |
| Kind | Annotation Text |
|---|---|
| pre | x0 != null |
| post | init'ed(return_value) |
| post | return_value == x0. |
| Kind | Annotation Text |
|---|---|
| pre | x0 != null |
| post | init'ed(return_value) |
| post | return_value == x0. |
| Kind | Annotation Text |
|---|---|
| pre | x0 != null |
| post | init'ed(return_value) |
| post | return_value == x0. |
| Kind | Annotation Text |
|---|---|
| pre | (soft) actionEvent != null |
| pre | (soft) this. |
| pre | this.colourPicker != null |
| presumption | javax.swing. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | init'ed(this. |
| post | this.val$ |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this. |
| post | this.val$ |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| presumption | com.dmdirc. |
| post | new JLabel( |
| post | new JLabel( |
| post | new JTextField( |
| post | new ListenerList( |
| post | this.errorIndicator == &new JLabel( |
| post | this.listeners == &new ListenerList( |
| post | this.textField == &new JTextField( |
| post | this.wrapIndicator == &new JLabel( |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| pre | this.listeners != null |
| presumption | com.dmdirc. |
| presumption | java.util. |
| test_vector | java.util. |
| Kind | Annotation Text |
|---|---|
| pre | this.listeners != null |
| presumption | com.dmdirc. |
| presumption | java.util. |
| test_vector | java.util. |
| Kind | Annotation Text |
|---|---|
| pre | this.listeners != null |
| presumption | com.dmdirc. |
| presumption | java.util. |
| test_vector | java.util. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| presumption | com.dmdirc. |
| post | init'ed(return_value) |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.listeners != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.errorIndicator != null |
| Kind | Annotation Text |
|---|---|
| pre | init'ed(this. |
| test_vector | this.colourPicker: |
| Kind | Annotation Text |
|---|---|
| pre | this.errorIndicator != null |
| pre | this.wrapIndicator != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.errorIndicator != null |
| pre | this.wrapIndicator != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | (soft) this. |
| presumption | (int) (java. |
| presumption | (int) (java. |
| presumption | com.dmdirc. |
| presumption | com.dmdirc. |
| presumption | javax.swing. |
| post | init'ed(new ColourPickerDialog( |
| post | init'ed(new ColourPickerPanel( |
| post | init'ed(new ColourPickerPanel( |
| post | new ArrayList( |
| post | new ColourPickerDialog( |
| post | new ColourPickerDialog( |
| post | new ColourPickerPanel( |
| post | new ColourPickerPanel( |
| post | new ColourPickerPanel( |
| post | this.colourPicker == One-of{old this. |
| 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 java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| test_vector | com.dmdirc. |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.textField != null |
| Kind | Annotation Text |
|---|---|
| pre | this.listeners != null |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |
| Kind | Annotation Text |
|---|---|
| unanalyzed | call on java. |
| unanalyzed | call on javax. |
| unanalyzed | call on javax. |