type 型の value を定数値とする定数関数を生成する。
type は任意の型を指定することができる。
value を省略したときは type 型の既定値を返す定数関数となる。
関数値変化リスナーの登録
関数値変化リスナー
不変性情報を取得
interval で指定される範囲の不変性情報を返す。
不変性情報は interval に内包されるまたは交差する時刻区間を持っている。
一部が interval と交差する時刻区間はクリップしない。
事前条件: interval.isEmpty() == false
不変性情報
関数値が変化したことを通知
時刻区間 interval の範囲の関数値が変化したことをフレームワークに通知する。
このメソッドは関数値が変化したときにサブクラスの実装者が呼び出す。
関数値が変化した時刻区間
関数値変化リスナーの登録解除
定数値を設定
定数値 (関数値の型)
定数関数
すべての時刻で同じ値を返す任意型の関数である。
関数値の型は構築子のパラメータにより指定する。