Struct sway_core::TypedProgram

pub struct TypedProgram {
    pub kind: TypedProgramKind,
    pub root: TypedModule,
    pub storage_slots: Vec<StorageSlot>,
    pub logged_types: Vec<TypeId>,
}

Fields

kind: TypedProgramKind

root: TypedModule

storage_slots: Vec<StorageSlot>

logged_types: Vec<TypeId>

Implementations

impl TypedProgram

pub fn type_check(
    parsed: &ParseProgram,
    initial_namespace: Module
) -> CompileResult<Self>

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

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 validate_root(
    root: &TypedModule,
    kind: TreeType,
    module_span: Span
) -> CompileResult<TypedProgramKind>

Validate the root module given the expected program kind.

pub fn generate_json_abi_program(
    &self,
    types: &mut Vec<JsonTypeDeclaration>
) -> JsonABIProgram

Trait Implementations

impl Debug for TypedProgram

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

Formats the value using the given formatter.