package Ġorg . se asar . dom a . it . criteria Ċ Ċ import Ġorg . se asar . dom a . Domain Ċ Ċ @ Domain ( valueType Ġ= ĠString :: class ) Ċ class ĠStreet ( val Ġvalue : ĠString ) Ġ: ĠCharSequence Ġ{ ĊĊĠĠĠ Ġ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 ) ĊĠĠĠ Ġ} Ċ } Ċ