Struct FormFieldDeclarationCandidate

Source

pub struct FormFieldDeclarationCandidate {Show 24 fields
    pub id: FormFieldDeclarationCandidateId,
    pub owner_component: Option<SemanticId>,
    pub declaration_field: Option<SemanticId>,
    pub authored_name: Option<String>,
    pub field_id: Option<FieldId>,
    pub decorator_invoked: bool,
    pub decorator_argument_count: usize,
    pub decorator_argument_provenance: Vec<SourceProvenance>,
    pub nested_path_segments: Option<Vec<String>>,
    pub form_designator: Option<FormDesignatorFact>,
    pub unsupported_form_designator: Option<UnsupportedFormDesignatorFact>,
    pub resolved_form: Option<FormId>,
    pub declaration_kind: AuthoredDeclarationKind,
    pub is_static: bool,
    pub declared_type: Option<DeclaredStateType>,
    pub semantic_type: Option<SemanticType>,
    pub type_assignment: Option<SemanticTypeAssignment>,
    pub initializer: Option<SerializableValue>,
    pub conflicting_decorators: Vec<String>,
    pub decorator_provenance: SourceProvenance,
    pub name_provenance: Option<SourceProvenance>,
    pub initializer_provenance: Option<SourceProvenance>,
    pub provenance: SourceProvenance,
    pub violations: Vec<FormFieldDeclarationViolation>,
}

Expand description

Immutable I3 candidate retained for every recognized @field placement. field_id and type_assignment remain absent unless the declaration is valid after canonical Form, type, value, and duplicate resolution.

Fields§

§id: FormFieldDeclarationCandidateId§owner_component: Option<SemanticId>§declaration_field: Option<SemanticId>§authored_name: Option<String>§field_id: Option<FieldId>§decorator_invoked: bool§decorator_argument_count: usize§decorator_argument_provenance: Vec<SourceProvenance>§nested_path_segments: Option<Vec<String>>

Retained N7-B syntax fact. It has no lowering authority until the complete Form artifact/runtime/resume contract admits arity two.

§form_designator: Option<FormDesignatorFact>§unsupported_form_designator: Option<UnsupportedFormDesignatorFact>§resolved_form: Option<FormId>§declaration_kind: AuthoredDeclarationKind§is_static: bool§declared_type: Option<DeclaredStateType>§semantic_type: Option<SemanticType>§type_assignment: Option<SemanticTypeAssignment>§initializer: Option<SerializableValue>§conflicting_decorators: Vec<String>§decorator_provenance: SourceProvenance§name_provenance: Option<SourceProvenance>§initializer_provenance: Option<SourceProvenance>§provenance: SourceProvenance§violations: Vec<FormFieldDeclarationViolation>

Struct FormFieldDeclarationCandidate Copy item path

Fields§

Implementations§

impl FormFieldDeclarationCandidate

pub fn is_valid(&self) -> bool

Trait Implementations§

impl Clone for FormFieldDeclarationCandidate

fn clone(&self) -> FormFieldDeclarationCandidate

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

impl Debug for FormFieldDeclarationCandidate

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

impl Eq for FormFieldDeclarationCandidate

impl PartialEq for FormFieldDeclarationCandidate

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

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

impl StructuralPartialEq for FormFieldDeclarationCandidate

Auto Trait Implementations§

impl Freeze for FormFieldDeclarationCandidate

impl RefUnwindSafe for FormFieldDeclarationCandidate

impl Send for FormFieldDeclarationCandidate

impl Sync for FormFieldDeclarationCandidate

impl Unpin for FormFieldDeclarationCandidate

impl UnsafeUnpin for FormFieldDeclarationCandidate

impl UnwindSafe for FormFieldDeclarationCandidate

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>

Struct FormFieldDeclarationCandidate

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>,