package Ġorg . du ang s use . dok uss . intf Ċ Ċ import Ġjava . io . Closeable Ċ Ċ /** ĠA Ġclass Ġwith Ġthe Ġcapacity Ġof Ġrest oring Ġits Ġstate , Ġspecialized Ġfor Ġsequence Ġinput Ġ*/ Ċ interface ĠMark Reset < D > Ġ{ ĊĠ Ġval Ġis Mark ing : ĠBoolean ĊĠ Ġfun Ġmark ( rl : ĠD ) Ġfun Ġreset () ĊĊĠ Ġ/** ĠRun Ġthe Ġoperation Ġ[ op ] Ġwith Ġcurrent Ġcontext , Ġand Ġreset Ġstate Ġafter Ġits Ġcalled Ġ*/ ĊĠ Ġfun Ġ< R > Ġpositional ( rl : ĠD , Ġop : Ġ() Ġ-> ĠR ): ĠR Ġ{ ĊĠĠĠ Ġmark ( rl ); Ġtry Ġ{ Ġreturn Ġop () Ġ} Ġfinally Ġ{ Ġreset () Ġ} ĊĠ Ġ} ĊĠ Ġ/** ĠJava Ġtry - with - resource Ġversion Ġof Ġ[ positional ] Ġ*/ ĊĠ Ġfun Ġpositional Task ( rl : ĠD ) Ġ= ĠClose able Ġ{ Ġthis @ Mark Reset . reset () Ġ}. also Ġ{ Ġmark ( rl ) Ġ} Ċ } Ċ