class IntervalLimit[T] extends Ordered[IntervalLimit[T]] with Serializable
区間における「限界」を表すクラス。
このクラスを理解するにあたっては、「限界」と「限界値」の区別を正しく認識することが重要となる。 限界とはこのクラス this で表される値であり、限界値とは、 valueで表される値である。
限界が「閉じている」とは、限界値そのものを超過とみなさないことを表し、 「開いている」とは、これを超過とみなすことを表す。
無限限界とは、限界を制限しないことであり、 value が Limitless[T] であることで この状態を表現する。無限限界は常に開いていると考える。 逆に、無限限界ではない限界(value が
Limitless[T] ではないもの)を有限限界と呼ぶ。
下側限界とは、限界値以下(または未満)の値を超過とみなす限界を表し、 上側限界とは、限界値以上(または超える)の値を超過とみなす限界を表す。
- T
限界の型
- Alphabetic
- By Inheritance
- IntervalLimit
- Serializable
- Ordered
- Comparable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new IntervalLimit(closed: Boolean, lower: Boolean, value: LimitValue[T])
- closed
限界が閉じている場合
true- lower
下側限界を表す場合は
true、上側限界を表す場合はfalse- value
限界値 Limitless の場合は、限界がないことを表す。
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def <(that: IntervalLimit[T]): Boolean
- Definition Classes
- Ordered
- def <=(that: IntervalLimit[T]): Boolean
- Definition Classes
- Ordered
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def >(that: IntervalLimit[T]): Boolean
- Definition Classes
- Ordered
- def >=(that: IntervalLimit[T]): Boolean
- Definition Classes
- Ordered
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compare(obj: IntervalLimit[T]): Int
限界同士の比較を行う。
限界同士の比較を行う。
無限限界に関して。 下側の無限限界は他のいかなる限界よりも「小さい」と判断し、 上側の無限限界は他のいかなる限界よりも「大きい」と判断する。 同じ側の限界同士の比較では「同一」と判断する。
有限限界同士の比較に関して。 この場合は、それぞれの限界の開閉や上下にかかわらず、限界値が小さい方を「小さい」と判断する。 限界値が同一である場合、下側限界同士の比較である場合は閉じている方を「小さい」と判断し、 上側限界同士の比較である場合は閉じている方を「大きい」と判断する。 限界値が同一で、上側限界と下側限界の比較の場合は、開閉にかかわらず下側を「小さい」と判断する。
- obj
比較対象
- returns
同値であった場合は
0、このオブジェクトが比較対象よりも小さい場合は負数、大きい場合は正数
- Definition Classes
- IntervalLimit → Ordered
- def compareTo(that: IntervalLimit[T]): Int
- Definition Classes
- Ordered → Comparable
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(obj: Any): Boolean
- Definition Classes
- IntervalLimit → AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- IntervalLimit → AnyRef → Any
- def infinity: Boolean
この限界が無限限界であるかどうかを検証する。
この限界が無限限界であるかどうかを検証する。
- returns
無限限界である場合は
true、そうでない場合はfalse
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isOpen: Boolean
この限界が開いているかどうかを検証する。
この限界が開いているかどうかを検証する。
- returns
開いている場合は
true、そうでない場合はfalse
- def isUpper: Boolean
この限界が上側限界であるかどうかを検証する。
この限界が上側限界であるかどうかを検証する。
- returns
上限値の場合は
true、そうでない場合はfalse
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- IntervalLimit → AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()