Struct RedirectFact 

pub struct RedirectFact<'a> { /* private fields */ }

Extracted structural facts available to rules and callers.

Implementations

impl<'a> RedirectFact<'a>

pub fn redirect(&self) -> &'a Redirect

pub fn brace_fd_redirection_span(&self) -> Option<Span>

pub fn operator_span(&self) -> Span

pub fn target_span(&self) -> Option<Span>

pub fn arithmetic_update_operator_spans(&self) -> &[Span]

pub fn analysis(&self) -> Option<RedirectTargetAnalysis>

Trait Implementations

impl<'a> Clone for RedirectFact<'a>

fn clone(&self) -> RedirectFact<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for RedirectFact<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.