Struct Call 

pub struct Call {
    pub segment: u8,
    pub nav: Nav,
    pub node_field: Option<NonZeroU16>,
    pub next: StepId,
    pub target: StepId,
}

Call instruction for invoking definitions (recursion).

Fields

segment: u8

Segment index (0-3).

nav: Nav

Navigation to apply before jumping to target.

node_field: Option<NonZeroU16>

Field constraint (None = no constraint).

next: StepId

Return address (current segment).

target: StepId

Callee entry point (target segment from type_id).

Implementations

impl Call

pub fn new( nav: Nav, node_field: Option<NonZeroU16>, next: StepId, target: StepId, ) -> Self

Create a new Call instruction.

pub fn to_bytes(&self) -> [u8; 8]

Encode to 8-byte bytecode.

Header byte layout: segment(2) | node_kind(2) | opcode(4)

pub fn nav(&self) -> Nav

pub fn node_field(&self) -> Option<NonZeroU16>

pub fn next(&self) -> StepId

pub fn target(&self) -> StepId

Trait Implementations

impl Clone for Call

fn clone(&self) -> Call

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Call

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

Formats the value using the given formatter.

impl PartialEq for Call

fn eq(&self, other: &Call) -> 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 Copy for Call

impl Eq for Call

impl StructuralPartialEq for Call