Struct ResolvedDeclarations 

pub struct ResolvedDeclarations { /* private fields */ }

A project’s declarations, checked and projected into signature data by Declarations::resolve.

The environment signature tier plus semantic-only command aliases. This is the only signature data the parser accepts: a value can only come from a declaration block, so parse_with_declarations cannot be handed a document’s merged package/definition scope. The parser reads only db; semantic-model construction reads commands.

Implementations

impl ResolvedDeclarations

pub fn as_db(&self) -> &SignatureDb

The declared tier as signature data, for merging into a document’s scope (where it is the top tier: a declaration is the user explicitly correcting an inference).

pub fn command_like(&self, name: &str) -> Option<&str>

The built-in semantic target of a declared command alias.

pub fn command_names(&self) -> impl Iterator<Item = &str>

The declared command names, in deterministic order.

pub fn is_empty(&self) -> bool

Whether nothing was declared — the common case, and the one that must cost the parse nothing.

pub fn parse_tier(&self) -> Self

The parse-facing half of this block: the environment signature tier, with the semantic command aliases dropped.

The two halves are split so a reader depends only on the one it uses. A command alias provably cannot change a tree (command_declarations_do_not_change_the_parse_tree), so an incremental front end can hold this half behind its own firewall and leave every parse standing when only [commands] changed. The environment tier is what parse_with_declarations and the signature scope read.

pub fn semantic_tier(&self) -> Self

The semantic-facing half: the command aliases alone.

The counterpart of parse_tier, read by SemanticModel::build_with_declarations, which never looks at the environment tier. Together the two halves partition the block: nothing is in both, and nothing in neither.

Trait Implementations

impl Clone for ResolvedDeclarations

fn clone(&self) -> ResolvedDeclarations

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedDeclarations

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

Formats the value using the given formatter.

impl Default for ResolvedDeclarations

fn default() -> ResolvedDeclarations

Returns the “default value” for a type.

impl Eq for ResolvedDeclarations

impl PartialEq for ResolvedDeclarations

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResolvedDeclarations