Files
@ b4a9c41d70da
Branch filter:
Location: CSY/reowolf/src/protocol/tests/lexer.rs - annotation
b4a9c41d70da
3.3 KiB
application/rls-services+xml
Initial casting implementation
Explicit casts can be performed with the syntax 'cast<type>(input)'
and implicit casts can be performed with the syntax 'cast(input)'
where the output type is determined by inference.
To prevent casting shenanigans we only allow casting of primitive
types and of types to themselves (essentially creating a copy).
Explicit casts can be performed with the syntax 'cast<type>(input)'
and implicit casts can be performed with the syntax 'cast(input)'
where the output type is determined by inference.
To prevent casting shenanigans we only allow casting of primitive
types and of types to themselves (essentially creating a copy).
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 9b32fa307ceb aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 aaeaf5986496 aaeaf5986496 fc2d65a1b906 fc2d65a1b906 fc2d65a1b906 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 fc2d65a1b906 fc2d65a1b906 aaeaf5986496 aaeaf5986496 aaeaf5986496 fc2d65a1b906 fc2d65a1b906 fc2d65a1b906 aaeaf5986496 aaeaf5986496 | /// lexer.rs
///
/// Simple tests for the lexer. Only tests the lexing of the input source and
/// the resulting AST without relying on the validation/typing pass
use super::*;
#[test]
fn test_disallowed_inference() {
Tester::new_single_source_expect_err(
"argument auto inference",
"func thing(auto arg) -> s32 { return 0; }"
).error(|e| { e
.assert_msg_has(0, "inference is not allowed")
.assert_occurs_at(0, "auto arg");
});
Tester::new_single_source_expect_err(
"return type auto inference",
"func thing(s32 arg) -> auto { return 0; }"
).error(|e| { e
.assert_msg_has(0, "inference is not allowed")
.assert_occurs_at(0, "auto {");
});
Tester::new_single_source_expect_err(
"implicit polymorph argument auto inference",
"func thing(in port) -> s32 { return port; }"
).error(|e| { e
.assert_msg_has(0, "inference is not allowed")
.assert_occurs_at(0, "in port");
});
Tester::new_single_source_expect_err(
"explicit polymorph argument auto inference",
"func thing(in<auto> port) -> s32 { return port; }"
).error(|e| { e
.assert_msg_has(0, "inference is not allowed")
.assert_occurs_at(0, "auto> port");
});
Tester::new_single_source_expect_err(
"implicit polymorph return type auto inference",
"func thing(in<msg> a, in<msg> b) -> in { return a; }"
).error(|e| { e
.assert_msg_has(0, "inference is not allowed")
.assert_occurs_at(0, "in {");
});
Tester::new_single_source_expect_err(
"explicit polymorph return type auto inference",
"func thing(in<msg> a) -> in<auto> { return a; }"
).error(|e| { e
.assert_msg_has(0, "inference is not allowed")
.assert_occurs_at(0, "auto> {");
});
}
#[test]
fn test_simple_struct_definition() {
Tester::new_single_source_expect_ok(
"empty struct",
"struct Foo{}"
).for_struct("Foo", |t| { t.assert_num_fields(0); });
Tester::new_single_source_expect_ok(
"single field, no comma",
"struct Foo{ s32 field }"
).for_struct("Foo", |t| { t
.assert_num_fields(1)
.for_field("field", |f| {
f.assert_parser_type("s32");
});
});
Tester::new_single_source_expect_ok(
"single field, with comma",
"struct Foo{ s32 field, }"
).for_struct("Foo", |t| { t
.assert_num_fields(1)
.for_field("field", |f| { f
.assert_parser_type("s32");
});
});
Tester::new_single_source_expect_ok(
"multiple fields, no comma",
"struct Foo{ u8 a, s16 b, s32 c }"
).for_struct("Foo", |t| { t
.assert_num_fields(3)
.for_field("a", |f| { f.assert_parser_type("u8"); })
.for_field("b", |f| { f.assert_parser_type("s16"); })
.for_field("c", |f| { f.assert_parser_type("s32"); });
});
Tester::new_single_source_expect_ok(
"multiple fields, with comma",
"struct Foo{
u8 a,
s16 b,
s32 c,
}"
).for_struct("Foo", |t| { t
.assert_num_fields(3)
.for_field("a", |f| { f.assert_parser_type("u8"); })
.for_field("b", |f| { f.assert_parser_type("s16"); })
.for_field("c", |f| { f.assert_parser_type("s32"); });
});
}
|