Package org.midheaven.collections

Class Length.Finite

java.lang.Object

org.midheaven.collections.Length

org.midheaven.collections.Length.Finite

Enclosing class:

Length

public static final class Length.Finite
extends Length

Nested Class Summary

Nested classes/interfaces inherited from class org.midheaven.collections.Length

Length.Finite, Length.Infinite, Length.Unknown

Method Summary

Modifier and Type	Method	Description
Int	count()
Length	filter()
Length	min(Length other)	Returns a new Length that is the minimum between this and the given Length min(finite(x), finite(y)) -> finite(x <= y ? x : y) min(finite(x), infinite) -> finite(x) min(finite(x), unknown) -> unknown min(infinite, unknown) -> unknown
Length	minus(Length other)	Subtracts the given value from this value.

Methods inherited from class org.midheaven.collections.Length

finite

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

count

public Int count()

filter

public Length filter()

min

public Length min(Length other)

Description copied from class: Length

Returns a new Length that is the minimum between this and the given Length min(finite(x), finite(y)) -> finite(x <= y ? x : y) min(finite(x), infinite) -> finite(x) min(finite(x), unknown) -> unknown min(infinite, unknown) -> unknown

Specified by:

min in class Length

Parameters:

other - the other value

Returns:

the minimum Length

minus

public Length minus(Length other)

Description copied from class: Length

Subtracts the given value from this value. finite(x) - finite(y) -> x - y finite(x) - infinite -> infinite infinite - finite(x) -> infinite finite(x) - unknown -> unknown unknown - finite(x) -> unknown infinite - infinite -> infinite infinite - unknown -> infinite unknown - infinite -> unknown unknown - unknown -> unknown

Specified by:

minus in class Length

Parameters:

other - the value to subtract

Returns:

this - other