| State Diagram: Notation |
| returned() |
| returned() |
|
|
|
| not |
||
| borrowable |
||
| borrowable |
| borrowed()[last
copy] |
| guard expression |
| borrowed()[not
last copy] |
| State diagram for class Book in a library
system |
| 13 |