Enum sv_parser_syntaxtree::source_text::constraints::ConstraintExpression

pub enum ConstraintExpression {
    Expression(Box<ConstraintExpressionExpression>),
    UniquenessConstraint(Box<(UniquenessConstraint, Symbol)>),
    Arrow(Box<ConstraintExpressionArrow>),
    If(Box<ConstraintExpressionIf>),
    Foreach(Box<ConstraintExpressionForeach>),
    Disable(Box<ConstraintExpressionDisable>),
}

Variants

Expression(Box<ConstraintExpressionExpression>)

UniquenessConstraint(Box<(UniquenessConstraint, Symbol)>)

Arrow(Box<ConstraintExpressionArrow>)

If(Box<ConstraintExpressionIf>)

Foreach(Box<ConstraintExpressionForeach>)

Disable(Box<ConstraintExpressionDisable>)

Trait Implementations

impl Clone for ConstraintExpression

fn clone(&self) -> ConstraintExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintExpression

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

Formats the value using the given formatter.

impl<'a> From<&'a ConstraintExpression> for RefNodes<'a>

fn from(x: &'a ConstraintExpression) -> Self

Performs the conversion.

impl<'a> From<&'a ConstraintExpression> for RefNode<'a>

fn from(x: &'a ConstraintExpression) -> Self

Performs the conversion.

impl From<ConstraintExpression> for AnyNode

fn from(x: ConstraintExpression) -> Self

Performs the conversion.

impl<'a> IntoIterator for &'a ConstraintExpression

type Item = RefNode<'a>

The type of the elements being iterated over.

type IntoIter = Iter<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> Node<'a> for ConstraintExpression

fn next(&'a self) -> RefNodes<'a>

impl PartialEq<ConstraintExpression> for ConstraintExpression

fn eq(&self, other: &ConstraintExpression) -> bool

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

fn ne(&self, other: &ConstraintExpression) -> bool

This method tests for !=.

impl<'a> TryFrom<&'a ConstraintExpression> for Locate

type Error = ()

The type returned in the event of a conversion error.

fn try_from(x: &'a ConstraintExpression) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<AnyNode> for ConstraintExpression

type Error = ()

The type returned in the event of a conversion error.

fn try_from(x: AnyNode) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<ConstraintExpression> for Locate

type Error = ()

The type returned in the event of a conversion error.

fn try_from(x: ConstraintExpression) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for ConstraintExpression