Struct Embedded 

pub struct Embedded {
    pub sources: &'static [EmbeddedSource],
    pub run: EmbeddedRun,
    pub backend: EmbeddedBackend,
}

A whole program: the sources a built binary carries, the run it carries them for, and the backend it runs them on.

Fields

sources: &'static [EmbeddedSource]

Every .cove file of the package, which together are the whole program: the binary reads no source from disk.

run: EmbeddedRun

The run the sources were built for.

backend: EmbeddedBackend

The backend cove build chose, which is the linear-memory backend unless the build asked otherwise.

Implementations

impl Embedded

pub fn main(&self) -> ExitCode

Runs the embedded program, and is the whole of a built binary’s main.

Every process argument is the program’s own: a built binary parses no flags of its own, because a flag it honoured would be a way to ask it for something its [run.<name>] table did not.