Typestate Pattern - Graph View

A design technique that encodes an object's current state in its type, so calling an operation in the wrong state becomes a compile-time error instead of a runtime bug.