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 の変数に対する初期値として有効です。