struct LoopExitCandidateInfo {
pub occurrences: Vec<usize>,
}
Fields§
§occurrences: Vec<usize>
The occurrences going to this exit. For every occurrence, we register the distance between the loop entry and the node from which the edge going to the exit starts. If later we have to choose between candidates with the same number of occurrences, we choose the one with the smallest distances.
Note that it may happen that we have several exit candidates referenced more than once for one loop. This comes from the fact that whenever we reach a node from which the loop entry is not reachable (without using a backward edge leading to an outer loop entry), we register this node as well as all its children as exit candidates. Consider the following example:
while i < max {
if cond {
break;
}
s += i;
i += 1
}
// All the below nodes are exit candidates (each of them is referenced twice)
s += 1;
return s;
Trait Implementations§
source§impl Clone for LoopExitCandidateInfo
impl Clone for LoopExitCandidateInfo
source§fn clone(&self) -> LoopExitCandidateInfo
fn clone(&self) -> LoopExitCandidateInfo
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl Freeze for LoopExitCandidateInfo
impl RefUnwindSafe for LoopExitCandidateInfo
impl Send for LoopExitCandidateInfo
impl Sync for LoopExitCandidateInfo
impl Unpin for LoopExitCandidateInfo
impl UnwindSafe for LoopExitCandidateInfo
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
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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>
Converts
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>
Converts
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§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more