カーネルが起動されるたびに自動的にシンボルを初期化する.
既存の初期化があるかどうかをチェックする
シンボル$GeoLocationについてすでに存在する初期化があればリストする.すでに初期化が定義されていない限り,何もリストされないはずである:
シンボルにすでに初期化が存在する場合には,InitializationValueはMissingの代りにその値を返す:
初期化が存在する場合は,クリーンスタートのためにそれらを削除する:
初期化を設定する
$GeoLocationを初期化するための値を指定する:
初期化の値を確かめる:
初期化が行われることを確かめる
カーネルを終了してから再起動する.指定した値に$GeoLocationが初期化されたことを確かめる:
注釈
初期化の値は,$PersistenceBaseが返す永続値の場所に保存される: