/* Ċ Ġ* ĠðŁ § ¶ ĠRem i : ĠLibrary Ġto Ġhandling Ġfiles Ġfor Ġpersistent Ġstorage Ġwith ĠGoogle ĠCloud ĠStorage Ċ Ġ* Ġand ĠAmazon ĠS 3 - compatible Ġserver , Ġmade Ġin ĠKotlin ! Ċ Ġ* Ċ Ġ* ĠCopyright Ġ 2 0 2 2 ĠNo el ware Ġ< team @ no el ware . org > Ċ Ġ* Ċ Ġ* ĠLicensed Ġunder Ġthe ĠApache ĠLicense , ĠVersion Ġ 2 . 0 Ġ( the Ġ" License "); Ċ Ġ* Ġyou Ġmay Ġnot Ġuse Ġthis Ġfile Ġexcept Ġin Ġcompliance Ġwith Ġthe ĠLicense . Ċ Ġ* ĠYou Ġmay Ġobtain Ġa Ġcopy Ġof Ġthe ĠLicense Ġat Ċ Ġ* Ċ Ġ* ĠĠĠĠ Ġhttp :// www . apache . org / licenses / LICENSE - 2 . 0 Ċ Ġ* Ċ Ġ* ĠUnless Ġrequired Ġby Ġapplicable Ġlaw Ġor Ġagreed Ġto Ġin Ġwriting , Ġsoftware Ċ Ġ* Ġdistributed Ġunder Ġthe ĠLicense Ġis Ġdistributed Ġon Ġan Ġ" AS ĠIS " ĠBASIS , Ċ Ġ* ĠWITHOUT ĠWARRANTIES ĠOR ĠCONDITIONS ĠOF ĠANY ĠKIND , Ġeither Ġexpress Ġor Ġimplied . Ċ Ġ* ĠSee Ġthe ĠLicense Ġfor Ġthe Ġspecific Ġlanguage Ġgoverning Ġpermissions Ġand Ċ Ġ* Ġlimitations Ġunder Ġthe ĠLicense . Ċ Ġ*/ Ċ Ċ @ file : Jvm Name (" Rem i Filesystem Extensions Kt ") Ċ package Ġorg . no el ware . rem i . filesystem Ċ Ċ import Ġjava . io . File Ċ import Ġkotlin . contracts . Experimental Contracts Ċ import Ġkotlin . contracts . Invocation Kind Ċ import Ġkotlin . contracts . contract Ċ Ċ /** Ċ Ġ* ĠExtension Ġfor Ġ[ File ] Ġif Ġthe Ġ[ File ] Ġexists , Ġthen Ġcall Ġthe Ġ[ body ] Ġfunction , Ċ Ġ* Ġor Ġreturn Ġ` null ` Ġif Ġit Ġdoesn 't Ġexist . ĠIt Ġis Ġpresent Ġin Ġutilities Ġlike Ġ[ Filesystem Storage Tr ailer . open ] Ġand Ġsuch . Ċ Ġ* Ċ Ġ* Ġ@ param Ġbody ĠThe Ġbody Ġto Ġrun Ġif Ġthis Ġ[ File ] Ġexists . Ċ Ġ* Ġ@ return ĠThe Ġresult Ġof Ġthe Ġ[ body ] Ġblock , Ġor Ġnull . Ċ Ġ*/ Ċ @ Opt In ( Experimental Contracts :: class ) Ċ fun Ġ< T > ĠFile . if Exists ( body : ĠFile . () Ġ-> ĠT ): ĠT ? Ġ{ ĊĠĠĠ Ġcontract Ġ{ Ġcalls In Place ( body , ĠInvocation Kind . EX ACT LY _ ON CE ) Ġ} ĊĊĠĠĠ Ġreturn Ġif Ġ( exists ()) Ġbody () Ġelse Ġnull Ċ } Ċ