Struct Aggregation 

#[non_exhaustive]
pub struct Aggregation {
    pub kind: AggregateKind,
    pub lower: Bound,
    pub upper: Bound,
    pub unique: bool,
    pub optional_elements: bool,
}

One aggregation level of a declared type, e.g. LIST [1:3] OF ....

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.

kind: AggregateKind

Which aggregation type.

lower: Bound

Lower bound. 0 when a LIST, SET or BAG omits its bounds, which ISO 10303-11 defines as [0:?].

upper: Bound

Upper bound; Bound::Unbounded for ? or omitted bounds.

unique: bool

Whether the elements are declared UNIQUE (OF UNIQUE ...). A SET is unique by definition whether or not this is set.

optional_elements: bool

Whether an ARRAY’s elements are declared OPTIONAL.

Implementations

impl Aggregation

pub const fn new(kind: AggregateKind, lower: Bound, upper: Bound) -> Self

Creates an aggregation level with explicit bounds.

pub const fn unique(self) -> Self

Marks the elements UNIQUE.

pub const fn optional_elements(self) -> Self

Marks an ARRAY’s elements OPTIONAL.

pub const fn forbids_duplicates(&self) -> bool

Whether duplicate elements are forbidden: UNIQUE, or a SET.

Trait Implementations

impl Clone for Aggregation

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 Aggregation

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

Formats the value using the given formatter.

impl Eq for Aggregation

impl Hash for Aggregation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Aggregation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Aggregation