Struct moore_svlog_syntax::ast::VarDeclData

pub struct VarDeclData<'a> {
    pub konst: bool,
    pub var: bool,
    pub lifetime: Option<Lifetime>,
    pub ty: Type<'a>,
    pub names: Vec<VarDeclName<'a>>,
}

A variable declaration.

For example logic x, y, z.

Fields

konst: bool

var: bool

lifetime: Option<Lifetime>

ty: Type<'a>

names: Vec<VarDeclName<'a>>

Trait Implementations

impl<'a> AcceptVisitor<'a> for VarDeclData<'a>

fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> AnyNodeData for VarDeclData<'a>

fn get_name(&self) -> Option<Spanned<Name>>

Get this node’s name, or None if it does not have one.

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

Describe this node for diagnostics in indefinite form, e.g. “entity”.

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

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn as_data(&self) -> &dyn AnyNodeData where
    Self: Sized, 

fn format_indefinite(&self) -> FormatNodeIndefinite<'_> where
    Self: Sized, 

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn format_definite(&self) -> FormatNodeDefinite<'_> where
    Self: Sized, 

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn to_indefinite_string(&self) -> String where
    Self: Sized, 

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn to_definite_string(&self) -> String where
    Self: Sized, 

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

impl<'a> Clone for VarDeclData<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for VarDeclData<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for VarDeclData<'a>

fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))

Apply a function to each child node.

impl<'a> ForEachNode<'a> for VarDeclData<'a>

fn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))

Apply a function to this node.

impl<'a> PartialEq<VarDeclData<'a>> for VarDeclData<'a>

fn eq(&self, other: &VarDeclData<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &VarDeclData<'a>) -> bool

This method tests for !=.

impl<'a> Eq for VarDeclData<'a>

impl<'a> StructuralEq for VarDeclData<'a>

impl<'a> StructuralPartialEq for VarDeclData<'a>