pub struct Rules { /* private fields */ }Expand description
What QCode remembers for the rules, for as long as it runs.
Implementations§
Source§impl Rules
impl Rules
Sourcepub fn check(&self, from: End, to: End, now: Instant) -> Result<u32, Refusal>
pub fn check(&self, from: End, to: End, now: Instant) -> Result<u32, Refusal>
Asks the rules that do not need the person about a message from from to to at now,
and answers the step of the chain it would be.
Nothing is recorded: a message that then waits for the person or is denied by them has not been sent.
§Errors
The first rule the message breaks.
Sourcepub fn hop(&self, tab: u64, now: Instant) -> u32
pub fn hop(&self, tab: u64, now: Instant) -> u32
The step a message from tab at now would be: one more than the last message it was
sent, when that came within CHAIN_WINDOW, and the first step otherwise.
Sourcepub fn decision(&self, from: u64, to: u64) -> Option<Decision>
pub fn decision(&self, from: u64, to: u64) -> Option<Decision>
What the person said about messages from from to to, when they were asked.
Sourcepub fn decide(&mut self, from: u64, to: u64, decision: Decision)
pub fn decide(&mut self, from: u64, to: u64, decision: Decision)
Records what the person said about messages from from to to.
Sourcepub fn sent(&mut self, from: u64, now: Instant)
pub fn sent(&mut self, from: u64, now: Instant)
Counts a message from sent at now against its pace, whether it is taken at once or
waits for the person.
Sourcepub fn received(&mut self, to: u64, hop: u32, now: Instant)
pub fn received(&mut self, to: u64, hop: u32, now: Instant)
Records that to was handed a message that was step hop of its chain, at now; what
to sends next continues the chain.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Rules
impl RefUnwindSafe for Rules
impl Send for Rules
impl Sync for Rules
impl Unpin for Rules
impl UnsafeUnpin for Rules
impl UnwindSafe for Rules
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
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more