package Ġch . source motion . vertx . k inesis . consumer . orche stra . impl . ext Ċ Ċ import Ġkotlin . contracts . contract Ċ Ċ fun ĠBoolean ?. isTrue (): ĠBoolean Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġreturns ( true ) Ġimplies Ġ( this @ isTrue Ġ!= Ġnull ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġthis Ġ== Ġtrue Ċ } Ċ Ċ fun ĠAny ?. isNotNull (): ĠBoolean Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġreturns ( true ) Ġimplies Ġ( this @ isNotNull Ġ!= Ġnull ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġthis Ġ!= Ġnull Ċ } Ċ Ċ fun ĠAny ?. isNull (): ĠBoolean Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġreturns ( true ) Ġimplies Ġ( this @ isNull Ġ== Ġnull ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġthis Ġ== Ġnull Ċ } Ċ Ċ fun ĠBoolean ?. isFalse (): ĠBoolean Ġ{ ĊĠĠĠ Ġreturn Ġthis Ġ== Ġnull Ġ|| Ġ! this Ċ } Ċ Ċ fun ĠCharSequence ?. isNotNull Or Blank (): ĠBoolean Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġreturns ( true ) Ġimplies Ġ( this @ isNotNull Or Blank Ġ!= Ġnull ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġthis . isNull Or Blank (). isFalse () Ċ } Ċ