アニメーション時刻の区間

アニメーション時刻の区間を表現するクラスである。

このクラスのインスタンスはイミュータブルである。

Constructors

  • 下限 lower と上限 upper の時刻区間を生成する。

    端点である lower と upper が区間に含まれるかどうかは l_open と u_open により指定する。

    interval l_open u_open
    [lower, upper] false false
    [lower, upper) false true
    (lower, upper] true false
    (lower, upper) true true

    Parameters

    • lower: Time

      区間の下限時刻

    • upper: Time

      区間の上限時刻

    • l_open: boolean = false
    • u_open: boolean = false

    Returns Interval

Properties

_l_open: boolean
_lower: Time
_u_open: boolean
_upper: Time

Accessors

Methods

  • 補時刻区間を取得

    全時刻区間 から this を差し引いた時刻集合を時刻区間の配列として返す。

    0 から 2 個の時刻区間を含む配列を返す。配列の要素に空時刻区間は含まれない。

    2 要素の配列 v が返されたとき、v[0] と v[1] の間に時刻が存在し、さらに v[0].precedes( v[1] ) は true となる。

    Returns Interval[]

    補時刻区間

  • 時刻区間の差を取得

    this から rhs を差し引いた時刻集合 (this - rhs) を時刻区間の配列として返す。

    0 から 2 個の時刻区間を含む配列を返す。配列の要素に空時刻区間は含まれない。

    2 要素の配列 v が返されたとき、v[0] と v[1] の間に時刻が存在し、さらに v[0].precedes( v[1] ) は true となる。

    Parameters

    Returns Interval[]

    時刻区間の差

  • 後続時刻区間を取得

    this のすべての時刻に対して、後の時刻となるすべての時刻を含む後続時刻区間を返す。

    this が空時刻区間のときは全時刻区間を返し、this に表現可能な最後の時刻が含まれるときは空時刻区間を返す。

    this.precedes( this.getFollowings() ) は常に true を返す。

    Returns Interval

    後続時刻区間

  • 共通時刻区間を取得

    this と rhs の共通時刻区間 (this ∩ rhs) を返す。

    this と rhs に共通の時刻が存在しなければ空時刻区間を返す。

    Parameters

    Returns Interval

    共通時刻区間

    See

    [[Interval.hasIntersection]]

  • 先行時刻区間を取得

    this のすべての時刻に対して、先の時刻となるすべての時刻を含む先行時刻区間を返す。

    this が空時刻区間のときは全時刻区間を返し、this に表現可能な最初の時刻が含まれるときは空時刻区間を返す。

    this.getPrecedings().precedes( this ) は常に true を返す。

    Returns Interval

    先行時刻区間

  • 合併時刻区間を取得

    this と rhs を合併した時刻集合 (this ∪ rhs) を時刻区間の配列として返す。 0 から 2 個の時刻区間を含む配列を返す。配列の要素に空時刻区間は含まれない。

    2 要素の配列 v が返されたとき、v[0] と v[1] の間に時刻が存在し、さらに v[0].precedes( v[1] ) は true となる。

    Parameters

    Returns Interval[]

    合併時刻区間

  • 共通時刻区間は存在するか?

    !this.getIntersection( rhs ).isEmpty() と同じである。

    Parameters

    Returns boolean

    共通時刻区間

    See

    [[Interval.getIntersection]]

  • 包含しているか?

    rhs のすべての時刻が this に含まれるとき true, それ以外のときは false を返す。

    rhs が空時刻区間のときは true を返す。

    これは rhs ⊆ this と等価である。

    Parameters

    Returns boolean

    this が rhs を包含しているとき true, それ以外のとき false

  • 時刻を包含しているか?

    rhs の時刻が this に含まれるとき true, それ以外のときは false を返す。

    このメソッドは this.includes( new Interval( rhs, rhs ) ) と同等である。

    Parameters

    Returns boolean

    this が rhs を包含しているとき true, それ以外のとき false

  • 空時刻区間か?

    this が空の時刻区間かどうかを返す。

    空時刻区間の場合、区間内に 1 つも時刻が存在しない。

    Returns boolean

    空時刻区間のとき true, それ以外のとき false

  • 通常時刻区間か?

    this が通常の時刻区間かどうかを返す。

    通常時刻区間の場合、区間内に無限個の時刻が存在する。

    通常時刻区間であるなら lower < upper であり、逆も成り立つ。

    Returns boolean

    通常時刻区間のとき true, それ以外のとき false

  • 単一時刻区間か?

    this が単一時刻の時刻区間かどうかを返す。

    単一時刻区間の場合、区間内にただ 1 つの時刻が存在する。

    単一時刻区間であるなら lower == upper であり、逆は必ずしも成り立たない。

    Returns boolean

    単一時刻区間のとき true, それ以外のとき false

  • 先行しているか?

    this のすべての時刻が rhs のすべての時刻より先行しているときに true, それ以外のときは false を返す。

    this または rhs のどちらか、または両方が空時刻区間のときは true を返す。

    Parameters

    Returns boolean

    this が rhs に先行しているとき true, それ以外のとき false