Struct Conditional 

pub struct Conditional {
    pub condition: Box<Node>,
    pub body: Vec<Node>,
    pub else_body: Vec<Node>,
    pub span: SourceSpan,
    pub if_locals: Option<Vec<Variable>>,
    pub else_locals: Option<Vec<Variable>>,
}

Fields

condition: Box<Node>

The condition

body: Vec<Node>

The body

else_body: Vec<Node>

If there is an else condition, this is its body

span: SourceSpan

The span

if_locals: Option<Vec<Variable>>

A cache of local variables defined in the conditional if block.

else_locals: Option<Vec<Variable>>

A cache of local variables defined in the conditional else block.

Implementations

impl Conditional

pub fn get_if_locals(&mut self) -> Vec<Variable>

pub fn get_else_locals(&mut self) -> Vec<Variable>

pub fn get_if_subroutines(&self) -> HashMap<String, Subroutine>

pub fn get_else_subroutines(&self) -> HashMap<String, Subroutine>

impl Conditional

pub fn cache(&mut self, cx: &CheckerContext) -> Result<()>

Trait Implementations

impl Checker<Conditional> for Conditional

fn check(item: &mut Conditional, cx: &mut CheckerContext) -> Result<()>

impl Clone for Conditional

fn clone(&self) -> Conditional

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Conditional

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

Formats the value using the given formatter.

impl Lowerable for Conditional

fn lower( &mut self, cx: &mut CheckerContext, lcx: &mut LoweringContext, ) -> Result<Vec<IRNode>>

impl Remap for Conditional

fn remap_name(&self, orig: &String, new: &String) -> Self

impl Serialize for Conditional

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.