- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- :Done/非公開情報の伝播 へ行く。
ページ要素が非公開ページや、非公開な属性領域を読み込んだとき、出力先も非公開でなければならない。
処理方法 † 
読み込んだ情報に非公開情報が混ざったら…
- 出力先によって非公開情報を除く
- 処理中の情報をすべて非公開とする
非公開情報を取り除くと、意味を成さなくなる場合。
出力先を調べる † 
出力先に公開範囲を尋ねられないと。
契約プログラミングのように。非公開な領域にのみ非公開情報を与える。
でも通常のプログラミングでは、戻り値がどう使われるかは気にしないはず。特別な仕組みが要る。
戻り値を受けた側で非公開情報を除くのが一般的。これなら使い道を考慮して、どう除くかを変えられる。