[−][src]Struct rtfm_syntax::analyze::Analysis
The result of analyzing an RTFM application
Fields
used_cores: BTreeSet<Core>
Cores that have been assigned at least task, #[init]
or #[idle]
channels: Channels
SPSC message channels between cores
free_queues: FreeQueues
Priority ceilings of "free queues"
late_resources: LateResources
Maps a core to the late resources it initializes
locations: Locations
Location of all used resources
If a resource is not listed here it means that's a "dead" (never accessed) resource and the backend should not generate code for it
None
indicates that the resource must reside in memory visible to more than one core
("shared memory")
ownerships: Ownerships
Resource ownership
send_types: SendTypes
These types must implement the Send
trait
sync_types: SyncTypes
These types must implement the Sync
trait
initialization_barriers: InitializationBarriers
Cross-core initialization barriers
spawn_barriers: SpawnBarriers
Cross-core spawn barriers
timer_queues: TimerQueues
Timer queues
Auto Trait Implementations
impl !Send for Analysis
impl !Sync for Analysis
impl Unpin for Analysis
impl !RefUnwindSafe for Analysis
impl !UnwindSafe for Analysis
Blanket Implementations
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,