Struct Document 

pub struct Document {
    pub types: BTreeMap<String, Type>,
    pub workflows: Vec<Workflow>,
}

Fields

types: BTreeMap<String, Type>

workflows: Vec<Workflow>

Implementations

impl Document

pub fn from_script(text: &str, name: &str) -> Result<Document, String>

Reads a document a script builds. name appears in an error.

impl Document

pub fn workflow(&self, name: &str) -> Option<&Workflow>

pub fn resolve(&self, name: &str) -> Option<Type>

A type by name, whether declared or built in.

pub fn parse(text: &str) -> Result<Document, String>

Reads a document, refusing anything it cannot apply exactly. A node that silently does nothing is worse than one that is refused, so every check names the workflow and node it failed at.

impl Document

pub fn to_json(&self) -> String

The document as pma read it, with every default written out. A revision is stored in this form, so two revisions diff by what they mean rather than by how they were typed, and a document a script built reads like one a person wrote.

impl Document

pub fn flatten(&self, workflow: &str) -> Result<Workflow, String>

The graph a pass walks: every call replaced by its callee’s nodes, prefixed with the call site. The runtime then holds one flat graph, one set of caps and one frontier, and workflow-level recursion cannot arise because there is nothing left to recurse through (W2).

Deterministic, so the edge indexes a move is keyed by are the same on every pass over one revision.

pub fn unbuilt(&self) -> Vec<String>

Constructs a document may state and the runtime does not take yet. A revision holding any is refused at propose; check still costs it.

impl Document

pub fn estimate( &self, workflow: &str, input_units: i64, agent_budget: f64, ) -> Result<Estimate, String>

The worst case, walked over the graph at every parameter’s declared maximum, so a bound never depends on what an invocation passed. input_units is the size of the argument bag.

Trait Implementations

impl Clone for Document

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 Document

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

Formats the value using the given formatter.

impl Default for Document

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Document

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Document