Struct polyhorn_cli::template::SourceTree

pub struct SourceTree { /* fields omitted */ }

A source tree that is used to queue files that need to be generated.

Implementations

impl SourceTree

pub fn new() -> SourceTree

Creates a new empty source tree that can be written to disk.

pub fn copy(&mut self, name: &str, contents: &'static [u8])

Queues a copy of the given contents to a file with the given name.

pub fn template(&mut self, name: &str, contents: &'static str)

Queues an invocation of the given template that writes the result to a file with the given name.

pub fn len(&self) -> usize

Returns the number of files that are queued for generation.

pub fn generate<'a>(
    &'a self,
    spec: &'a Spec,
    destination_path: &'a Path
) -> SourceTreeIter<'a>

Returns an iterator that generates the source files of this source tree and writes them to the given destination path one-by-one.