Struct ContractResult 

pub struct ContractResult {
    pub errors: Vec<String>,
    pub missing: Option<Vec<String>>,
    pub missing_at: (usize, usize),
    pub bad_require_fields: Vec<String>,
}

Result of a static contract check (see Htl::contract_check).

Fields

errors: Vec<String>

Type errors from local m: <T> = require("<mod>").

missing: Option<Vec<String>>

Declared fields absent from the module’s returned table literal; None when the return value is not a literal (not decidable statically).

missing_at: (usize, usize)

Line and column of the returned table literal, for the report about missing to point at. (1, 1) when the checker gave no position, so a message always has somewhere to point rather than none.

bad_require_fields: Vec<String>

Names require_fields asked for that the contract type does not declare. The config is wrong about the type, which is a different finding from a module that fails the contract, and no module can fix it.

Trait Implementations

impl Clone for ContractResult

fn clone(&self) -> ContractResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractResult

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

Formats the value using the given formatter.

impl Default for ContractResult

fn default() -> ContractResult

Returns the “default value” for a type.