Struct SyntaxContext

pub struct SyntaxContext(/* private fields */);

A syntax context describes a hierarchy tracking order of macro definitions.

Implementations

impl SyntaxContext

pub fn ingredient<Db>(db: &Db) -> &IngredientImpl<Self>

where Db: ?Sized + Database,

impl<'db> SyntaxContext

pub fn new<Db, T0: Lookup<Option<MacroCallId>> + Hash, T1: Lookup<Transparency> + Hash, T2: Lookup<Edition> + Hash, T3: Lookup<SyntaxContext> + Hash>( db: &'db Db, outer_expn: T0, outer_transparency: T1, edition: T2, parent: T3, opaque: impl FnOnce(SyntaxContext) -> SyntaxContext, opaque_and_semitransparent: impl FnOnce(SyntaxContext) -> SyntaxContext, ) -> Self

where Db: ?Sized + Database, Option<MacroCallId>: HashEqLike<T0>, Transparency: HashEqLike<T1>, Edition: HashEqLike<T2>, SyntaxContext: HashEqLike<T3>,

pub fn outer_expn<Db>(self, db: &'db Db) -> Option<MacroCallId>

where Db: ?Sized + Database,

Invariant: Only [SyntaxContext::ROOT] has a None outer expansion.

pub fn outer_transparency<Db>(self, db: &'db Db) -> Transparency

where Db: ?Sized + Database,

pub fn edition<Db>(self, db: &'db Db) -> Edition

where Db: ?Sized + Database,

pub fn parent<Db>(self, db: &'db Db) -> SyntaxContext

where Db: ?Sized + Database,

pub fn opaque<Db>(self, db: &'db Db) -> SyntaxContext

where Db: ?Sized + Database,

This context, but with all transparent and semi-transparent expansions filtered away.

pub fn opaque_and_semitransparent<Db>(self, db: &'db Db) -> SyntaxContext

where Db: ?Sized + Database,

This context, but with all transparent expansions filtered away.

pub fn default_debug_fmt(this: Self, f: &mut Formatter<'_>) -> Result

impl SyntaxContext

pub fn is_root(self) -> bool

pub fn remove_root_edition(&mut self)

pub const fn root(edition: Edition) -> Self

The root context, which is the parent of all other contexts. All [FileId]s have this context.

impl SyntaxContext

pub const fn into_u32(self) -> u32

pub const fn from_u32(u32: u32) -> Self

Trait Implementations

impl AsId for SyntaxContext

fn as_id(&self) -> Id

impl Clone for SyntaxContext

fn clone(&self) -> SyntaxContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Configuration for SyntaxContext

const DEBUG_NAME: &'static str = "SyntaxContextData"

type Fields<'a> = SyntaxContextData

The fields of the struct being interned.

type Struct<'a> = SyntaxContext

The end user struct

fn struct_from_id<'db>(id: Id) -> Self::Struct<'db>

Create an end-user struct from the salsa id

fn deref_struct(s: Self::Struct<'_>) -> Id

Deref the struct to yield the underlying id.

impl Debug for SyntaxContext

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

Formats the value using the given formatter.

impl Display for SyntaxContext

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

Formats the value using the given formatter.

impl FromId for SyntaxContext

fn from_id(id: Id) -> Self

impl Hash for SyntaxContext

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for SyntaxContext

fn cmp(&self, other: &SyntaxContext) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for SyntaxContext

fn eq(&self, other: &SyntaxContext) -> 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 PartialOrd for SyntaxContext

fn partial_cmp(&self, other: &SyntaxContext) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl SalsaStructInDb for SyntaxContext

type MemoIngredientMap = MemoIngredientSingletonIndex

fn lookup_or_create_ingredient_index(aux: &Zalsa) -> IngredientIndices

Lookup or create ingredient indices.

fn cast(id: Id, type_id: TypeId) -> Option<Self>

Plumbing to support nested salsa supertypes.

impl Update for SyntaxContext

unsafe fn maybe_update(old_pointer: *mut Self, new_value: Self) -> bool

Returns

impl Copy for SyntaxContext

impl Eq for SyntaxContext

impl Send for SyntaxContext

impl StructuralPartialEq for SyntaxContext

impl Sync for SyntaxContext