2011-06-15 13:19:50 -05:00
|
|
|
|
|
|
|
|
|
|
|
|
2011-03-27 15:29:21 -05:00
|
|
|
// -*- rust -*-
|
|
|
|
|
|
|
|
// Tests for if as expressions
|
|
|
|
fn test_if() {
|
2011-06-15 13:19:50 -05:00
|
|
|
let bool res = if (true) { true } else { false };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_else() {
|
2011-06-15 13:19:50 -05:00
|
|
|
let bool res = if (false) { false } else { true };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_elseif1() {
|
2011-06-15 13:19:50 -05:00
|
|
|
let bool res = if (true) { true } else if (true) { false } else { false };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_elseif2() {
|
2011-06-15 13:19:50 -05:00
|
|
|
let bool res =
|
|
|
|
if (false) { false } else if (true) { true } else { false };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_elseif3() {
|
2011-06-15 13:19:50 -05:00
|
|
|
let bool res =
|
|
|
|
if (false) { false } else if (false) { false } else { true };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_inferrence() {
|
2011-06-15 13:19:50 -05:00
|
|
|
auto res = if (true) { true } else { false };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_if_as_if_condition() {
|
2011-06-15 13:19:50 -05:00
|
|
|
auto res1 =
|
|
|
|
if (if (false) { false } else { true }) { true } else { false };
|
|
|
|
assert (res1);
|
|
|
|
auto res2 =
|
|
|
|
if (if (true) { false } else { true }) { false } else { true };
|
|
|
|
assert (res2);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test_if_as_block_result() {
|
2011-06-15 13:19:50 -05:00
|
|
|
auto res =
|
|
|
|
if (true) { if (false) { false } else { true } } else { false };
|
|
|
|
assert (res);
|
2011-03-27 15:29:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2011-06-15 13:19:50 -05:00
|
|
|
test_if();
|
|
|
|
test_else();
|
|
|
|
test_elseif1();
|
|
|
|
test_elseif2();
|
|
|
|
test_elseif3();
|
|
|
|
test_inferrence();
|
|
|
|
test_if_as_if_condition();
|
|
|
|
test_if_as_block_result();
|
|
|
|
}
|