Struct SemaOutput

pub struct SemaOutput {
    pub functions: Vec<AnalyzedFunction>,
    pub strings: Vec<String>,
    pub bytes: Vec<Vec<u8>>,
    pub warnings: Vec<DiagnosticWrapper<WarningKind>>,
    pub type_pool: TypeInternPool,
    pub comptime_dbg_output: Vec<String>,
    pub interface_defs: Vec<InterfaceDef>,
    pub interface_vtables: HashMap<(StructId, InterfaceId), Vec<(StructId, Spur)>, FxBuildHasher>,
}

Expand description

Output from semantic analysis.

Contains all analyzed functions, struct definitions, enum definitions, and any warnings generated during analysis.

Fields§

§functions: Vec<AnalyzedFunction>

Analyzed functions with typed IR.

§strings: Vec<String>

String literals indexed by their AIR string_const index.

§bytes: Vec<Vec<u8>>

Byte-blob literals indexed by their AIR bytes_const index. Currently populated by @embed_file.

§warnings: Vec<DiagnosticWrapper<WarningKind>>

Warnings collected during analysis.

§type_pool: TypeInternPool

Type intern pool (contains all types including arrays).

§comptime_dbg_output: Vec<String>

Lines of @dbg output collected during comptime evaluation.

§interface_defs: Vec<InterfaceDef>

Interface definitions (ADR-0056), indexed by InterfaceId.0. Codegen uses these to know each interface’s method count and slot order when emitting vtables.

§interface_vtables: HashMap<(StructId, InterfaceId), Vec<(StructId, Spur)>, FxBuildHasher>

Vtable witnesses keyed by (struct_id, interface_id). The witness is the conforming type’s method-key list in interface declaration order; codegen looks each one up in the function map to build the vtable global.

Trait Implementations§

§

impl Debug for SemaOutput

§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

SemaOutput

Struct SemaOutput Copy item path

Fields§

Trait Implementations§

impl Debug for SemaOutput

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

Auto Trait Implementations§

impl !Freeze for SemaOutput

impl RefUnwindSafe for SemaOutput

impl Send for SemaOutput

impl Sync for SemaOutput

impl Unpin for SemaOutput

impl UnsafeUnpin for SemaOutput

impl UnwindSafe for SemaOutput

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<'src, T> IntoMaybe<'src, T> for Twhere T: 'src,

type Proj<U: 'src> = U

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>where R: 'src,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct SemaOutput

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,