Struct CrossDecl 

pub struct CrossDecl {
    pub name: String,
    pub items: Vec<String>,
    pub iff: Option<Expr>,
    pub bins: Vec<CrossBinDecl>,
    pub options: Vec<(String, Expr)>,
    pub type_options: Vec<(String, Expr)>,
}

A cross (19.6).

Fields

name: String

items: Vec<String>

The crossed coverpoints, by name, in declaration order. A variable operand is represented by the implicit coverpoint the frontend adds.

iff: Option<Expr>

Cross-level iff (sample-time kernel).

bins: Vec<CrossBinDecl>

options: Vec<(String, Expr)>

type_options: Vec<(String, Expr)>

Implementations

impl CrossDecl

pub fn new(name: &str, items: &[&str]) -> CrossDecl

pub fn bin(self, bin: CrossBinDecl) -> CrossDecl

Trait Implementations

impl Clone for CrossDecl

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CrossDecl

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

Formats the value using the given formatter.

impl PartialEq for CrossDecl

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CrossDecl