Timeline for Violation of Liskov Substitution Principle?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 27, 2021 at 14:21 | history | suggested | Pang | CC BY-SA 4.0 |
Improved spelling, punctuation, wording, capitalization, and syntax highlighting.
|
| Feb 27, 2021 at 7:31 | review | Suggested edits | |||
| S Feb 27, 2021 at 14:21 | |||||
| May 9, 2018 at 12:35 | vote | accept | chrisyue | ||
| May 9, 2018 at 12:35 | comment | added | chrisyue | @Ewan as you are the only answerer who answers the second question with details, I decide to mark your answer as the right answer :) | |
| May 8, 2018 at 12:26 | history | edited | Ewan | CC BY-SA 4.0 |
added 60 characters in body
|
| May 8, 2018 at 10:10 | comment | added | Ewan | @Flater I include the possibly of the invalidarg exception in the provable statement for animal to avoid this violation. The problem of course with exceptions is that in fact there is a massive list of technically possible exceptions for any function and that "does it terminate?" is... hard to prove | |
| May 8, 2018 at 10:02 | comment | added | Flater | Note that in OP's example, your quote of the LSP does fail. Provable property "cat eats food" is violated for Meat, which is a subtype of Food. | |
| May 8, 2018 at 9:49 | history | edited | Ewan | CC BY-SA 4.0 |
added 1738 characters in body
|
| May 8, 2018 at 9:27 | history | answered | Ewan | CC BY-SA 4.0 |