2012-12-03 18:48:01 -06:00
|
|
|
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2012-08-29 18:11:06 -05:00
|
|
|
// NB: transitionary, de-mode-ing.
|
|
|
|
#[forbid(deprecated_mode)];
|
|
|
|
#[forbid(deprecated_pattern)];
|
|
|
|
|
2012-12-13 15:05:22 -06:00
|
|
|
use T = self::inst::T;
|
2013-01-23 17:08:47 -06:00
|
|
|
use T_SIGNED = self::inst::T_SIGNED;
|
2012-12-13 15:05:22 -06:00
|
|
|
|
2012-12-23 16:41:37 -06:00
|
|
|
use char;
|
2012-09-04 13:12:17 -05:00
|
|
|
use cmp::{Eq, Ord};
|
|
|
|
use from_str::FromStr;
|
2012-12-23 16:41:37 -06:00
|
|
|
use num;
|
2013-01-08 21:37:25 -06:00
|
|
|
use option::{None, Option, Some};
|
2012-12-23 16:41:37 -06:00
|
|
|
use str;
|
2012-12-27 19:53:04 -06:00
|
|
|
use uint;
|
2012-12-23 16:41:37 -06:00
|
|
|
use vec;
|
2012-04-15 00:07:45 -05:00
|
|
|
|
2012-09-26 20:46:12 -05:00
|
|
|
pub const bits : uint = inst::bits;
|
|
|
|
pub const bytes : uint = (inst::bits / 8);
|
2012-04-15 00:07:45 -05:00
|
|
|
|
2012-09-26 20:46:12 -05:00
|
|
|
pub const min_value: T = 0 as T;
|
|
|
|
pub const max_value: T = 0 as T - 1 as T;
|
2012-04-15 00:07:45 -05:00
|
|
|
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn min(x: T, y: T) -> T { if x < y { x } else { y } }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn max(x: T, y: T) -> T { if x > y { x } else { y } }
|
2012-08-30 14:54:50 -05:00
|
|
|
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn add(x: T, y: T) -> T { x + y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn sub(x: T, y: T) -> T { x - y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn mul(x: T, y: T) -> T { x * y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn div(x: T, y: T) -> T { x / y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn rem(x: T, y: T) -> T { x % y }
|
2012-08-30 14:54:50 -05:00
|
|
|
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn lt(x: T, y: T) -> bool { x < y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn le(x: T, y: T) -> bool { x <= y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn eq(x: T, y: T) -> bool { x == y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn ne(x: T, y: T) -> bool { x != y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn ge(x: T, y: T) -> bool { x >= y }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn gt(x: T, y: T) -> bool { x > y }
|
2012-04-15 00:07:45 -05:00
|
|
|
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn is_positive(x: T) -> bool { x > 0 as T }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn is_negative(x: T) -> bool { x < 0 as T }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn is_nonpositive(x: T) -> bool { x <= 0 as T }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn is_nonnegative(x: T) -> bool { x >= 0 as T }
|
2012-04-15 00:07:45 -05:00
|
|
|
|
2012-12-09 20:57:41 -06:00
|
|
|
#[inline(always)]
|
2013-01-10 14:18:01 -06:00
|
|
|
/**
|
|
|
|
* Iterate over the range [`start`,`start`+`step`..`stop`)
|
|
|
|
*
|
|
|
|
*/
|
2013-01-23 17:08:47 -06:00
|
|
|
pub pure fn range_step(start: T, stop: T, step: T_SIGNED, it: fn(T) -> bool) {
|
2012-12-09 20:57:41 -06:00
|
|
|
let mut i = start;
|
|
|
|
if step == 0 {
|
2013-01-31 19:51:01 -06:00
|
|
|
die!(~"range_step called with step == 0");
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
2013-01-23 17:08:47 -06:00
|
|
|
if step >= 0 {
|
|
|
|
while i < stop {
|
|
|
|
if !it(i) { break }
|
|
|
|
i += step as T;
|
|
|
|
}
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
2013-01-23 17:08:47 -06:00
|
|
|
else {
|
|
|
|
while i > stop {
|
|
|
|
if !it(i) { break }
|
|
|
|
i -= -step as T;
|
|
|
|
}
|
2012-12-09 20:57:41 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-06-08 20:49:50 -05:00
|
|
|
#[inline(always)]
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Iterate over the range [`lo`..`hi`)
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn range(lo: T, hi: T, it: fn(T) -> bool) {
|
2013-01-23 17:08:47 -06:00
|
|
|
range_step(lo, hi, 1 as T_SIGNED, it);
|
2012-12-09 20:57:41 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
/// Iterate over the range [`hi`..`lo`)
|
|
|
|
pub pure fn range_rev(hi: T, lo: T, it: fn(T) -> bool) {
|
2013-01-23 17:08:47 -06:00
|
|
|
range_step(hi, lo, -1 as T_SIGNED, it);
|
2012-04-15 00:07:45 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Computes the bitwise complement
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn compl(i: T) -> T {
|
2012-04-15 00:07:45 -05:00
|
|
|
max_value ^ i
|
|
|
|
}
|
2012-05-16 00:50:29 -05:00
|
|
|
|
2012-11-30 02:47:45 -06:00
|
|
|
#[cfg(notest)]
|
2012-09-19 20:00:26 -05:00
|
|
|
impl T : Ord {
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-14 20:59:30 -06:00
|
|
|
pure fn lt(&self, other: &T) -> bool { (*self) < (*other) }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-14 20:59:30 -06:00
|
|
|
pure fn le(&self, other: &T) -> bool { (*self) <= (*other) }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-14 20:59:30 -06:00
|
|
|
pure fn ge(&self, other: &T) -> bool { (*self) >= (*other) }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-14 20:59:30 -06:00
|
|
|
pure fn gt(&self, other: &T) -> bool { (*self) > (*other) }
|
2012-09-19 20:00:26 -05:00
|
|
|
}
|
2012-06-06 16:19:52 -05:00
|
|
|
|
2012-11-30 02:47:45 -06:00
|
|
|
#[cfg(notest)]
|
2012-09-19 20:00:26 -05:00
|
|
|
impl T : Eq {
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-14 20:59:30 -06:00
|
|
|
pure fn eq(&self, other: &T) -> bool { return (*self) == (*other); }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-14 20:59:30 -06:00
|
|
|
pure fn ne(&self, other: &T) -> bool { return (*self) != (*other); }
|
2012-09-19 20:00:26 -05:00
|
|
|
}
|
2012-06-06 16:19:52 -05:00
|
|
|
|
2012-08-13 18:20:27 -05:00
|
|
|
impl T: num::Num {
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn add(&self, other: &T) -> T { return *self + *other; }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn sub(&self, other: &T) -> T { return *self - *other; }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn mul(&self, other: &T) -> T { return *self * *other; }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn div(&self, other: &T) -> T { return *self / *other; }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn modulo(&self, other: &T) -> T { return *self % *other; }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn neg(&self) -> T { return -*self; }
|
2012-08-01 19:30:05 -05:00
|
|
|
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-05 21:22:48 -06:00
|
|
|
pure fn to_int(&self) -> int { return *self as int; }
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-08-14 22:03:31 -05:00
|
|
|
static pure fn from_int(n: int) -> T { return n as T; }
|
2012-06-07 18:08:38 -05:00
|
|
|
}
|
|
|
|
|
2012-12-20 09:14:38 -06:00
|
|
|
impl T: num::Zero {
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-20 09:14:38 -06:00
|
|
|
static pure fn zero() -> T { 0 }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl T: num::One {
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-12-20 09:14:38 -06:00
|
|
|
static pure fn one() -> T { 1 }
|
|
|
|
}
|
|
|
|
|
2013-01-26 20:05:20 -06:00
|
|
|
impl T: num::Round {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn round(&self, _: num::RoundMode) -> T { *self }
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn floor(&self) -> T { *self }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ceil(&self) -> T { *self }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn fract(&self) -> T { 0 }
|
|
|
|
}
|
|
|
|
|
2012-08-02 19:14:26 -05:00
|
|
|
/**
|
|
|
|
* Parse a buffer of bytes
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * buf - A byte buffer
|
|
|
|
* * radix - The base of the number
|
|
|
|
*
|
|
|
|
* # Failure
|
|
|
|
*
|
|
|
|
* `buf` must not be empty
|
|
|
|
*/
|
2012-11-17 13:01:08 -06:00
|
|
|
pub pure fn parse_bytes(buf: &[const u8], radix: uint) -> Option<T> {
|
2012-08-20 14:23:37 -05:00
|
|
|
if vec::len(buf) == 0u { return None; }
|
2012-08-02 19:14:26 -05:00
|
|
|
let mut i = vec::len(buf) - 1u;
|
|
|
|
let mut power = 1u as T;
|
|
|
|
let mut n = 0u as T;
|
|
|
|
loop {
|
2012-08-06 14:34:08 -05:00
|
|
|
match char::to_digit(buf[i] as char, radix) {
|
2012-08-20 14:23:37 -05:00
|
|
|
Some(d) => n += d as T * power,
|
|
|
|
None => return None
|
2012-08-02 19:14:26 -05:00
|
|
|
}
|
|
|
|
power *= radix as T;
|
2012-08-20 14:23:37 -05:00
|
|
|
if i == 0u { return Some(n); }
|
2012-08-02 19:14:26 -05:00
|
|
|
i -= 1u;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Parse a string to an int
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-17 13:01:08 -06:00
|
|
|
pub pure fn from_str(s: &str) -> Option<T>
|
|
|
|
{
|
|
|
|
parse_bytes(str::to_bytes(s), 10u)
|
|
|
|
}
|
2012-05-16 00:50:29 -05:00
|
|
|
|
2012-09-03 15:09:24 -05:00
|
|
|
impl T : FromStr {
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-11-17 13:01:08 -06:00
|
|
|
static pure fn from_str(s: &str) -> Option<T> { from_str(s) }
|
2012-09-03 15:09:24 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Parse a string as an unsigned integer.
|
2012-09-26 20:46:12 -05:00
|
|
|
pub fn from_str_radix(buf: &str, radix: u64) -> Option<u64> {
|
2012-08-20 14:23:37 -05:00
|
|
|
if str::len(buf) == 0u { return None; }
|
2012-05-16 00:50:29 -05:00
|
|
|
let mut i = str::len(buf) - 1u;
|
|
|
|
let mut power = 1u64, n = 0u64;
|
|
|
|
loop {
|
2012-08-06 14:34:08 -05:00
|
|
|
match char::to_digit(buf[i] as char, radix as uint) {
|
2012-08-20 14:23:37 -05:00
|
|
|
Some(d) => n += d as u64 * power,
|
|
|
|
None => return None
|
2012-05-16 00:50:29 -05:00
|
|
|
}
|
|
|
|
power *= radix;
|
2012-08-20 14:23:37 -05:00
|
|
|
if i == 0u { return Some(n); }
|
2012-05-16 00:50:29 -05:00
|
|
|
i -= 1u;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Convert to a string in a given base
|
|
|
|
*
|
|
|
|
* # Failure
|
|
|
|
*
|
|
|
|
* Fails if `radix` < 2 or `radix` > 16
|
|
|
|
*/
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn to_str(num: T, radix: uint) -> ~str {
|
2012-06-30 18:19:07 -05:00
|
|
|
do to_str_bytes(false, num, radix) |slice| {
|
2012-09-13 13:46:10 -05:00
|
|
|
do vec::as_imm_buf(slice) |p, len| {
|
2012-09-12 21:55:05 -05:00
|
|
|
unsafe { str::raw::from_buf_len(p, len) }
|
2012-06-04 20:05:34 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Low-level helper routine for string conversion.
|
2012-09-26 20:46:12 -05:00
|
|
|
pub pure fn to_str_bytes<U>(neg: bool, num: T, radix: uint,
|
2012-06-29 18:26:56 -05:00
|
|
|
f: fn(v: &[u8]) -> U) -> U {
|
2012-06-04 20:05:34 -05:00
|
|
|
|
|
|
|
#[inline(always)]
|
2012-12-14 19:03:35 -06:00
|
|
|
pure fn digit(n: T) -> u8 {
|
2012-06-04 16:20:57 -05:00
|
|
|
if n <= 9u as T {
|
|
|
|
n as u8 + '0' as u8
|
|
|
|
} else if n <= 15u as T {
|
|
|
|
(n - 10 as T) as u8 + 'a' as u8
|
|
|
|
} else {
|
2013-01-31 19:51:01 -06:00
|
|
|
die!();
|
2012-06-04 16:20:57 -05:00
|
|
|
}
|
2012-05-16 00:50:29 -05:00
|
|
|
}
|
2012-06-04 16:20:57 -05:00
|
|
|
|
2012-06-04 20:05:34 -05:00
|
|
|
assert (1u < radix && radix <= 16u);
|
2012-06-04 16:20:57 -05:00
|
|
|
|
2012-06-04 20:05:34 -05:00
|
|
|
// Enough room to hold any number in any radix.
|
|
|
|
// Worst case: 64-bit number, binary-radix, with
|
|
|
|
// a leading negative sign = 65 bytes.
|
2012-10-09 23:28:04 -05:00
|
|
|
let buf : [mut u8 * 65] = [mut 0u8, ..65];
|
2012-12-14 19:03:35 -06:00
|
|
|
let len = buf.len();
|
2012-06-04 20:05:34 -05:00
|
|
|
|
2012-12-14 19:03:35 -06:00
|
|
|
let mut i = len;
|
|
|
|
let mut n = num;
|
|
|
|
let radix = radix as T;
|
|
|
|
loop {
|
|
|
|
i -= 1u;
|
|
|
|
assert 0u < i && i < len;
|
|
|
|
buf[i] = digit(n % radix);
|
|
|
|
n /= radix;
|
|
|
|
if n == 0 as T { break; }
|
|
|
|
}
|
|
|
|
|
|
|
|
assert 0u < i && i < len;
|
|
|
|
|
|
|
|
if neg {
|
|
|
|
i -= 1u;
|
|
|
|
buf[i] = '-' as u8;
|
2012-06-04 16:20:57 -05:00
|
|
|
}
|
2012-12-14 19:03:35 -06:00
|
|
|
|
|
|
|
f(vec::view(buf, i, len))
|
2012-05-16 00:50:29 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Convert to a string
|
2013-01-13 08:37:30 -06:00
|
|
|
#[inline(always)]
|
2012-10-11 16:12:50 -05:00
|
|
|
pub pure fn str(i: T) -> ~str { return to_str(i, 10u); }
|
2012-05-16 00:50:29 -05:00
|
|
|
|
2012-06-04 20:05:34 -05:00
|
|
|
#[test]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub fn test_to_str() {
|
2012-07-14 00:57:48 -05:00
|
|
|
assert to_str(0 as T, 10u) == ~"0";
|
|
|
|
assert to_str(1 as T, 10u) == ~"1";
|
|
|
|
assert to_str(2 as T, 10u) == ~"2";
|
|
|
|
assert to_str(11 as T, 10u) == ~"11";
|
|
|
|
assert to_str(11 as T, 16u) == ~"b";
|
|
|
|
assert to_str(255 as T, 16u) == ~"ff";
|
|
|
|
assert to_str(0xff as T, 10u) == ~"255";
|
2012-06-04 20:05:34 -05:00
|
|
|
}
|
|
|
|
|
2012-05-16 00:50:29 -05:00
|
|
|
#[test]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub fn test_from_str() {
|
2012-08-20 14:23:37 -05:00
|
|
|
assert from_str(~"0") == Some(0u as T);
|
|
|
|
assert from_str(~"3") == Some(3u as T);
|
|
|
|
assert from_str(~"10") == Some(10u as T);
|
|
|
|
assert from_str(~"123456789") == Some(123456789u as T);
|
|
|
|
assert from_str(~"00100") == Some(100u as T);
|
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert from_str(~"").is_none();
|
|
|
|
assert from_str(~" ").is_none();
|
|
|
|
assert from_str(~"x").is_none();
|
2012-05-16 00:50:29 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub fn test_parse_bytes() {
|
2012-09-07 20:08:21 -05:00
|
|
|
use str::to_bytes;
|
2012-09-14 11:55:33 -05:00
|
|
|
assert parse_bytes(to_bytes(~"123"), 10u) == Some(123u as T);
|
|
|
|
assert parse_bytes(to_bytes(~"1001"), 2u) == Some(9u as T);
|
|
|
|
assert parse_bytes(to_bytes(~"123"), 8u) == Some(83u as T);
|
|
|
|
assert parse_bytes(to_bytes(~"123"), 16u) == Some(291u as T);
|
|
|
|
assert parse_bytes(to_bytes(~"ffff"), 16u) == Some(65535u as T);
|
|
|
|
assert parse_bytes(to_bytes(~"z"), 36u) == Some(35u as T);
|
|
|
|
|
|
|
|
assert parse_bytes(to_bytes(~"Z"), 10u).is_none();
|
|
|
|
assert parse_bytes(to_bytes(~"_"), 2u).is_none();
|
2012-05-16 00:50:29 -05:00
|
|
|
}
|
2012-06-04 17:22:40 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2012-06-07 23:38:25 -05:00
|
|
|
#[ignore(cfg(windows))]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub fn to_str_radix1() {
|
2012-06-04 17:22:40 -05:00
|
|
|
uint::to_str(100u, 1u);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2012-06-07 23:38:25 -05:00
|
|
|
#[ignore(cfg(windows))]
|
2012-09-26 20:46:12 -05:00
|
|
|
pub fn to_str_radix17() {
|
2012-06-04 17:22:40 -05:00
|
|
|
uint::to_str(100u, 17u);
|
|
|
|
}
|
A new `times` method on numeric types
This method is intended to elegantly subsume two common iteration functions.
The first is `iter::range`, which is used identically to the method introduced
in this commit, but currently works only on uints. The second is a common case
of `{int, i8, uint, etc.}::range`, in the case where the inductive variable is
ignored. Compare the usage of the three:
```
for iter::range(100u) {
// do whatever
}
for int::range(0, 100) |_i| {
// do whatever
}
for 100.times {
// do whatever
}
```
I feel that the latter reads much more nicely than the first two approaches,
and unlike the first two the new method allows the user to ignore the specific
type of the number (ineed, if we're throwing away the inductive variable, who
cares what type it is?). A minor benefit is that this new method will be
somewhat familiar to users of Ruby, from which we borrow the name "times".
2012-07-05 21:12:26 -05:00
|
|
|
|
2013-01-10 14:18:01 -06:00
|
|
|
use io;
|
|
|
|
#[test]
|
|
|
|
pub fn test_ranges() {
|
|
|
|
let mut l = ~[];
|
|
|
|
|
|
|
|
for range(0,3) |i| {
|
|
|
|
l.push(i);
|
|
|
|
}
|
|
|
|
for range_rev(13,10) |i| {
|
|
|
|
l.push(i);
|
|
|
|
}
|
2013-01-23 17:08:47 -06:00
|
|
|
for range_step(20,26,2) |i| {
|
2013-01-10 14:18:01 -06:00
|
|
|
l.push(i);
|
|
|
|
}
|
2013-01-23 17:08:47 -06:00
|
|
|
for range_step(36,30,-2) |i| {
|
2013-01-10 14:18:01 -06:00
|
|
|
l.push(i);
|
|
|
|
}
|
|
|
|
|
|
|
|
assert l == ~[0,1,2,
|
|
|
|
13,12,11,
|
|
|
|
20,22,24,
|
|
|
|
36,34,32];
|
|
|
|
|
|
|
|
// None of the `fail`s should execute.
|
|
|
|
for range(0,0) |_i| {
|
2013-01-31 19:51:01 -06:00
|
|
|
die!(~"unreachable");
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
|
|
|
for range_rev(0,0) |_i| {
|
2013-01-31 19:51:01 -06:00
|
|
|
die!(~"unreachable");
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
2013-01-23 17:08:47 -06:00
|
|
|
for range_step(10,0,1) |_i| {
|
2013-01-31 19:51:01 -06:00
|
|
|
die!(~"unreachable");
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
2013-01-23 17:08:47 -06:00
|
|
|
for range_step(0,1,-10) |_i| {
|
2013-01-31 19:51:01 -06:00
|
|
|
die!(~"unreachable");
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2013-01-23 23:57:05 -06:00
|
|
|
#[ignore(cfg(windows))]
|
2013-01-23 17:08:47 -06:00
|
|
|
fn test_range_step_zero_step_up() {
|
|
|
|
for range_step(0,10,0) |_i| {}
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2013-01-23 23:57:05 -06:00
|
|
|
#[ignore(cfg(windows))]
|
2013-01-23 17:08:47 -06:00
|
|
|
fn test_range_step_zero_step_down() {
|
|
|
|
for range_step(0,-10,0) |_i| {}
|
2013-01-10 14:18:01 -06:00
|
|
|
}
|