Ċ sealed Ġclass ĠView State Ċ object ĠLoading Ġ: ĠView State () Ċ data Ġclass ĠLoaded ( val Ġarticle : ĠArticle ) Ġ: ĠView State () Ċ class ĠError ( val Ġerror : ĠThrowable ?) Ġ: ĠView State () ĊĊ Ċ fun Ġget Log Message ( state : ĠView State ) Ġ: ĠString Ġ{ ĊĠĠĠ Ġreturn Ġwhen Ġ( state ) Ġ{ ĊĠĠĠĠĠĠĠ ĠLoading Ġ-> Ġ" is Ġloading " ĊĠĠĠĠĠĠĠ Ġis ĠLoaded Ġ-> Ġ" is Ġloaded " ĊĠĠĠĠĠĠĠ Ġis ĠError Ġ-> Ġ" error Ġhas Ġoccured " ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ ĊĠĠĠ Ġvar Ġname : ĠString Ġ= Ġ" N ate " ĊĠĠĠ Ġname Ġ= Ġ" john " Ċ }