package Ġsu . jf dev . ek ol lection s . readonly Ċ Ċ import Ġjava . util .* Ċ Ċ class ĠR OR andom List < out ĠT >( override Ġval Ġdelegate : ĠList < T >): ĠReadOnly (), ĠRandom Access , ĠList < T > Ġby Ġdelegate Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġsub List ( from Index : ĠInt , Ġto Index : ĠInt ): ĠList < T > Ġ= Ġdelegate . sub List ( from Index , Ġto Index ). readOnly () ĊĠĠĠ Ġoverride Ġfun Ġlist Iterator ( index : ĠInt ): ĠList Iterator < T > Ġ= Ġdelegate . list Iterator ( index ). readOnly () ĊĠĠĠ Ġoverride Ġfun Ġlist Iterator (): ĠList Iterator < T > Ġ= Ġdelegate . list Iterator (). readOnly () ĊĠĠĠ Ġoverride Ġfun Ġiterator (): ĠIterator < T > Ġ= Ġdelegate . iterator (). readOnly () Ċ } ĊĊ