Struct SemanticModel 

pub struct SemanticModel {
    pub hir: Program,
    pub enums: Vec<EnumDecl>,
    pub symbols: Vec<Symbol>,
}

The resolved program model: the Opy HIR semantic program plus the queryable symbol index and custom-enum declarations.

Custom enums are not retained in the Opy HIR (they fold to numeric constants at use sites, reference behavior), so they are carried here from the CST to keep declarations queryable.

Fields

hir: Program

enums: Vec<EnumDecl>

symbols: Vec<Symbol>

Implementations

impl SemanticModel

pub fn build(hir: Program, cst: &Program) -> SemanticModel

Build the queryable model from a resolved HIR program and its parsed CST (required for custom-enum declarations).

pub fn declarations(&self) -> &[Declaration]

The HIR declarations (globals, players, subroutines, constants, macros). Custom enums are queried through SemanticModel::enums.

pub fn rules(&self) -> &[RuleEntry]

The rule listing: rules and subroutine definitions.

pub fn defines(&self) -> &[Define]

The recorded preprocessing defines (macro-expansion provenance).

pub fn enums(&self) -> &[EnumDecl]

The custom-enum declarations of the project.

pub fn symbols(&self) -> &[Symbol]

Every indexed program-scope symbol with its declaration site and reference sites.

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

The first symbol bound under name (a subroutine declaration and a def definition of the same name index as separate symbols).

pub fn symbol_at(&self, span: Span) -> Option<&Symbol>

The symbol whose declaration site contains span, or — failing that — the symbol owning a reference site containing span.

pub fn provenance(&self, span: Span) -> Option<SourceLocation>

Resolve a span to its file id, path, and line/column through the file registry.

pub fn file(&self, id: u32) -> Option<&str>

The registry path of a file id.

Trait Implementations

impl Clone for SemanticModel

fn clone(&self) -> SemanticModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticModel

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

Formats the value using the given formatter.

impl Serialize for SemanticModel

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

where __S: Serializer,

Serialize this value into the given Serde serializer.