package Ġcom . shop runner . b ale en . types Ċ Ċ import Ġcom . shop runner . b ale en . Sequence Assert . Companion . assertThat Ċ import Ġcom . shop runner . b ale en . ValidationError Ċ import Ġcom . shop runner . b ale en . data Trace Ċ import Ġorg . junit . jupiter . api . Test Ċ import Ġorg . junit . jupiter . api . Test Instance Ċ Ċ @ Test Instance ( Test Instance . Lifecycle . PER _ CLASS ) Ċ internal Ġclass ĠBoolean Type Test Ġ{ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` passes Ġa Ġboolean `() Ġ{ ĊĠĠĠĠĠĠĠ ĠassertThat ( Boolean Type (). validate ( data Trace (), Ġtrue )). isEmpty () ĊĠĠĠĠĠĠĠ ĠassertThat ( Boolean Type (). validate ( data Trace (), Ġfalse )). isEmpty () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` checks Ġnull `() Ġ{ ĊĠĠĠĠĠĠĠ ĠassertThat ( Boolean Type (). validate ( data Trace (), Ġnull )). contains Exactly ( ValidationError ( data Trace (), Ġ" is Ġnull ", Ġnull )) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` checks Ġnot ĠBoolean `() Ġ{ ĊĠĠĠĠĠĠĠ ĠassertThat ( Boolean Type (). validate ( data Trace (), Ġ 0 L )). contains Exactly ( ValidationError ( data Trace (), Ġ" is Ġnot Ġa Ġboolean ", Ġ 0 L )) ĊĠĠĠ Ġ} Ċ } Ċ