Struct pax_compiler::manifest::ExpressionSpecInvocation

pub struct ExpressionSpecInvocation {
    pub root_identifier: String,
    pub escaped_identifier: String,
    pub stack_offset: usize,
    pub properties_coproduct_type: String,
    pub iterable_type_id_escaped: String,
    pub is_numeric: bool,
    pub is_primitive_nonnumeric: bool,
    pub property_flags: PropertyDefinitionFlags,
    pub nested_symbol_tail_literal: String,
    pub is_nested_numeric: bool,
}

The spec of an expression invocation, the necessary configuration for initializing a pointer to (or copy of, in some cases) the data behind a symbol. For example, if an expression uses i, that i needs to be “invoked,” bound dynamically to some data on the other side of i for the context of a particular expression. ExpressionSpecInvocation holds the recipe for such an invocation, populated as a part of expression compilation.

Fields

root_identifier: String

Identifier of the top-level symbol (stripped of this or self) for nested symbols (foo for foo.bar) or the identifier itself for non-nested symbols (foo for foo)

escaped_identifier: String

Identifier escaped so that all operations (like . or [...]) are encoded as a valid single identifier

stack_offset: usize

Statically known stack offset for traversing Repeat-based scopes at runtime

properties_coproduct_type: String

Type of the containing Properties struct, for unwrapping from PropertiesCoproduct. For example, Foo for PropertiesCoproduct::Foo or RepeatItem for PropertiesCoproduct::RepeatItem

iterable_type_id_escaped: String

For symbolic invocations that refer to repeat elements, this is the enum identifier within the TypesCoproduct that represents the appropriate datum_cast type

is_numeric: bool

Flags used for particular corner cases of Repeat codegen

is_primitive_nonnumeric: bool

property_flags: PropertyDefinitionFlags

Flags describing attributes of properties

nested_symbol_tail_literal: String

Metadata used for nested symbol invocation, like foo.bar.baz Holds an RIL “tail” string for appending to invocation literal bodies, like .bar.get().baz.get() for the nested symbol invocation foo.bar.baz.

is_nested_numeric: bool

Flag describing whether the nested symbolic invocation, e.g. foo.bar, ultimately resolves to a numeric type (as opposed to is_numeric, which represents the root of a nested type)

Implementations

impl ExpressionSpecInvocation

pub fn is_primitive_nonnumeric(property_properties_coproduct_type: &str) -> bool

pub fn is_numeric(property_properties_coproduct_type: &str) -> bool

Trait Implementations

impl Clone for ExpressionSpecInvocation

fn clone(&self) -> ExpressionSpecInvocation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de> Deserialize<'de> for ExpressionSpecInvocation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExpressionSpecInvocation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.