package Ġcom . go j uno . k optional Ċ Ċ import Ġorg . assertj . core . api . Assertions . assertThat Ċ import Ġorg . jetbrains . spe k . api . Spe k Ċ import Ġorg . jetbrains . spe k . api . dsl . describe Ċ import Ġorg . jetbrains . spe k . api . dsl . it Ċ import Ġorg . junit . platform . commons . annotation . Test able Ċ Ċ @ Test able Ċ class ĠOptional Spec Ġ: ĠSpe k ({ ĊĊĠĠĠ Ġdescribe (" to Nullable ") Ġ{ ĊĊĠĠĠĠĠĠĠ Ġit (" con verts ĠSome Ġto Ġvalue ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġsome : ĠOptional < String > Ġ= ĠSome (" value ") ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( some . to Nullable ()). isEqualTo (" value ") ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" con verts ĠNone Ġto Ġnull ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġnone : ĠOptional < String > Ġ= ĠNone ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( none . to Nullable ()). isNull () ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġdescribe (" to Optional ") Ġ{ ĊĊĠĠĠĠĠĠĠ Ġit (" con verts Ġvalue Ġto ĠSome ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġvalue Ġ= Ġ" value " ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( value . to Optional ()). isEqualTo ( Some ( value )) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" con verts Ġnull Ġto ĠNone ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġvalue : ĠString ? Ġ= Ġnull ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( value . to Optional ()). isEqualTo ( None ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġdescribe (" toString ") Ġ{ ĊĊĠĠĠĠĠĠĠ Ġit (" pro duces ĠSome Ġrepresentation ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( Some (" value "). toString ()). isEqualTo (" Some ( value )") ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" pro duces ĠNone Ġrepresentation ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( None . toString ()). isEqualTo (" None ") ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġdescribe (" destruct uring ") Ġ{ ĊĊĠĠĠĠĠĠĠ Ġit (" de structures ĠSome Ġto Ġvalue ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġsome : ĠOptional < String > Ġ= ĠSome (" value ") ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġ( de structure ) Ġ= Ġsome ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( de structure ). isEqualTo (" value ") ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" de structures ĠNone Ġto Ġnull ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġnone : ĠOptional < String > Ġ= ĠNone ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġ( de structure ) Ġ= Ġnone ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( de structure ). isNull () ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ }) Ċ