@startuml
start
:User executes command;

'Since the beta syntax does not support placing the condition outside the
'diamond we place it as the true branch instead.

if () then ([command commits Codoc])
    :Purge redundant states;
    :Save Codoc to
    codocStateList;
else ([else])
endif
stop
@enduml
