Struct SyntaxContext 

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

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

Implementations

impl SyntaxContext

pub fn ingredient(zalsa: &Zalsa) -> &IngredientImpl<Self>

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.

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<'db> SyntaxContext

pub const fn into_u32(self) -> u32

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

Safety

The ID must be a valid SyntaxContext.

pub fn outer_mark( self, db: &'db dyn Database, ) -> (Option<MacroCallId>, Transparency)

pub fn normalize_to_macros_2_0(self, db: &'db dyn Database) -> SyntaxContext

pub fn normalize_to_macro_rules(self, db: &'db dyn Database) -> SyntaxContext

pub fn is_opaque(self, db: &'db dyn Database) -> bool

pub fn remove_mark( &mut self, db: &'db dyn Database, ) -> (Option<MacroCallId>, Transparency)

pub fn marks( self, db: &'db dyn Database, ) -> impl Iterator<Item = (MacroCallId, Transparency)>

pub fn marks_rev( self, db: &'db dyn Database, ) -> impl Iterator<Item = (MacroCallId, Transparency)>

Trait Implementations

impl AsId for SyntaxContext

fn as_id(&self) -> Id

impl Clone for SyntaxContext

fn clone(&self) -> SyntaxContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Configuration for SyntaxContext

const LOCATION: Location

const DEBUG_NAME: &'static str = "SyntaxContextData"

const REVISIONS: NonZeroUsize = std::num::NonZeroUsize::MAX

const PERSIST: bool = false

Whether this struct should be persisted with the database.

type Fields<'a> = SyntaxContextData

The fields of the struct being interned.

type Struct<'a> = SyntaxContext

The end user struct

fn serialize<S>(_: &Self::Fields<'_>, _: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize the fields using serde.

fn deserialize<'de, D>(_: D) -> Result<Self::Fields<'static>, D::Error>

where D: Deserializer<'de>,

Deserialize the fields using serde.

fn heap_size(_value: &Self::Fields<'_>) -> Option<usize>

Returns the size of any heap allocations in the output value, in bytes.

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 HasJar for SyntaxContext

const KIND: JarKind = zalsa_::JarKind::Struct

The [JarKind] for Self::Jar.

type Jar = JarImpl<SyntaxContext>

The [Jar] associated with this ingredient.

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_ingredient_index(aux: &Zalsa) -> IngredientIndices

Lookup or create ingredient indices.

fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_

Returns the IDs of any instances of this struct in the database.

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

Plumbing to support nested salsa supertypes.

unsafe fn memo_table( zalsa: &Zalsa, id: Id, current_revision: Revision, ) -> MemoTableWithTypes<'_>

Return the memo table associated with id.

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