Enum calyx_ir::Control

pub enum Control {
    Seq(Seq),
    Par(Par),
    If(If),
    While(While),
    Invoke(Invoke),
    Enable(Enable),
    Empty(Empty),
    Static(StaticControl),
}

Control AST nodes.

Variants

Seq(Seq)

Represents sequential composition of control statements.

Par(Par)

Represents parallel composition of control statements.

If(If)

Standard imperative if statement

While(While)

Standard imperative while statement

Invoke(Invoke)

Invoke a sub-component with the given port assignments

Enable(Enable)

Runs the control for a list of subcomponents.

Empty(Empty)

Control statement that does nothing.

Static(StaticControl)

Static Control

Implementations

impl Control

pub fn is_static(&self) -> bool

pub fn get_latency(&self) -> Option<u64>

impl Control

pub fn empty() -> Self

Convience constructor for empty.

pub fn seq(stmts: Vec<Control>) -> Self

Convience constructor for seq.

pub fn par(stmts: Vec<Control>) -> Self

Convience constructor for par.

pub fn enable(group: RRC<Group>) -> Self

Convience constructor for enable.

pub fn static_enable(group: RRC<StaticGroup>) -> Self

Convience constructor for enable.

pub fn invoke( comp: RRC<Cell>, inputs: Vec<(Id, RRC<Port>)>, outputs: Vec<(Id, RRC<Port>)> ) -> Self

Convience constructor for invoke.

pub fn if_( port: RRC<Port>, cond: Option<RRC<CombGroup>>, tbranch: Box<Control>, fbranch: Box<Control> ) -> Self

Convience constructor for if

pub fn while_( port: RRC<Port>, cond: Option<RRC<CombGroup>>, body: Box<Control> ) -> Self

Convience constructor for while

pub fn get_attribute<A>(&self, attr: A) -> Option<u64>where A: Into<Attribute>,

Returns the value of an attribute if present

pub fn has_attribute<A>(&self, attr: A) -> boolwhere A: Into<Attribute>,

Returns true if the node has a specific attribute

Trait Implementations

impl Debug for Control

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

Formats the value using the given formatter.

impl<'a> From<&'a Control> for GenericControl<'a>

fn from(c: &'a Control) -> Self

Converts to this type from the input type.

impl From<Enable> for Control

fn from(en: Enable) -> Self

Converts to this type from the input type.

impl From<Invoke> for Control

fn from(inv: Invoke) -> Self

Converts to this type from the input type.

impl From<StaticControl> for Control

fn from(sc: StaticControl) -> Self

Converts to this type from the input type.

impl GetAttributes for Control

fn get_mut_attributes(&mut self) -> &mut Attributes

Returns a mutable Attributes instance

fn get_attributes(&self) -> &Attributes

Returns an Attributes instance

impl WithPos for Control

fn copy_span(&self) -> GPosIdx

Copy the span associated with this node.