Rust: Add tests for Enum

This commit is contained in:
Simon Friis Vindum
2025-11-25 10:09:59 +01:00
parent 50e8d0ca20
commit 393da4567e
4 changed files with 44 additions and 0 deletions

View File

@@ -0,0 +1,7 @@
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4
[[package]]
name = "test"
version = "0.0.1"

View File

@@ -0,0 +1,7 @@
fieldless
| enums.rs:1:1:5:1 | enum Foo |
| enums.rs:7:1:11:1 | enum Fieldless |
| enums.rs:13:1:18:1 | enum Direction |
unitOnly
| enums.rs:1:1:5:1 | enum Foo |
| enums.rs:13:1:18:1 | enum Direction |

View File

@@ -0,0 +1,6 @@
import rust
import TestUtils
query predicate fieldless(Enum e) { toBeTested(e) and e.isFieldless() }
query predicate unitOnly(Enum e) { toBeTested(e) and e.isUnitOnly() }

View File

@@ -0,0 +1,24 @@
enum Foo {
Bar,
Baz,
Qux,
}
enum Fieldless {
Tuple(),
Struct{},
Unit,
}
enum Direction {
North = 0,
East = 90,
South = 180,
West = 270,
}
enum Color {
Red(u8),
Green(u8),
Blue(u8),
}