Struct NonEmptyStringList 

pub struct NonEmptyStringList(/* private fields */);

A Part 21 LIST[1:?] OF STRING — guaranteed to hold at least one element.

STEP’s FILE_DESCRIPTION.description, FILE_NAME.author, and FILE_NAME.organization fields are typed LIST[1:?] OF STRING; an empty list is a spec violation. Encoding that constraint at the type level prevents construction of spec-violating FileHeader values: any attempt to build a NonEmptyStringList from an empty Vec<String> returns None rather than an invalid value.

STEP convention for “no meaningful content” is a single-element list holding "", which is what NonEmptyStringList::default produces.

Implementations

impl NonEmptyStringList

pub fn try_from_vec(v: Vec<String>) -> Option<Self>

Lift a Vec<String> to NonEmptyStringList; returns None for an empty input.

pub fn as_slice(&self) -> &[String]

pub fn iter(&self) -> Iter<'_, String>

Inherent iterator (idiomatic companion to IntoIterator for &Self).

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for NonEmptyStringList

fn clone(&self) -> NonEmptyStringList

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NonEmptyStringList

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

Formats the value using the given formatter.

impl Default for NonEmptyStringList

fn default() -> Self

Single empty-string element ([""]) — the STEP convention for “no meaningful content” while remaining spec-compliant.

impl Eq for NonEmptyStringList

impl<'a> IntoIterator for &'a NonEmptyStringList

type Item = &'a String

The type of the elements being iterated over.

type IntoIter = Iter<'a, String>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for NonEmptyStringList

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for NonEmptyStringList