Re-exports§
pub use crate::statement::Statement;pub use crate::statement::StatementNodeKey;pub use ast_ids::ExpressionNodeKey;pub use place::PlaceExprRef;pub use place::PlaceTable;pub use reachability_constraints::ReachabilityConstraintsBuilder;pub use scope::FileScopeId;pub use program::Program;pub use program_file::ProgramFile;
Modules§
- ast_ids
- ast_
node_ ref - definition
- expression
- frozen
- narrowing_
constraints - Narrowing constraints
- node_
key - place
- platform
- predicate
- Predicates are Python expressions whose runtime values can affect type inference.
- program
- program_
file - rank
- A boxed bit slice that supports a constant-time
rankoperation. - reachability_
constraints - Core data structures for recording reachability constraints.
- scope
- statement
- symbol
- unpack
Structs§
- Ancestors
Iter - Binding
With Constraints - Binding
With Constraints Iterator - Children
Iter - Declaration
With Constraint - Declarations
Iterator - Live
Binding - One of the live bindings for a single place at some point in control flow.
- Loop
Header - All the bindings made in a loop, which are visible to the entire loop via “loop header definitions” (a.k.a. loop-back bindings)
- Loop
Header Id - Identifies a
LoopHeaderwithin a single scope’sUseDefMap. - Narrowing
Alias Predicate - Narrowing
Evaluator - Predicate
Narrowing Targets - Predicate-place pairs for which type narrowing may produce a constraint.
- Scoped
Definition Id - An index into a scope’s use-def history. A combined definition can have separate declaration and binding entries when they take effect at different points in control flow.
- Semantic
Index - The place tables and use-def maps for all scopes in a file.
- UseDef
Map - Applicable definitions and constraints for every use of a name.
- Visible
Ancestors Iter
Enums§
- Applicable
Constraints - Boundness
Analysis - Specifies how the boundness of a place should be determined.
- Enclosing
Snapshot Result - Evaluation
Mode - Truthiness
Traits§
- Db
- Database giving access to semantic information about a Python program.
- HasTracked
Scope - Implemented by types for which the semantic index tracks their scope.
Functions§
- attribute_
scopes - Returns all attribute assignments as scope IDs for a specific class body scope.
- global_
scope - Returns the module global scope of
file. - place_
table - Returns the place table for a specific
scope. - semantic_
index - Returns the semantic index for
file. - use_
def_ map - Returns the use-def map for a specific
scope.
Type Aliases§
- Possibly
Narrowed Places - A set of places that could possibly be narrowed by a predicate.