class and type number.integer.nonnegative
class for testing whether an integer value is more or equal to zero
Contract
Parameter keyDefault valueType
default_value0integer
Water Contract
<class number.integer.nonnegative
  default_value=0
/>

See also: is_type_for, is_a, positive, negative

Methods: is_type_for



This class can be used in conjunction with is_type_for to determine whether a given argument is an integer and more or equal to zero.

Examples

integer.nonnegative.<is_type_for 453 />
true
integer.nonnegative.<is_type_for -453.0 />
false
integer.nonnegative.<is_type_for -453 />
false
integer.nonnegative.<is_type_for 0.000001 />
false
integer.nonnegative.<is_type_for 0 />
true