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