mooncakes.io

marianoguerra/pure-py/analysis does not have a README file

NameSet

type NameSet = @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

The syntactic analyses of Annex A.1: what a statement assigns, what it binds, what it captures, and where its free variables are.

A port of the reference's aux.py, function for function, so that the two can be read side by side. Two things carry over deliberately:

Sets are sorted. The reference uses Python's set and then min or sorted wherever the choice is observable, so no order is ever accidental. Sorted sets here make that structural rather than a habit.
A mutual region is formed on the fly. statements groups a run of consecutive defs into one item, and nothing in the tree records it. The evaluator groups the same way, from the same function.

Statement

source

pub(all) enum Statement {
  Single(@marianoguerra/pure-py/ast.Stmt
Stmt)
  Region(Array[@marianoguerra/pure-py/ast.Stmt
Stmt])
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A PurePy statement: a Python statement, or a mutual region of consecutive function definitions. A Python body is the spec's right-nested sequence.

assigns_body

source

fn assigns_body(body : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

assigns_seq

source

fn assigns_seq(items : ArrayView[Statement]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

assigns_statement

source

fn assigns_statement(item : Statement) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

assigns_stmt

source

fn assigns_stmt(s : @marianoguerra/pure-py/ast.Stmt
Stmt) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

binds

source

fn binds(p : @marianoguerra/pure-py/ast.Pattern
Pattern) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

binds_quals

source

fn binds_quals(generators : Array[@marianoguerra/pure-py/ast.Comprehension
Comprehension]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

binds_seq

source

fn binds_seq(p : @marianoguerra/pure-py/ast.Pattern
Pattern) -> Array[String]

In source order, with repeats: the linearity check counts them.

captures

source

fn captures(s : @marianoguerra/pure-py/ast.Stmt
Stmt) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

captures_body

source

fn captures_body(body : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

captures_e

source

fn captures_e(e : @marianoguerra/pure-py/ast.Expr
Expr) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

captures_e_list

source

fn captures_e_list(es : Array[@marianoguerra/pure-py/ast.Expr
Expr]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

captures_quals_of

source

fn captures_quals_of(generators : Array[@marianoguerra/pure-py/ast.Comprehension
Comprehension]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

What a run of comprehension clauses captures, for a caller that has a whole array rather than a view.

captures_region

source

fn captures_region(defs : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

What a whole mutual region captures: the free names of every body, less the parameters, less what each body assigns for itself, less the region's own names -- which is what lets even and odd name each other.

captures_statement

source

fn captures_statement(item : Statement) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

empty

source

let empty : @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

find_first_reassigning

source

fn find_first_reassigning(items : ArrayView[Statement], names_ : @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]) -> @marianoguerra/pure-py/ast.Stmt
Stmt?

The first statement in a sequence that assigns any of names_ -- the one a captured-then-reassigned message points at. For a region it is the region's first definition, as the reference reports.

find_import

source

fn find_import(stmts : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> @marianoguerra/pure-py/ast.Stmt
Stmt?

The first import anywhere in a list, for the "imports must precede all other statements" check.

find_nested_import

source

fn find_nested_import(stmts : Array[@marianoguerra/pure-py/ast.Stmt
Stmt], nested? : Bool) -> @marianoguerra/pure-py/ast.Stmt
Stmt?

The first import inside a function, a branch or a case body -- which is where an import is not allowed at all.

fv_body

source

fn fv_body(body : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

fv_e

source

fn fv_e(e : @marianoguerra/pure-py/ast.Expr
Expr) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

fv_e_list

source

fn fv_e_list(es : Array[@marianoguerra/pure-py/ast.Expr
Expr]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

fv_stmt

source

fn fv_stmt(s : @marianoguerra/pure-py/ast.Stmt
Stmt) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

hole_values

source

fn hole_values(parts : Array[@marianoguerra/pure-py/ast.FStringPart
FStringPart]) -> Array[@marianoguerra/pure-py/ast.Expr
Expr]

The expressions inside an f-string's holes, in source order.

is_import

source

fn is_import(s : @marianoguerra/pure-py/ast.Stmt
Stmt) -> Bool

is_qualified_name

source

fn is_qualified_name(e : @marianoguerra/pure-py/ast.Expr
Expr) -> Bool

names

source

fn names(xs : Array[String]) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

names_in_target

source

fn names_in_target(target : @marianoguerra/pure-py/ast.Expr
Expr) -> @moonbitlang/core/immut/sorted_set.SortedSet
SortedSet[String]

own_fields

source

fn own_fields(node : @marianoguerra/pure-py/ast.Stmt
Stmt) -> Array[String]

The fields a class declares itself, in declaration order.

qualified_name

source

fn qualified_name(e : @marianoguerra/pure-py/ast.Expr
Expr) -> String

a, a.b, a.b.c as text.

split_imports

source

fn split_imports(body : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> (Array[@marianoguerra/pure-py/ast.Stmt
Stmt], Array[@marianoguerra/pure-py/ast.Stmt
Stmt])

The leading run of imports, and everything after it.

statements

source

fn statements(body : Array[@marianoguerra/pure-py/ast.Stmt
Stmt]) -> Array[Statement]

Group a body into statements: a run of consecutive defs is one region.

target_names

source

fn target_names(e : @marianoguerra/pure-py/ast.Expr
Expr) -> Array[String]

The names an assignment target binds.

A plain x binds one. A destructuring target -- a, b = ..., or the nested a, (b, c) = ... -- binds the leaves of the tuple, and Python lets a list stand where a tuple does. Anything else binds nothing: the sieve has already refused item and attribute assignment, so nothing else reaches here, and answering with the empty set rather than aborting keeps this usable by the sieve itself.

One definition, because the checker's definite-assignment table, the evaluator's environment and assigns_stmt have to agree about what a, b= f() assigned or the three disagree about whether b exists.

Source Files

analysis.mbt

Site source Report issue Packages Build queue Skills Statistics

#NameSet

#Statement

#assigns_body

#assigns_seq

#assigns_statement

#assigns_stmt

#binds

#binds_quals

#binds_seq

#captures

#captures_body

#captures_e

#captures_e_list

#captures_quals_of

#captures_region

#captures_statement

#empty

#find_first_reassigning

#find_import

#find_nested_import

#fv_body

#fv_e

#fv_e_list

#fv_stmt

#hole_values

#is_import

#is_qualified_name

#names

#names_in_target

#own_fields

#qualified_name

#split_imports

#statements

#target_names

Source Files

NameSet

Statement

assigns_body

assigns_seq

assigns_statement

assigns_stmt

binds

binds_quals

binds_seq

captures

captures_body

captures_e

captures_e_list

captures_quals_of

captures_region

captures_statement

empty

find_first_reassigning

find_import

find_nested_import

fv_body

fv_e

fv_e_list

fv_stmt

hole_values

is_import

is_qualified_name

names

names_in_target

own_fields

qualified_name

split_imports

statements

target_names