Struct TableAddress 

pub struct TableAddress {
    pub heading: Option<Value>,
    pub ordinal: Option<Value>,
}

Which table an op is about.

A bare heading string is accepted as shorthand for the same reason the ordered row form is (§6.2): a nested object the model has to assemble is friction, and the measured failure was the model omitting the address altogether. Both fields hold the raw JSON the caller sent, unchecked.

check_heading and check_ordinal are statements inside the oracle’s resolve_table, not part of extracting the address — _address(a) only unstrings the value, strips quotes from its keys, and checks the outer shape. Checking the fields here instead would put a bad heading ahead of a malformed values, which is the wrong refusal. Found by the apply_op differential cases, on the run that added arguments failing two checks at once.

Fields

heading: Option<Value>

ordinal: Option<Value>

Implementations

impl TableAddress

pub fn none() -> Self

pub fn heading(h: impl Into<String>) -> Self

pub fn with_ordinal(self, ordinal: i64) -> Self

Trait Implementations

impl Clone for TableAddress

fn clone(&self) -> TableAddress

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TableAddress

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

Formats the value using the given formatter.

impl Default for TableAddress

fn default() -> TableAddress

Returns the “default value” for a type.

impl From<&str> for TableAddress

fn from(h: &str) -> Self

Converts to this type from the input type.

impl PartialEq for TableAddress

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TableAddress