pub struct SchedTime {
pub ticks: SimTick,
}Expand description
The scheduler-internal logical-time value (scheduler.md §2; ledger SC-023,
SC-033, SC-129). Deliberately a different type from the ABI-facing
vj_abi::SimTime{sim_units, delta} (docs/CONTRACTS.md r3 item 1):
delta is not a field here and never will be — it is purely a local
iteration count of the inner Active/Inactive/NBA convergence loop
(reconv_iter on PendingActivation/CanonicalEventKey), discarded
once that loop converges (SC-023). The only way to get from this type to
the ABI’s is SchedTime::to_abi_display, the one documented conversion
point (SC-129) — it never runs the other way, and nothing derives a
delta from ticks internally.
Fields§
§ticks: SimTickImplementations§
Source§impl SchedTime
impl SchedTime
Sourcepub fn to_abi_display(self, delta: u32) -> SimTime
pub fn to_abi_display(self, delta: u32) -> SimTime
The one documented SchedTime -> vj_abi::SimTime conversion
point (SC-129), used only at the ABI/display boundary. delta is
always the caller’s own delta-loop iteration counter — never read from
or derived from self.ticks — because the internal type never carries
one (SC-023).
Trait Implementations§
impl Copy for SchedTime
impl Eq for SchedTime
Source§impl Ord for SchedTime
impl Ord for SchedTime
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
1.21.0 (const: unstable) · Source§fn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl PartialOrd for SchedTime
impl PartialOrd for SchedTime
impl StructuralPartialEq for SchedTime
Auto Trait Implementations§
impl Freeze for SchedTime
impl RefUnwindSafe for SchedTime
impl Send for SchedTime
impl Sync for SchedTime
impl Unpin for SchedTime
impl UnsafeUnpin for SchedTime
impl UnwindSafe for SchedTime
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.