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