Completion
API
Generated with
Completion/sbt.internal.util/sbt.internal.util.complete/Finite

Finite

sbt.internal.util.complete.Finite
final case class Finite(value: Int) extends UpperBound

Represents a finite upper bound. The maximum allowed value is 'value', inclusive. It must positive.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait UpperBound
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def >=(min: Int): Boolean

True if and only if the given value meets this bound.

True if and only if the given value meets this bound.

Attributes

def decrement: UpperBound

If this bound is zero or Infinite, decrement returns this bound. Otherwise, this bound is finite and greater than zero and decrement returns the bound that is one less than this bound.

If this bound is zero or Infinite, decrement returns this bound. Otherwise, this bound is finite and greater than zero and decrement returns the bound that is one less than this bound.

Attributes

def isInfinite: Boolean

True if and only if this is unbounded.

True if and only if this is unbounded.

Attributes

def isOne: Boolean

True if and only if this bound is one.

True if and only if this bound is one.

Attributes

def isZero: Boolean

True if and only if this bound is zero.

True if and only if this bound is zero.

Attributes

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with