Struct HostOp 

pub struct HostOp {
    pub module: Arc<str>,
    pub operation: Arc<str>,
    pub resource: Option<Arc<str>>,
    pub result: LayoutId,
}

One host operation a program calls: console.log, files.read, files.Writer.writeLine.

Fields

module: Arc<str>

operation: Arc<str>

resource: Option<Arc<str>>

The resource kind the operation belongs to, for one addressed to a handle rather than to the module: Writer in files.Writer.writeLine.

It is what Inst::CallResource names and what Inst::CallHost does not, so one table holds both and the two namings cannot collide: a module’s files.write and a resource’s files.Writer.write are two entries rather than one.

Nothing dispatches on it. Which resource an operation reaches is the business of the handle the receiver names — ADR 0013 gives the host the only record of what is open — and this is what the call site settled, kept for the disassembly and for a diagnostic that has to say what was being called.

result: LayoutId

The layout of the value location the host’s answer is written into.

A schema that declared its result Any gives a boxed layout; anything else gives the layout of the declared type.

Implementations

impl HostOp

pub fn qualified(&self) -> String

The operation as the source writes it: console.println, or files.Writer.writeLine for one addressed to a resource.

Trait Implementations

impl Clone for HostOp

fn clone(&self) -> HostOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HostOp

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

Formats the value using the given formatter.

impl Eq for HostOp

impl PartialEq for HostOp

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