Struct ParsedInlineHandler

Source

pub struct ParsedInlineHandler {
    pub span: SourceSpan,
    pub body_span: SourceSpan,
    pub is_async: bool,
    pub is_expression_body: bool,
    pub parameters: Vec<ParsedMethodParameter>,
    pub local_variables: Vec<ParsedLocalVariable>,
    pub state_updates: Vec<ParsedStateUpdate>,
    pub unsupported_statement_spans: Vec<SourceSpan>,
    pub effect_body: Option<ParsedEffectBody>,
}

Expand description

Parser-owned facts for an inline function supplied to a class-field call.

The body retains only state updates supported by the existing compiler action semantics, plus exact spans for every other non-empty statement. Consumers must reject unsupported bodies rather than guessing a lowering.

Fields§

§span: SourceSpan§body_span: SourceSpan§is_async: bool§is_expression_body: bool§parameters: Vec<ParsedMethodParameter>

Ordered, source-owned parameters of the inline function. These remain syntax facts; later semantic lowering decides whether a handler form may consume them.

§local_variables: Vec<ParsedLocalVariable>

Serializable local declarations retained in source order. They have no framework meaning until a later, authority-backed action projection validates their use.

§state_updates: Vec<ParsedStateUpdate>§unsupported_statement_spans: Vec<SourceSpan>§effect_body: Option<ParsedEffectBody>

A restricted ordered-body view retained from a general inline function. It has no framework meaning until an authority-backed later consumer selects the surrounding initializer call.

ParsedInlineHandler

Struct ParsedInlineHandler Copy item path

Fields§

Trait Implementations§

impl Clone for ParsedInlineHandler

fn clone(&self) -> ParsedInlineHandler

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

impl Debug for ParsedInlineHandler

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

impl Eq for ParsedInlineHandler

impl PartialEq for ParsedInlineHandler

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

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

impl StructuralPartialEq for ParsedInlineHandler

Auto Trait Implementations§

impl Freeze for ParsedInlineHandler

impl RefUnwindSafe for ParsedInlineHandler

impl Send for ParsedInlineHandler

impl Sync for ParsedInlineHandler

impl Unpin for ParsedInlineHandler

impl UnsafeUnpin for ParsedInlineHandler

impl UnwindSafe for ParsedInlineHandler

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> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<'a, T> FromIn<'a, T> for T

fn from_in(t: T, _: &'a Allocator) -> T

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

fn into(self) -> U

impl<'a, T, U> IntoIn<'a, U> for Twhere U: FromIn<'a, T>,

fn into_in(self, allocator: &'a Allocator) -> U

impl<D> OwoColorize for D

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where C: Color,

fn black(&self) -> FgColorDisplay<'_, Black, Self>

fn on_black(&self) -> BgColorDisplay<'_, Black, Self>

fn red(&self) -> FgColorDisplay<'_, Red, Self>

fn on_red(&self) -> BgColorDisplay<'_, Red, Self>

fn green(&self) -> FgColorDisplay<'_, Green, Self>

fn on_green(&self) -> BgColorDisplay<'_, Green, Self>

fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>

fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>

fn blue(&self) -> FgColorDisplay<'_, Blue, Self>

fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>

fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>

fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>

fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>

fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>

fn white(&self) -> FgColorDisplay<'_, White, Self>

fn on_white(&self) -> BgColorDisplay<'_, White, Self>

fn default_color(&self) -> FgColorDisplay<'_, Default, Self>

fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>

fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>

fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>

fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>

fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>

fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>

fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>

fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>

fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>

fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>

fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>

fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>

fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>

Struct ParsedInlineHandler

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> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

impl<'a, T, U> IntoIn<'a, U> for T
where U: FromIn<'a, T>,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

impl<T> ToOwned for T
where T: Clone,

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

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