enum NodeState {
Pending,
Success,
Waiting,
Done,
Error,
}
Expand description
The state of one node in some tree within the forest. This represents the
current state of processing for the obligation (of type O
) associated
with this node.
The non-Error
state transitions are as follows.
(Pre-creation)
|
| register_obligation_at() (called by process_obligations() and
v from outside the crate)
Pending
|
| process_obligations()
v
Success
| ^
| | mark_successes()
| v
| Waiting
|
| process_cycles()
v
Done
|
| compress()
v
(Removed)
The Error
state can be introduced in several places, via error_at()
.
Outside of ObligationForest
methods, nodes should be either Pending
or
Waiting
.
Variants
Pending
This obligation has not yet been selected successfully. Cannot have subobligations.
Success
This obligation was selected successfully, but may or may not have subobligations.
Waiting
This obligation was selected successfully, but it has a pending subobligation.
Done
This obligation, along with its subobligations, are complete, and will be removed in the next collection.
Error
This obligation was resolved to an error. It will be removed by the next compression step.
Trait Implementations
impl Copy for NodeState
impl Eq for NodeState
impl StructuralEq for NodeState
impl StructuralPartialEq for NodeState
Auto Trait Implementations
impl RefUnwindSafe for NodeState
impl Send for NodeState
impl Sync for NodeState
impl Unpin for NodeState
impl UnwindSafe for NodeState
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> Erased for T
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Pending
: 0 bytesSuccess
: 0 bytesWaiting
: 0 bytesDone
: 0 bytesError
: 0 bytes