States' diagrams (statecharts)

Realization: the state is simply a particular attribute (that can be represented by an enumeration type for instance) and transitions can be encoded into operations/methods by the way of if_then or switch_case statement.

Classes' diagram

NB. Remark the use of private (-) methods to restrict access to an operation.