PosZInt

Companion object PosZInt

final class PosZInt extends AnyVal

An AnyVal for non-negative Ints.

Because PosZInt is an AnyVal it will usually be as efficient as an Int, being boxed only when an Int would have been boxed.

The PosZInt.apply factory method is implemented in terms of a macro that checks literals for validity at compile time. Calling PosZInt.apply with a literal Int value will either produce a valid PosZInt instance at run time or an error at compile time. Here's an example:

scala> import anyvals._
import anyvals._

scala> PosZInt(1)
res0: org.scalactic.anyvals.PosZInt = PosZInt(1)

scala> PosZInt(0)
res1: org.scalactic.anyvals.PosZInt = PosZInt(0)

scala> PosZInt(-1)
<console>:14: error: PosZInt.apply can only be invoked on a non-negative (i >= 0) integer literal, like PosZInt(42).
              PosZInt(-1)
                     ^

PosZInt.apply cannot be used if the value being passed is a variable (i.e., not a literal), because the macro cannot determine the validity of variables at compile time (just literals). If you try to pass a variable to PosZInt.apply, you'll get a compiler error that suggests you use a different factor method, PosZInt.from, instead:

scala> val x = 1
x: Int = 1

scala> PosZInt(x)
<console>:15: error: PosZInt.apply can only be invoked on an integer literal, like PosZInt(42). Please use PosZInt.from instead.
              PosZInt(x)
                     ^

The PosZInt.from factory method will inspect the value at runtime and return an Option[PosZInt]. If the value is valid, PosZInt.from will return a Some[PosZInt], else it will return a None. Here's an example:

scala> PosZInt.from(x)
res4: Option[org.scalactic.anyvals.PosZInt] = Some(PosZInt(1))

scala> val y = -1
y: Int = -1

scala> PosZInt.from(y)
res5: Option[org.scalactic.anyvals.PosZInt] = None

The PosZInt.apply factory method is marked implicit, so that you can pass literal Ints into methods that require PosZInt, and get the same compile-time checking you get when calling PosZInt.apply explicitly. Here's an example:

scala> def invert(pos: PosZInt): Int = Int.MaxValue - pos
invert: (pos: org.scalactic.anyvals.PosZInt)Int

scala> invert(0)
res7: Int = 2147483647

scala> invert(Int.MaxValue)
res8: Int = 0

scala> invert(-1)
<console>:15: error: PosZInt.apply can only be invoked on a non-negative (i >= 0) integer literal, like PosZInt(42).
              invert(-1)
                      ^

This example also demonstrates that the PosZInt companion object also defines implicit widening conversions when either no loss of precision will occur or a similar conversion is provided in Scala. (For example, the implicit conversion from Int to Float in Scala can lose precision.) This makes it convenient to use a PosZInt where an Int or wider type is needed. An example is the subtraction in the body of the invert method defined above, Int.MaxValue - pos. Although Int.MaxValue is an Int, which has no - method that takes a PosZInt (the type of pos), you can still subtract pos, because the PosZInt will be implicitly widened to Int.

Source: PosZInt.scala

Linear Supertypes

AnyVal, Any

Ordering

Alphabetic
By Inheritance

Inherited

PosZInt
AnyVal
Any

Hide All
Show All

Visibility

Public
All

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
def %(x: Double): Double
Returns the remainder of the division of this value by x.
def %(x: Float): Float
Returns the remainder of the division of this value by x.
def %(x: Long): Long
Returns the remainder of the division of this value by x.
def %(x: Int): Int
Returns the remainder of the division of this value by x.
def %(x: Char): Int
Returns the remainder of the division of this value by x.
def %(x: Short): Int
Returns the remainder of the division of this value by x.
def %(x: Byte): Int
Returns the remainder of the division of this value by x.
def &(x: Long): Long
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Int): Int
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Char): Int
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Short): Int
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Byte): Int
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def *(x: Double): Double
Returns the product of this value and x.
def *(x: Float): Float
Returns the product of this value and x.
def *(x: Long): Long
Returns the product of this value and x.
def *(x: Int): Int
Returns the product of this value and x.
def *(x: Char): Int
Returns the product of this value and x.
def *(x: Short): Int
Returns the product of this value and x.
def *(x: Byte): Int
Returns the product of this value and x.
def +(x: Double): Double
Returns the sum of this value and x.
def +(x: Float): Float
Returns the sum of this value and x.
def +(x: Long): Long
Returns the sum of this value and x.
def +(x: Int): Int
Returns the sum of this value and x.
def +(x: Char): Int
Returns the sum of this value and x.
def +(x: Short): Int
Returns the sum of this value and x.
def +(x: Byte): Int
Returns the sum of this value and x.
def +(x: String): String
Converts this PosZInt's value to a string then concatenates the given string.
def -(x: Double): Double
Returns the difference of this value and x.
def -(x: Float): Float
Returns the difference of this value and x.
def -(x: Long): Long
Returns the difference of this value and x.
def -(x: Int): Int
Returns the difference of this value and x.
def -(x: Char): Int
Returns the difference of this value and x.
def -(x: Short): Int
Returns the difference of this value and x.
def -(x: Byte): Int
Returns the difference of this value and x.
def /(x: Double): Double
Returns the quotient of this value and x.
def /(x: Float): Float
Returns the quotient of this value and x.
def /(x: Long): Long
Returns the quotient of this value and x.
def /(x: Int): Int
Returns the quotient of this value and x.
def /(x: Char): Int
Returns the quotient of this value and x.
def /(x: Short): Int
Returns the quotient of this value and x.
def /(x: Byte): Int
Returns the quotient of this value and x.
def <(x: Double): Boolean
Returns true if this value is less than x, false otherwise.
def <(x: Float): Boolean
Returns true if this value is less than x, false otherwise.
def <(x: Long): Boolean
Returns true if this value is less than x, false otherwise.
def <(x: Int): Boolean
Returns true if this value is less than x, false otherwise.
def <(x: Char): Boolean
Returns true if this value is less than x, false otherwise.
def <(x: Short): Boolean
Returns true if this value is less than x, false otherwise.
def <(x: Byte): Boolean
Returns true if this value is less than x, false otherwise.
def <<(x: Long): Int
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Example:
1. 6 << 3 == 48 // in binary: 0110 << 3 == 0110000
def <<(x: Int): Int
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Example:
1. 6 << 3 == 48 // in binary: 0110 << 3 == 0110000
def <=(x: Double): Boolean
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Float): Boolean
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Long): Boolean
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Int): Boolean
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Char): Boolean
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Short): Boolean
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Byte): Boolean
Returns true if this value is less than or equal to x, false otherwise.
final def ==(arg0: Any): Boolean

Definition Classes
Any
def >(x: Double): Boolean
Returns true if this value is greater than x, false otherwise.
def >(x: Float): Boolean
Returns true if this value is greater than x, false otherwise.
def >(x: Long): Boolean
Returns true if this value is greater than x, false otherwise.
def >(x: Int): Boolean
Returns true if this value is greater than x, false otherwise.
def >(x: Char): Boolean
Returns true if this value is greater than x, false otherwise.
def >(x: Short): Boolean
Returns true if this value is greater than x, false otherwise.
def >(x: Byte): Boolean
Returns true if this value is greater than x, false otherwise.
def >=(x: Double): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Float): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Long): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Int): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Char): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Short): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Byte): Boolean
Returns true if this value is greater than or equal to x, false otherwise.
def >>(x: Long): Int
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this.
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this. The effect of this is to retain the sign of the value.
Example:
1. -21 >> 3 == -3 // in binary: 11111111 11111111 11111111 11101011 >> 3 == // 11111111 11111111 11111111 11111101
def >>(x: Int): Int
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this.
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this. The effect of this is to retain the sign of the value.
Example:
1. -21 >> 3 == -3 // in binary: 11111111 11111111 11111111 11101011 >> 3 == // 11111111 11111111 11111111 11111101
def >>>(x: Long): Int
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Examples:
1. 21 >>> 3 == 2 // in binary: 010101 >>> 3 == 010
2. -21 >>> 3 == 536870909 // in binary: 11111111 11111111 11111111 11101011 >>> 3 == // 00011111 11111111 11111111 11111101
def >>>(x: Int): Int
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Examples:
1. 21 >>> 3 == 2 // in binary: 010101 >>> 3 == 010
2. -21 >>> 3 == 536870909 // in binary: 11111111 11111111 11111111 11101011 >>> 3 == // 00011111 11111111 11111111 11111101
def ^(x: Long): Long
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Int): Int
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Char): Int
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Short): Int
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Byte): Int
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
final def asInstanceOf[T0]: T0

Definition Classes
Any
def getClass(): Class[_ <: AnyVal]

Definition Classes
AnyVal → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def max(that: PosZInt): PosZInt
Returns this if this > that or that otherwise.
def min(that: PosZInt): PosZInt
Returns this if this < that or that otherwise.
def to(end: Int, step: Int): Inclusive
Create an inclusive Range from this PosZInt value to the specified end with the specified step value.
Create an inclusive Range from this PosZInt value to the specified end with the specified step value.
end
The final bound of the range to make.
step
The number to increase by for each step of the range.
returns
A scala.collection.immutable.Range from this up to and including end.
def to(end: Int): Inclusive
Create an inclusive Range from this PosZInt value to the specified end with step value 1.
Create an inclusive Range from this PosZInt value to the specified end with step value 1.
end
The final bound of the range to make.
returns
A scala.collection.immutable.Range from this up to and including end.
def toBinaryString: String
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 2.
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 2.
The unsigned integer value is the argument plus 2³² if this PosZInt's underlying Int is negative; otherwise it is equal to the underlying Int. This value is converted to a string of ASCII digits in binary (base 2) with no extra leading 0s. If the unsigned magnitude is zero, it is represented by a single zero character '0' ('\u0030'); otherwise, the first character of the representation of the unsigned magnitude will not be the zero character. The characters '0' ('\u0030') and '1' ('\u0031') are used as binary digits.
returns
the string representation of the unsigned integer value represented by this PosZInt's underlying Int in binary (base 2).
def toByte: Byte
Converts this PosZInt to a Byte.
def toChar: Char
Converts this PosZInt to a Char.
def toDouble: Double
Converts this PosZInt to a Double.
def toFloat: Float
Converts this PosZInt to a Float.
def toHexString: String
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 16.
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 16.
The unsigned integer value is the argument plus 2³² if this PosZInt's underlying Int is negative; otherwise, it is equal to the this PosZInt's underlying Int This value is converted to a string of ASCII digits in hexadecimal (base 16) with no extra leading 0s. If the unsigned magnitude is zero, it is represented by a single zero character '0' ('\u0030'); otherwise, the first character of the representation of the unsigned magnitude will not be the zero character. The following characters are used as hexadecimal digits:
0123456789abcdef
These are the characters '\u0030' through '\u0039' and '\u0061' through '\u0066'. If uppercase letters are desired, the toUpperCase method may be called on the result.
returns
the string representation of the unsigned integer value represented by this PosZInt's underlying Int in hexadecimal (base 16).
def toInt: Int
Converts this PosZInt to an Int.
def toLong: Long
Converts this PosZInt to a Long.
def toOctalString: String
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 8.
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 8.
The unsigned integer value is this PosZInt's underlying Int plus 2³² if the underlying Int is negative; otherwise, it is equal to the underlying Int. This value is converted to a string of ASCII digits in octal (base 8) with no extra leading 0s.
If the unsigned magnitude is zero, it is represented by a single zero character '0' ('\u0030'); otherwise, the first character of the representation of the unsigned magnitude will not be the zero character. The following characters are used as octal digits:
01234567
These are the characters '\u0030' through '\u0037'.
returns
the string representation of the unsigned integer value represented by this PosZInt's underlying Int in octal (base 8).
def toShort: Short
Converts this PosZInt to a Short.
def toString(): String
A string representation of this PosZInt.
A string representation of this PosZInt.

Definition Classes
PosZInt → Any
def unary_+: PosZInt
Returns this value, unmodified.
def unary_-: Int
Returns the negation of this value.
def unary_~: Int
Returns the bitwise negation of this value.
Returns the bitwise negation of this value.
Example:
1. ~5 == -6 // in binary: ~00000101 == // 11111010
def until(end: Int, step: Int): Range
Create a Range from this PosZInt value until the specified end (exclusive) with the specified step value.
Create a Range from this PosZInt value until the specified end (exclusive) with the specified step value.
end
The final bound of the range to make.
step
The number to increase by for each step of the range.
returns
A scala.collection.immutable.Range from this up to but not including end.
def until(end: Int): Range
Create a Range from this PosZInt value until the specified end (exclusive) with step value 1.
Create a Range from this PosZInt value until the specified end (exclusive) with step value 1.
end
The final bound of the range to make.
returns
A scala.collection.immutable.Range from this up to but not including end.
val value: Int
def |(x: Long): Long
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Int): Int
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Char): Int
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Short): Int
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Byte): Int
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010

Packages

PosZInt

Companion object PosZInt

final class PosZInt extends AnyVal

Value Members

Inherited from AnyVal

Inherited from Any

Ungrouped

Packages

PosZInt 

Companion object PosZInt

final class PosZInt extends AnyVal

Value Members

Inherited from AnyVal

Inherited from Any

Ungrouped

PosZInt