Struct AppManifest 

pub struct AppManifest {
    pub name: String,
    pub version: String,
    pub signer: String,
    pub verbs: Vec<AppVerb>,
    pub entity_kinds: Vec<String>,
    pub note_kinds: Vec<String>,
    pub row_types: Vec<RowTypeDecl>,
    pub capabilities: Vec<String>,
    pub residency: Residency,
}

The manifest of one khive app.

entity_kinds and note_kinds are the ontology slice: every kind the app writes. Each of them needs a row in row_types, and every row there names a kind of the slice, so the class of each row type is declared and never defaulted.

Fields

name: String

version: String

signer: String

verbs: Vec<AppVerb>

entity_kinds: Vec<String>

note_kinds: Vec<String>

row_types: Vec<RowTypeDecl>

capabilities: Vec<String>

residency: Residency

Implementations

impl AppManifest

pub fn validate(&self) -> Result<(), InstallRefusal>

Check the manifest against itself: identity present, verb names unique, every kind in the slice declared exactly once with a class, every corpus row type naming its store.

pub fn owned_names(&self) -> OwnedNames<'_>

The names this manifest would hold once installed.

pub fn admit(&self, owners: &[OwnedNames<'_>]) -> Result<(), InstallRefusal>

Admit the manifest beside the owners already registered: it must validate, and no verb name or kind it brings may be held by any of them. The first conflict, in owner order, is the refusal; it names both owners.

Trait Implementations

impl Clone for AppManifest

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 AppManifest

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

Formats the value using the given formatter.

impl Eq for AppManifest

impl PartialEq for AppManifest

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AppManifest