package Ġcom . lock wood . autom ata . core . wrappers Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠNot EmptyString ( ĊĠĠĠ Ġprivate Ġval Ġvalue : ĠString , Ċ ) Ġ: ĠComparable < String >, ĠCharSequence Ġ{ ĊĊĠĠĠ Ġinit Ġ{ ĊĠĠĠĠĠĠĠ Ġrequire ( value . isNotEmpty ()) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoperator Ġfun Ġplus ( other : ĠAny ?): ĠNot EmptyString Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn ĠNot EmptyString ( value . plus ( other )) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġval Ġlength : ĠInt ĊĠĠĠĠĠĠĠ Ġget () Ġ= Ġvalue . length ĊĊĠĠĠ Ġoverride Ġfun Ġget ( index : ĠInt ): ĠChar Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġvalue [ index ] ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġsub Sequence ( startIndex : ĠInt , Ġend Index : ĠInt ): ĠCharSequence Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġvalue . sub Sequence ( startIndex , Ġend Index ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun ĠtoString (): ĠString Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġvalue ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġcompare To ( other : ĠString ): ĠInt Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġvalue . compareTo ( other ) ĊĠĠĠ Ġ} Ċ Ċ }