Struct InterpreterProfile 

pub struct InterpreterProfile { /* private fields */ }

What one interpreter can lower and what it may advance.

A profile is a configuration of this build, not a second implementation: it declares which semantics this process acts as. Two profiles that declare the same semantics are interchangeable; one that declares an older version is how a compatible interpreter is expressed.

Implementations

impl InterpreterProfile

pub fn new( compiler_semantics: CompilerSemantics, engine_semantics: EngineSemantics, lowering_capabilities: LoweringCapabilities, ) -> InterpreterProfile

pub fn current( lowering_capabilities: LoweringCapabilities, ) -> InterpreterProfile

The semantics this build lowers and executes.

pub fn compiler_semantics(&self) -> CompilerSemantics

pub fn engine_semantics(&self) -> EngineSemantics

pub fn lowering_capabilities(&self) -> &LoweringCapabilities

pub fn key_for(&self, definition_revision: DefinitionRevision) -> PlanKey

The key one definition revision has under this profile.

pub fn lowerable(&self, key: &PlanKey) -> Result<(), LoweringRefusal>

Whether this profile can lower a plan for key.

Lowering is a function of the definition, the compiler semantics, and the declared capabilities. The engine semantics travels in the key so identities never alias, and decides run admission instead: an index is still the index of its definition, but the run bound to it may not be advanced here.

pub fn admit_run(&self, bound: &PlanKey) -> RunAdmission

Whether this profile may advance a run bound to key.

pub fn admit_recorded( &self, recorded: &RecordedPlanKey, identity: &PlanIdentity, ) -> RunAdmission

Whether this profile may advance a run from the binding a checkpoint recorded, typed under identity’s lines. A record that cannot be typed — including one declaring a line identity does not bind — is handed off: an unprovable binding is never reinterpreted as this profile’s semantics.

Trait Implementations

impl Clone for InterpreterProfile

fn clone(&self) -> InterpreterProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InterpreterProfile

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

Formats the value using the given formatter.

impl Eq for InterpreterProfile

impl PartialEq for InterpreterProfile

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InterpreterProfile