Struct Program 

pub struct Program {
    pub includes: Vec<Include>,
    pub unions: Vec<UnionDef>,
    pub words: Vec<WordDef>,
}

Fields

includes: Vec<Include>

unions: Vec<UnionDef>

words: Vec<WordDef>

Implementations

impl Program

pub const MAX_VARIANT_FIELDS: usize = 4usize

Generate constructor words for all union definitions

Maximum number of fields a variant can have (limited by runtime support)

pub fn new() -> Self

pub fn find_union(&self, name: &str) -> Option<&UnionDef>

Find a union definition by name

pub fn find_word(&self, name: &str) -> Option<&WordDef>

pub fn validate_word_calls(&self) -> Result<(), String>

Validate that all word calls reference either a defined word or a built-in

pub fn validate_word_calls_with_externals( &self, external_words: &[&str], ) -> Result<(), String>

Validate that all word calls reference a defined word, built-in, or external word.

The external_words parameter should contain names of words available from external sources (e.g., included modules) that should be considered valid.

pub fn generate_constructors(&mut self) -> Result<(), String>

For each union variant, generates a Make-VariantName word that:

1. Takes the variant’s field values from the stack
2. Pushes the variant tag (index)
3. Calls the appropriate variant.make-N builtin

Example: For union Message { Get { chan: Int } } Generates: : Make-Get ( Int -- Message ) 0 variant.make-1 ;

Returns an error if any variant exceeds the maximum field count.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Program

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

Formats the value using the given formatter.

impl Default for Program

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Program

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Program