IntervalLimit

区間における「限界」を表すクラス。

このクラスを理解するにあたっては、「限界」と「限界値」の区別を正しく認識することが重要となる。限界とはこのクラス this で表される値であり、限界値とは、 valueで表される値である。

限界が「閉じている」とは、限界値そのものを超過とみなさないことを表し、「開いている」とは、これを超過とみなすことを表す。

無限限界とは、限界を制限しないことであり、 value が Limitless[T] であることでこの状態を表現する。無限限界は常に開いていると考える。逆に、無限限界ではない限界（value が Limitless[T] ではないもの）を有限限界と呼ぶ。

下側限界とは、限界値以下（または未満）の値を超過とみなす限界を表し、上側限界とは、限界値以上（または超える）の値を超過とみなす限界を表す。

T: 限界の型

Linear Supertypes

Serializable, Serializable, Ordered[IntervalLimit[T]], Comparable[IntervalLimit[T]], AnyRef, Any

Instance Constructors

new IntervalLimit(closed: Boolean, lower: Boolean, value: LimitValue[T])(implicit ev: (T) ⇒ Ordered[T])

closed
限界が閉じている場合 true
lower
下側限界を表す場合は true、上側限界を表す場合は false
value
限界値 org.sisioh.baseunits.scala.intervals.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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
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
final def notifyAll(): Unit

Definition Classes
AnyRef
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( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object IntervalLimit | package intervals

class IntervalLimit[T] extends Ordered[IntervalLimit[T]] with Serializable

Instance Constructors

new IntervalLimit(closed: Boolean, lower: Boolean, value: LimitValue[T])(implicit ev: (T) ⇒ Ordered[T])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def <(that: IntervalLimit[T]): Boolean

def <=(that: IntervalLimit[T]): Boolean

final def ==(arg0: Any): Boolean

def >(that: IntervalLimit[T]): Boolean

def >=(that: IntervalLimit[T]): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compare(obj: IntervalLimit[T]): Int

def compareTo(that: IntervalLimit[T]): Int

final def eq(arg0: AnyRef): Boolean

def equals(obj: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def infinity: Boolean

final def isInstanceOf[T0]: Boolean

def isOpen: Boolean

def isUpper: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Ordered[IntervalLimit[T]]

Inherited from Comparable[IntervalLimit[T]]

Inherited from AnyRef

Inherited from Any

Ungrouped