Struct GeneratedFile 

pub struct GeneratedFile {
    pub path: PathBuf,
    pub content: String,
    pub generated_header: bool,
}

A generated file to write to disk.

Fields

path: PathBuf

Path relative to the output root.

content: String

File content.

generated_header: bool

Whether to prepend a “DO NOT EDIT” header.

Implementations

impl GeneratedFile

pub fn carries_alef_marker(&self) -> bool

Whether the emitted file ends up carrying an alef header marker.

Distinct from Self::generated_header, which only says whether the writer prepends one: a backend may emit its own marker inside content and still set the flag to false. alef verify claims any file on disk carrying the marker, so the stamping pass must use this, not the flag — otherwise self-marked files are verified but never stamped. ~keep

Trait Implementations

impl Clone for GeneratedFile

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 GeneratedFile

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

Formats the value using the given formatter.