Struct UniqueRule 

#[non_exhaustive]
pub struct UniqueRule {
    pub label: Option<String>,
    pub attributes: Vec<String>,
}

One UNIQUE rule: the named attributes are unique, jointly, across every instance of the declaring entity and its subtypes.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

label: Option<String>

Rule label, e.g. UR1; None when the rule is unlabelled.

attributes: Vec<String>

Attribute names as written; a qualified name (SELF\X.Y) is kept.

Implementations

impl UniqueRule

pub fn new(label: impl Into<String>, attributes: Vec<String>) -> Self

Creates a labelled rule over attributes.

pub const fn unlabelled(attributes: Vec<String>) -> Self

Creates an unlabelled rule over attributes.

Trait Implementations

impl Clone for UniqueRule

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 UniqueRule

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

Formats the value using the given formatter.

impl Eq for UniqueRule

impl PartialEq for UniqueRule

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UniqueRule