Searched refs:cast_to (Results 1 – 25 of 42) sorted by relevance
12
| /DragonOS/kernel/crates/intertrait/ |
| H A D | README.md | 45 #[cast_to]
64 ### `#[cast_to]` to `impl` item
73 #[cast_to]
81 ### `#[cast_to(Trait)]` to type definition
82 For the type, the traits specified as arguments to the `#[cast_to(...)]` attribute are designated a…
95 #[cast_to(Greet, std::fmt::Debug)]
126 * Add `[sync]` flag to `#[cast_to]` and `castable_to!` as follows:
128 #[cast_to([sync])]
129 #[cast_to([sync] Trait1, Trait2)]
|
| /DragonOS/kernel/crates/intertrait/tests/ui/ |
| H A D | on-type-impl.rs | 5 #[cast_to]
|
| H A D | unknown-flag.stderr | 4 5 | #[cast_to([sync, send] Greet)]
|
| H A D | duplicate-flags.stderr | 4 5 | #[cast_to([sync, sync] Greet)]
|
| H A D | on-type-impl.stderr | 1 error: #[cast_to] should only be on an impl of a trait
|
| H A D | on-generic-type.stderr | 1 error: #[cast_to(..)] can't be used on a generic type definition
|
| H A D | unknown-flag.rs | 5 #[cast_to([sync, send] Greet)]
|
| H A D | duplicate-flags.rs | 5 #[cast_to([sync, sync] Greet)]
|
| H A D | on-generic-type.rs | 5 #[cast_to(Greet)]
|
| /DragonOS/kernel/crates/intertrait/tests/ |
| H A D | on-trait-impl.rs | 12 #[cast_to]
|
| H A D | on-struct.rs | 4 #[cast_to(Greet)]
|
| H A D | on-enum.rs | 4 #[cast_to(Greet)]
|
| H A D | on-trait-impl-assoc-type1.rs | 16 #[cast_to]
|
| H A D | on-trait-impl-assoc-type2.rs | 17 #[cast_to]
|
| H A D | on-type-multi-traits.rs | 4 #[cast_to(Greet, Greet1, Greet2)]
|
| H A D | on-trait-impl-assoc-type3.rs | 17 #[cast_to]
|
| /DragonOS/kernel/crates/intertrait/macros/src/ |
| H A D | lib.rs | 66 pub fn cast_to(args: TokenStream, input: TokenStream) -> TokenStream { in cast_to() function
|
| /DragonOS/kernel/src/driver/input/serio/i8042/ |
| H A D | i8042_device.rs | 24 #[cast_to([sync] Device)]
25 #[cast_to([sync] PlatformDevice)]
|
| H A D | i8042_ports.rs | 27 #[cast_to([sync] Device)]
|
| /DragonOS/kernel/src/driver/pci/ |
| H A D | raw_device.rs | 24 #[cast_to([sync] Device)]
25 #[cast_to([sync] PciDevice)]
|
| /DragonOS/kernel/src/driver/pci/test/ |
| H A D | pt_device.rs | 29 #[cast_to([sync] Device)]
30 #[cast_to([sync] PciDevice)]
|
| H A D | pt_driver.rs | 24 #[cast_to([sync] PciDriver)]
|
| /DragonOS/kernel/src/driver/net/ |
| H A D | virtio_net.rs | 66 #[cast_to([sync] VirtIODevice)]
67 #[cast_to([sync] Device)]
364 #[cast_to([sync] NetDevice)]
365 #[cast_to([sync] Device)]
779 #[cast_to([sync] VirtIODriver)]
780 #[cast_to([sync] Driver)]
|
| /DragonOS/kernel/src/driver/block/ |
| H A D | virtio_blk.rs | 151 #[cast_to([sync] VirtIODevice)]
152 #[cast_to([sync] Device)]
484 #[cast_to([sync] VirtIODriver)]
485 #[cast_to([sync] Driver)]
|
| /DragonOS/kernel/src/driver/input/ps2_mouse/ |
| H A D | ps_mouse_driver.rs | 74 #[cast_to([sync] Driver)]
75 #[cast_to([sync] SerioDriver)]
|
12