Struct FieldDef 

pub struct FieldDef<'ast> {
    pub path: &'ast [FieldPathElem<'ast>],
    pub metadata: FieldMetadata<'ast>,
    pub value: Option<Ast<'ast>>,
    pub pos: TermPos,
}

A field definition. A field is defined by a dot-separated path of identifier or interpolated strings, a potential value, and associated metadata.

Fields

path: &'ast [FieldPathElem<'ast>]

A sequence of field path elements, composing the left hand side (with respect to the =) of the field definition.

Invariants

Important: The path must be non-empty, or some of FieldDef methods will panic.

metadata: FieldMetadata<'ast>

The metadata and the optional value bundled as a field.

value: Option<Ast<'ast>>

pos: TermPos

The position of the whole field definition.

Implementations

impl FieldDef<'_>

pub fn path_as_ident(&self) -> Option<LocIdent>

Returns the identifier corresponding to this definition if the path is composed of exactly one element which is a static identifier. Returns None otherwise.

pub fn name_as_ident(&self) -> Option<LocIdent>

Returns the declared field name, that is the last element of the path, as a static identifier. Returns None if the last element is an expression.

pub fn root_as_ident(&self) -> Option<LocIdent>

Returns the root identifier of the field path, that is the first element of the path, as a static identifier. Returns None if the first element is an expression.

Trait Implementations

impl<'ast> Clone for FieldDef<'ast>

fn clone(&self) -> FieldDef<'ast>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CloneTo for FieldDef<'_>

type Data<'ast> = FieldDef<'ast>

This is always Self, be we need associated types to make Rust understand that Self is always parametric over the 'ast lifetime. We’re using GATs to emulate higher-kinded types.

fn clone_to<'to>(data: Self::Data<'_>, dest: &'to AstAlloc) -> Self::Data<'to>

Clones owned data from the current allocator to dest.

impl<'ast> Debug for FieldDef<'ast>

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

Formats the value using the given formatter.

impl<'ast> PartialEq for FieldDef<'ast>

fn eq(&self, other: &FieldDef<'ast>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Pretty<'a, Allocator> for &FieldDef<'_>

fn pretty(self, allocator: &'a Allocator) -> DocBuilder<'a, Allocator>

Converts self into a document

impl<'ast> TraverseAlloc<'ast, Ast<'ast>> for FieldDef<'ast>

fn traverse<F, E>( self, alloc: &'ast AstAlloc, f: &mut F, order: TraverseOrder, ) -> Result<Self, E>

where F: FnMut(Ast<'ast>) -> Result<Ast<'ast>, E>,

Same as Traverse::traverse, but takes an additional AST allocator.

fn traverse_ref<S, U>( &'ast self, f: &mut dyn FnMut(&'ast Ast<'ast>, &S) -> TraverseControl<S, U>, scope: &S, ) -> Option<U>

Same as Traverse::traverse_ref, but takes an additional AST allocator.

fn find_map<S>(&'ast self, pred: impl FnMut(&'ast T) -> Option<S>) -> Option<S>

where T: Clone + 'ast,

impl Allocable for FieldDef<'_>

impl<'ast> Eq for FieldDef<'ast>

impl<'ast> StructuralPartialEq for FieldDef<'ast>