package Ġcom . sk o um al . te an ity . view model Ċ Ċ abstract Ġclass ĠStateful ViewModel < State Ġ: ĠEnum < *> >( ĊĠĠĠ Ġval Ġdefault State : ĠState Ċ ) Ġ: ĠObservable ViewModel () Ġ{ ĊĊĠĠĠ Ġvar Ġstate : ĠState Ġ= Ġdefault State ĊĠĠĠĠĠĠĠ Ġset ( value ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfield Ġ= Ġvalue ĊĠĠĠĠĠĠĠĠĠĠĠ Ġnotify StateChanged () ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠ Ġopen Ġfun Ġnotify StateChanged () Ġ= ĠUnit Ċ Ċ }