Struct Component 

pub struct Component {
    pub path: PathBuf,
    pub wasm: Option<PathBuf>,
}

A cargo package providing user-defined verification components, declared as a [[components]] entry. Every name the package exports with veryl_component_export! becomes available as $comp::<name> in #[test] modules.

Fields

path: PathBuf

Path to the component’s cargo package, relative to the directory containing Veryl.toml.

wasm: Option<PathBuf>

Optional committed prebuilt wasm binary.

Implementations

impl Component

pub fn collect_manifests( &self, root: &Path, target_dir: &Path, ) -> Vec<(String, ComponentManifest)>

Enumerates the export names and interface manifests this package provides. A single source is used wholly — the newer of the build sidecar under target_dir and the committed veryl.manifest.json (by file mtime), then the prebuilt wasm’s manifest section — so exports removed from the sources do not linger from a staler file. Non-identifier names are dropped with a warning (see veryl_component_sys::is_valid_component_name).

Trait Implementations

impl Clone for Component

fn clone(&self) -> Component

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Component

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Component

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Component

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.