package Ġstri kt . assertions Ċ Ċ import Ġstri kt . api . Assertion Ċ import Ġstri kt . api . Failure Ċ import Ġstri kt . api . Success Ċ import Ġstri kt . api . Try Ċ Ċ /** Ċ Ġ* ĠAssert s Ġthat Ġthe Ġsubject Ġis Ġa Ġsuccessful Ġresult Ġand Ġmaps Ġthis Ġassertion Ġto Ċ Ġ* Ġan Ġassertion Ġover Ġthe Ġresult Ġvalue . Ċ Ġ* Ċ Ġ* Ġ@ see Ġ[ Result . is Success ]. Ċ Ġ*/ Ċ fun Ġ< T Ġ: ĠAny ?> ĠAssertion . Builder < Try < T >> . succeeded (): ĠAssertion . Builder < T > Ġ{ ĊĠ Ġ@ Suppress (" UN CHECK ED _ CAST ") ĊĠ Ġreturn Ġassert (" succeeded ") Ġ{ Ġsubject Ġ-> ĊĠĠĠ Ġwhen Ġ( subject ) Ġ{ ĊĠĠĠĠĠ Ġis ĠSuccess Ġ-> Ġpass () ĊĠĠĠĠĠ Ġis ĠFailure Ġ-> Ġfail ( ĊĠĠĠĠĠĠĠ Ġdescription Ġ= Ġ" th rew Ġ% s ", ĊĠĠĠĠĠĠĠ Ġactual Ġ= Ġsubject . exception , ĊĠĠĠĠĠĠĠ Ġcause Ġ= Ġsubject . exception ĊĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} ĊĠ Ġ}. get (" returned Ġvalue ") Ġ{ Ġ( this Ġas ĠSuccess < T >). value Ġ} Ċ } Ċ Ċ /** Ċ Ġ* ĠAssert s Ġthat Ġthe Ġsubject Ġis Ġa Ġfailed Ġresult Ġand Ġmaps Ġthis Ġassertion Ġto Ġan Ċ Ġ* Ġassertion Ġover Ġthe Ġexception Ġthat Ġwas Ġthrown Ċ Ġ* Ċ Ġ* Ġ@ see Ġ[ Result . is Failure ]. Ċ Ġ*/ Ċ fun Ġ< T Ġ: ĠAny ?> ĠAssertion . Builder < Try < T >> . failed (): ĠAssertion . Builder < Throwable > Ġ{ ĊĠ Ġ@ Suppress (" UN CHECK ED _ CAST ") ĊĠ Ġreturn Ġassert (" failed Ġwith Ġan Ġexception ") Ġ{ Ġsubject Ġ-> ĊĠĠĠ Ġwhen Ġ( subject ) Ġ{ ĊĠĠĠĠĠ Ġis ĠSuccess Ġ-> Ġfail ( ĊĠĠĠĠĠĠĠ Ġdescription Ġ= Ġif Ġ( subject . value Ġis ĠUnit ) Ġ" ran Ġsuccessfully " Ġelse Ġ" returned Ġ% s ", ĊĠĠĠĠĠĠĠ Ġactual Ġ= Ġsubject . value ĊĠĠĠĠĠ Ġ) ĊĠĠĠĠĠ Ġis ĠFailure Ġ-> Ġpass () ĊĠĠĠ Ġ} ĊĠ Ġ}. get (" caught Ġexception ") Ġ{ Ġ( this Ġas ĠFailure ). exception Ġ} Ċ } Ċ Ċ /** Ċ Ġ* ĠAssert s Ġthat Ġthe Ġsubject Ġis Ġa Ġis Failure Ġresult Ġthat Ġthrew Ġan Ġexception Ċ Ġ* Ġassignable Ġto Ġ[ E ] Ġand Ġmaps Ġthis Ġassertion Ġto Ġan Ġassertion Ġover Ġthat Ċ Ġ* Ġexception . Ċ Ġ* Ċ Ġ* Ġ@ see Ġ[ Result . is Failure ]. Ċ Ġ*/ Ċ inline Ġfun Ġ< re ified ĠE Ġ: ĠThrowable > ĠAssertion . Builder < Try <* >> . failed With () Ġ= ĊĠ Ġfailed (). is A < E >() Ċ