Struct TyProgram

pub struct TyProgram {
    pub kind: TyProgramKind,
    pub root: TyModule,
    pub declarations: Vec<TyDecl>,
    pub configurables: Vec<TyConfigurableDecl>,
    pub storage_slots: Vec<StorageSlot>,
    pub logged_types: Vec<(LogId, TypeId)>,
    pub messages_types: Vec<(MessageId, TypeId)>,
}

Fields

kind: TyProgramKind

root: TyModule

declarations: Vec<TyDecl>

configurables: Vec<TyConfigurableDecl>

storage_slots: Vec<StorageSlot>

logged_types: Vec<(LogId, TypeId)>

messages_types: Vec<(MessageId, TypeId)>

Implementations

impl TyProgram

pub fn validate_root( handler: &Handler, engines: &Engines, root: &TyModule, kind: TreeType, package_name: &str, experimental: ExperimentalFeatures, ) -> Result<(TyProgramKind, Vec<TyDecl>, Vec<TyConfigurableDecl>), ErrorEmitted>

Validate the root module given the expected program kind.

pub fn test_fns<'a: 'b, 'b>( &'b self, decl_engine: &'a DeclEngine, ) -> impl '_ + Iterator<Item = (Arc<TyFunctionDecl>, DeclRefFunction)>

All test function declarations within the program.

pub fn check_deprecated(&self, engines: &Engines, handler: &Handler)

pub fn check_recursive( &self, engines: &Engines, handler: &Handler, ) -> Result<(), ErrorEmitted>

impl TyProgram

pub fn collect( handler: &Handler, engines: &Engines, parsed: &ParseProgram, namespace: Namespace, ) -> Result<SymbolCollectionContext, ErrorEmitted>

Collects the given parsed program to produce a symbol maps.

The given initial_namespace acts as an initial state for each module within this program. It should contain a submodule for each library package dependency.

pub fn type_check( handler: &Handler, engines: &Engines, parsed: &ParseProgram, collection_ctx: &mut SymbolCollectionContext, namespace: Namespace, package_name: &str, build_config: Option<&BuildConfig>, experimental: ExperimentalFeatures, ) -> Result<Self, ErrorEmitted>

Type-check the given parsed program to produce a typed program.

The given namespace acts as an initial state for each module within this program. It should contain a submodule for each library package dependency.

Trait Implementations

impl Clone for TyProgram

fn clone(&self) -> TyProgram

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyProgram

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

Formats the value using the given formatter.