Class/Object

org.scalactic.anyvals

PosInt

Related Docs: object PosInt | package anyvals

Permalink

final class PosInt extends AnyVal

An AnyVal for positive Ints.

Note: a PosInt may not equal 0. If you want positive number or 0, use PosZInt.

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

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

scala> import anyvals._
import anyvals._

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

scala> PosInt(0)
<console>:14: error: PosInt.apply can only be invoked on a positive (i > 0) integer literal, like PosInt(42).
              PosInt(0)
                    ^

PosInt.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 PosInt.apply, you'll get a compiler error that suggests you use a different factor method, PosInt.from, instead:

scala> val x = 1
x: Int = 1

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

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

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

scala> val y = 0
y: Int = 0

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

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

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

scala> invert(1)
res0: Int = 2147483646

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

scala> invert(0)
<console>:15: error: PosInt.apply can only be invoked on a positive (i > 0) integer literal, like PosInt(42).
              invert(0)
                     ^

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

This example also demonstrates that the PosInt 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 PosInt 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 PosInt (the type of pos), you can still subtract pos, because the PosInt will be implicitly widened to Int.

Source
PosInt.scala
Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. PosInt
  2. AnyVal
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    Any
  3. def %(x: Double): Double

    Permalink

    Returns the remainder of the division of this value by x.

  4. def %(x: Float): Float

    Permalink

    Returns the remainder of the division of this value by x.

  5. def %(x: Long): Long

    Permalink

    Returns the remainder of the division of this value by x.

  6. def %(x: Int): Int

    Permalink

    Returns the remainder of the division of this value by x.

  7. def %(x: Char): Int

    Permalink

    Returns the remainder of the division of this value by x.

  8. def %(x: Short): Int

    Permalink

    Returns the remainder of the division of this value by x.

  9. def %(x: Byte): Int

    Permalink

    Returns the remainder of the division of this value by x.

  10. def &(x: Long): Long

    Permalink

    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
  11. def &(x: Int): Int

    Permalink

    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
  12. def &(x: Char): Int

    Permalink

    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
  13. def &(x: Short): Int

    Permalink

    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
  14. def &(x: Byte): Int

    Permalink

    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
  15. def *(x: Double): Double

    Permalink

    Returns the product of this value and x.

  16. def *(x: Float): Float

    Permalink

    Returns the product of this value and x.

  17. def *(x: Long): Long

    Permalink

    Returns the product of this value and x.

  18. def *(x: Int): Int

    Permalink

    Returns the product of this value and x.

  19. def *(x: Char): Int

    Permalink

    Returns the product of this value and x.

  20. def *(x: Short): Int

    Permalink

    Returns the product of this value and x.

  21. def *(x: Byte): Int

    Permalink

    Returns the product of this value and x.

  22. def +(x: Double): Double

    Permalink

    Returns the sum of this value and x.

  23. def +(x: Float): Float

    Permalink

    Returns the sum of this value and x.

  24. def +(x: Long): Long

    Permalink

    Returns the sum of this value and x.

  25. def +(x: Int): Int

    Permalink

    Returns the sum of this value and x.

  26. def +(x: Char): Int

    Permalink

    Returns the sum of this value and x.

  27. def +(x: Short): Int

    Permalink

    Returns the sum of this value and x.

  28. def +(x: Byte): Int

    Permalink

    Returns the sum of this value and x.

  29. def +(x: String): String

    Permalink

    Converts this PosInt's value to a string then concatenates the given string.

    Converts this PosInt's value to a string then concatenates the given string.

  30. def -(x: Double): Double

    Permalink

    Returns the difference of this value and x.

  31. def -(x: Float): Float

    Permalink

    Returns the difference of this value and x.

  32. def -(x: Long): Long

    Permalink

    Returns the difference of this value and x.

  33. def -(x: Int): Int

    Permalink

    Returns the difference of this value and x.

  34. def -(x: Char): Int

    Permalink

    Returns the difference of this value and x.

  35. def -(x: Short): Int

    Permalink

    Returns the difference of this value and x.

  36. def -(x: Byte): Int

    Permalink

    Returns the difference of this value and x.

  37. def /(x: Double): Double

    Permalink

    Returns the quotient of this value and x.

  38. def /(x: Float): Float

    Permalink

    Returns the quotient of this value and x.

  39. def /(x: Long): Long

    Permalink

    Returns the quotient of this value and x.

  40. def /(x: Int): Int

    Permalink

    Returns the quotient of this value and x.

  41. def /(x: Char): Int

    Permalink

    Returns the quotient of this value and x.

  42. def /(x: Short): Int

    Permalink

    Returns the quotient of this value and x.

  43. def /(x: Byte): Int

    Permalink

    Returns the quotient of this value and x.

  44. def <(x: Double): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  45. def <(x: Float): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  46. def <(x: Long): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  47. def <(x: Int): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  48. def <(x: Char): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  49. def <(x: Short): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  50. def <(x: Byte): Boolean

    Permalink

    Returns true if this value is less than x, false otherwise.

  51. def <<(x: Long): Int

    Permalink

    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
  52. def <<(x: Int): Int

    Permalink

    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
  53. def <=(x: Double): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  54. def <=(x: Float): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  55. def <=(x: Long): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  56. def <=(x: Int): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  57. def <=(x: Char): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  58. def <=(x: Short): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  59. def <=(x: Byte): Boolean

    Permalink

    Returns true if this value is less than or equal to x, false otherwise.

  60. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  61. def >(x: Double): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  62. def >(x: Float): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  63. def >(x: Long): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  64. def >(x: Int): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  65. def >(x: Char): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  66. def >(x: Short): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  67. def >(x: Byte): Boolean

    Permalink

    Returns true if this value is greater than x, false otherwise.

  68. def >=(x: Double): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  69. def >=(x: Float): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  70. def >=(x: Long): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  71. def >=(x: Int): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  72. def >=(x: Char): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  73. def >=(x: Short): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  74. def >=(x: Byte): Boolean

    Permalink

    Returns true if this value is greater than or equal to x, false otherwise.

  75. def >>(x: Long): Int

    Permalink

    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
  76. def >>(x: Int): Int

    Permalink

    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
  77. def >>>(x: Long): Int

    Permalink

    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 == 536870909
      // in binary: 11111111 11111111 11111111 11101011 >>> 3 ==
      // 00011111 11111111 11111111 11111101
    2. ,
    3. 21 >>> 3 == 2 // in binary: 010101 >>> 3 == 010
  78. def >>>(x: Int): Int

    Permalink

    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 == 536870909
      // in binary: 11111111 11111111 11111111 11101011 >>> 3 ==
      // 00011111 11111111 11111111 11111101
    2. ,
    3. 21 >>> 3 == 2 // in binary: 010101 >>> 3 == 010
  79. def ^(x: Long): Long

    Permalink

    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
  80. def ^(x: Int): Int

    Permalink

    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
  81. def ^(x: Char): Int

    Permalink

    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
  82. def ^(x: Short): Int

    Permalink

    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
  83. def ^(x: Byte): Int

    Permalink

    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
  84. final def asInstanceOf[T0]: T0

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

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

    Permalink
    Definition Classes
    Any
  87. def max(that: PosInt): PosInt

    Permalink

    Returns this if this > that or that otherwise.

    Returns this if this > that or that otherwise.

  88. def min(that: PosInt): PosInt

    Permalink

    Returns this if this < that or that otherwise.

    Returns this if this < that or that otherwise.

  89. def to(end: Int, step: Int): Inclusive

    Permalink

    Create an inclusive Range from this PosInt value to the specified end with the specified step value.

    Create an inclusive Range from this PosInt 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.

  90. def to(end: Int): Inclusive

    Permalink

    Create an inclusive Range from this PosInt value to the specified end with step value 1.

    Create an inclusive Range from this PosInt 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.

  91. def toBinaryString: String

    Permalink

    Returns a string representation of this PosInt's underlying Int as an unsigned integer in base 2.

    Returns a string representation of this PosInt's underlying Int as an unsigned integer in base 2.

    The unsigned integer value is the argument plus 232 if this PosInt'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 PosInt's underlying Int in binary (base 2).

  92. def toByte: Byte

    Permalink

    Converts this PosInt to a Byte.

    Converts this PosInt to a Byte.

  93. def toChar: Char

    Permalink

    Converts this PosInt to a Char.

    Converts this PosInt to a Char.

  94. def toDouble: Double

    Permalink

    Converts this PosInt to a Double.

    Converts this PosInt to a Double.

  95. def toFloat: Float

    Permalink

    Converts this PosInt to a Float.

    Converts this PosInt to a Float.

  96. def toHexString: String

    Permalink

    Returns a string representation of this PosInt's underlying Int as an unsigned integer in base 16.

    Returns a string representation of this PosInt's underlying Int as an unsigned integer in base 16.

    The unsigned integer value is the argument plus 232 if this PosInt's underlying Int is negative; otherwise, it is equal to the this PosInt'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 PosInt's underlying Int in hexadecimal (base 16).

  97. def toInt: Int

    Permalink

    Converts this PosInt to an Int.

    Converts this PosInt to an Int.

  98. def toLong: Long

    Permalink

    Converts this PosInt to a Long.

    Converts this PosInt to a Long.

  99. def toOctalString: String

    Permalink

    Returns a string representation of this PosInt's underlying Int as an unsigned integer in base 8.

    Returns a string representation of this PosInt's underlying Int as an unsigned integer in base 8.

    The unsigned integer value is this PosInt's underlying Int plus 232 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 PosInt's underlying Int in octal (base 8).

  100. def toShort: Short

    Permalink

    Converts this PosInt to a Short.

    Converts this PosInt to a Short.

  101. def toString(): String

    Permalink

    A string representation of this PosInt.

    A string representation of this PosInt.

    Definition Classes
    PosInt → Any
  102. def unary_+: PosInt

    Permalink

    Returns this value, unmodified.

  103. def unary_-: Int

    Permalink

    Returns the negation of this value.

  104. def unary_~: Int

    Permalink

    Returns the bitwise negation of this value.

    Returns the bitwise negation of this value.

    Example:
    1. ~5 == -6
      // in binary: ~00000101 ==
      // 11111010
  105. def until(end: Int, step: Int): Range

    Permalink

    Create a Range from this PosInt value until the specified end (exclusive) with the specified step value.

    Create a Range from this PosInt 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.

  106. def until(end: Int): Range

    Permalink

    Create a Range from this PosInt value until the specified end (exclusive) with step value 1.

    Create a Range from this PosInt 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.

  107. val value: Int

    Permalink

    The Int value underlying this PosInt.

    The Int value underlying this PosInt.

  108. def |(x: Long): Long

    Permalink

    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
  109. def |(x: Int): Int

    Permalink

    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
  110. def |(x: Char): Int

    Permalink

    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
  111. def |(x: Short): Int

    Permalink

    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
  112. def |(x: Byte): Int

    Permalink

    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

Inherited from AnyVal

Inherited from Any

Ungrouped