Struct HeaderDeclarations

Source

pub struct HeaderDeclarations<D>(pub Vec<D>);

Expand description

Semicolon-terminated declarations parsed from one section header.

Available with program-image-execution. D selects the declarations that the application accepts, such as device directives and program metadata. Whitespace and line comments may separate declarations; empty headers are valid. Consumers apply each declaration to their own preparation context and decide which declarations are required and when to resolve dependencies. This collection imposes no lowering or image-construction policy.

Tuple Fields§

§0: Vec<D>

HeaderDeclarations

Struct HeaderDeclarations Copy item path

Tuple Fields§

Trait Implementations§

impl<D: Clone> Clone for HeaderDeclarations<D>

fn clone(&self) -> HeaderDeclarations<D>

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

impl<D: Debug> Debug for HeaderDeclarations<D>

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

impl<D> FromText for HeaderDeclarations<D>where for<'src> D: Parse<'src>,

fn from_text(text: &str) -> Result<Self>

impl<D> IntoIterator for HeaderDeclarations<D>

type Item = D

type IntoIter = IntoIter<D>

fn into_iter(self) -> Self::IntoIter

impl<D: PartialEq> PartialEq for HeaderDeclarations<D>

fn eq(&self, other: &HeaderDeclarations<D>) -> bool

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

impl<D> SstHeader for HeaderDeclarations<D>where for<'src> D: Parse<'src>,

impl<D: PartialEq> StructuralPartialEq for HeaderDeclarations<D>

Auto Trait Implementations§

impl<D> Freeze for HeaderDeclarations<D>

impl<D> RefUnwindSafe for HeaderDeclarations<D>where D: RefUnwindSafe,

impl<D> Send for HeaderDeclarations<D>where D: Send,

impl<D> Sync for HeaderDeclarations<D>where D: Sync,

impl<D> Unpin for HeaderDeclarations<D>where D: Unpin,

impl<D> UnsafeUnpin for HeaderDeclarations<D>

impl<D> UnwindSafe for HeaderDeclarations<D>where D: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<'src, T> IntoMaybe<'src, T> for Twhere T: 'src,

type Proj<U: 'src> = U

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>where R: 'src,

impl<T> OrderedSeq<'_, T> for Twhere T: Clone,

impl<'p, T> Seq<'p, T> for Twhere T: Clone,

type Item<'a> = &'a T where T: 'a

type Iter<'a> = Once<&'a T> where T: 'a

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

fn contains(&self, val: &T) -> boolwhere T: PartialEq,

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where 'p: 'b,

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct HeaderDeclarations

impl<D> FromText for HeaderDeclarations<D>
where for<'src> D: Parse<'src>,

impl<D> SstHeader for HeaderDeclarations<D>
where for<'src> D: Parse<'src>,

impl<D> RefUnwindSafe for HeaderDeclarations<D>
where D: RefUnwindSafe,

impl<D> Send for HeaderDeclarations<D>
where D: Send,

impl<D> Sync for HeaderDeclarations<D>
where D: Sync,

impl<D> Unpin for HeaderDeclarations<D>
where D: Unpin,

impl<D> UnwindSafe for HeaderDeclarations<D>
where D: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

impl<T> OrderedSeq<'_, T> for T
where T: Clone,

impl<'p, T> Seq<'p, T> for T
where T: Clone,

fn contains(&self, val: &T) -> bool
where T: PartialEq,

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>
where 'p: 'b,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,