invariant:ex2
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| invariant:ex2 [2007/02/25 18:07] – bdefrain | invariant:ex2 [2021/02/05 13:53] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Invariants: Mandate setters ====== | + | [[invariant: |
| + | [[invariant: | ||
| + | [[invariant: | ||
| + | [[invariant: | ||
| + | [[invariant: | ||
| + | [[invariant: | ||
| **Task:** Signal a warning for assignments to private fields outside of setter methods. | **Task:** Signal a warning for assignments to private fields outside of setter methods. | ||
| Line 27: | Line 32: | ||
| ---- | ---- | ||
| - | Don't correct these set statements. Instead, when done, disable your aspect: right-click on it and select **Build Path** -> **Exclude**. Continue with [[invariant: | + | Don't correct these set statements. Instead, when done, disable your aspect: right-click on it and select **Build Path** -> **Exclude**. Continue with [[invariant: |
invariant/ex2.1172423227.txt.gz · Last modified: 2007/02/25 18:07 by bdefrain