Struct Expression 

pub struct Expression<'db>(/* private fields */);

An independently type-inferable expression.

Includes constraint expressions (e.g. if tests) and the RHS of an unpacking assignment.

Module-local type

This type should not be used as part of any cross-module API because it holds a reference to the AST node. Range-offset changes then propagate through all usages, and deserialization requires reparsing the entire module.

E.g. don’t use this type in:

• a return type of a cross-module query
• a field of a type that is a return type of a cross-module query
• an argument of a cross-module query

Implementations

impl Expression<'static>

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

impl<'db> Expression<'db>

pub fn new<Db_>( db: &'db Db_, scope_id: ScopeId<'db>, node_ref: AstNodeRef<Expr>, assigned_to: Option<AstNodeRef<StmtAssign>>, kind: ExpressionKind, ) -> Self

where Db_: ?Sized + Database,

pub fn node_ref<Db_>(self, db: &'db Db_) -> &'db AstNodeRef<Expr>

where Db_: ?Sized + Database,

The expression node.

pub fn assigned_to<Db_>(self, db: &'db Db_) -> Option<AstNodeRef<StmtAssign>>

where Db_: ?Sized + Database,

An assignment statement, if this expression is immediately used as the rhs of that assignment.

(Note that this is the immediately containing assignment — if a complex expression is assigned to some target, only the outermost expression node has this set. The inner expressions are used to build up the assignment result, and are not “immediately assigned” to the target, and so have None for this field.)

pub fn scope_id<Db_>(self, db: &'db Db_) -> ScopeId<'db>

where Db_: ?Sized + Database,

The scope in which the expression occurs.

Storing the interned scope avoids retaining the file and file-local scope separately, at the cost of database lookups when either of those values is needed.

pub fn kind<Db_>(self, db: &'db Db_) -> ExpressionKind

where Db_: ?Sized + Database,

Should this expression be inferred as a normal expression or a type expression?

impl<'_db> Expression<'_db>

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

where for<'db> ScopeId<'db>: Debug, for<'db> AstNodeRef<Expr>: Debug, for<'db> Option<AstNodeRef<StmtAssign>>: Debug, for<'db> ExpressionKind: Debug,

Default debug formatting for this struct (may be useful if you define your own Debug impl)

impl<'db> Expression<'db>

pub fn scope(self, db: &'db dyn Db) -> ScopeId<'db>

pub fn file(self, db: &'db dyn Db) -> File

pub fn python_file(self, db: &'db dyn Db) -> PythonFile<'db>

pub fn program_file(self, db: &'db dyn Db) -> ProgramFile<'db>

pub fn program(self, db: &'db dyn Db) -> Program<'db>

Trait Implementations

impl AsId for Expression<'_>

fn as_id(&self) -> Id

impl<'db> Clone for Expression<'db>

fn clone(&self) -> Expression<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Configuration for Expression<'static>

const LOCATION: Location

const DEBUG_NAME: &'static str = "Expression"

The debug name of the tracked struct.

const TRACKED_FIELD_NAMES: &'static [&'static str]

The debug names of any tracked fields.

const TRACKED_FIELD_INDICES: &'static [usize]

The relative indices of any tracked fields.

const PERSIST: bool = false

Whether this struct should be persisted with the database.

type Fields<'db> = (ScopeId<'db>, AstNodeRef<Expr>, Option<AstNodeRef<StmtAssign>>, ExpressionKind)

A (possibly empty) tuple of the fields for this struct.

type Revisions = [AtomicRevision; 2]

type Struct<'db> = Expression<'db>

fn untracked_fields(fields: &Self::Fields<'_>) -> impl Hash

fn new_revisions(current_revision: Revision_) -> Self::Revisions

Create a new value revision array where each element is set to current_revision.

fn update_fields<'db>( current_revision: Revision_, revisions: &Self::Revisions, old_fields: &mut Self::Fields<'db>, new_fields: Self::Fields<'db>, ) -> bool

Update the field data and, if the value has changed, the appropriate entry in the revisions array (tracked fields only).

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

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

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

Serialize the fields using serde.

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

Deserialize the fields using serde.

impl<'db> Copy for Expression<'db>

impl Debug for Expression<'_>

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

Formats the value using the given formatter.

impl<'db> Eq for Expression<'db>

impl<'db> FromId for Expression<'db>

fn from_id(id: Id) -> Self

impl GetSize for Expression<'_>

fn get_stack_size() -> usize

Determines how may bytes this object occupies inside the stack.

fn get_heap_size(&self) -> usize

Determines how many bytes this object occupies inside the heap.

fn get_heap_size_with_tracker<T>(&self, tracker: T) -> (usize, T)

where T: GetSizeTracker,

Determines how many bytes this object occupies inside the heap while using a tracker.

fn get_size(&self) -> usize

Determines the total size of the object.

fn get_size_with_tracker<T>(&self, tracker: T) -> (usize, T)

where T: GetSizeTracker,

Determines the total size of the object while using a tracker.

impl<'db> HasJar for Expression<'db>

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

The [JarKind] for Self::Jar.

type Jar = JarImpl<Expression<'static>>

The [Jar] associated with this ingredient.

impl<'db> Hash for Expression<'db>

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<'db> PartialEq for Expression<'db>

fn eq(&self, other: &Expression<'db>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl SalsaStructInDb for Expression<'_>

const LEAF_TYPE_IDS: &'static [ConstTypeId]

The type IDs of all concrete (leaf) salsa struct types that this type can contain.

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 SalsaValue for Expression<'_>

impl Send for Expression<'_>

impl<'db> StructuralPartialEq for Expression<'db>

impl Sync for Expression<'_>

impl TrackedStructInDb for Expression<'_>

fn database_key_index(zalsa: &Zalsa, id: Id) -> DatabaseKeyIndex

Converts the identifier for this tracked struct into a DatabaseKeyIndex.