unstretchable-zero-length-elastic
(定数)
public constant unstretchable-zero-length-elastic:
Elastic
={UnstretchableZeroLengthElastic}
インポート元:
CURL.GUI.STANDARD
. package 内で定義されています
CURL.UTIL.ELASTIC
.
0 の長さの、不変な、「伸長不可能」の
Elastic
です。
プログラミング注意事項
unstretchable-zero-length-elastic
は、「伸長不可能」な
Elastic
として機能する、不変なオブジェクトにバインドされます。このエラスティックは、次により返される
Elastic
に相当します。
{make-elastic compress-order=unstretchable-stretch-order, stretch-order=unstretchable-stretch-order}
この値が
dest
パラメータとして
Elastic
操作に提供され、その結果がこの値に等しくない場合、適切な
Elastic
サブクラスの新しいインスタンスが作成され、その結果を保持します。したがって、
unstretchable-zero-length-elastic
は、プロトコルに従って更新される (
Elastic
の注意で説明されている)、タイプ
Elastic
の変数に対する初期値として有効です。