// ĠPRO BLE M : Ġnone Ċ // ĠWITH _ RUNTIME Ċ class ĠTest Ġ{ ĊĠĠĠ Ġvar Ġs : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġfun Ġtest () Ġ{ ĊĠĠĠĠĠĠĠ Ġif Ġ( s Ġ!= Ġnull ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ< caret > require NotNull ( s ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }