Directories
¶
| Path | Synopsis |
|---|---|
|
Package ast defines the abstract syntax tree for Lua source code.
|
Package ast defines the abstract syntax tree for Lua source code. |
|
Package bind implements name resolution and symbol binding for Lua AST nodes.
|
Package bind implements name resolution and symbol binding for Lua AST nodes. |
|
Package bytecode provides serialization and deserialization of compiled Lua bytecode.
|
Package bytecode provides serialization and deserialization of compiled Lua bytecode. |
|
Package cfg constructs control flow graphs from Lua AST nodes.
|
Package cfg constructs control flow graphs from Lua AST nodes. |
|
analysis
Package analysis provides pure graph analysis algorithms for CFGs.
|
Package analysis provides pure graph analysis algorithms for CFGs. |
|
extraction
Package extraction provides pure AST extraction functions for CFG construction.
|
Package extraction provides pure AST extraction functions for CFG construction. |
|
Package check implements a multi-phase, fixpoint-iterative type checking system for Lua.
|
Package check implements a multi-phase, fixpoint-iterative type checking system for Lua. |
|
api
Package api defines interfaces and types for the Lua type checker.
|
Package api defines interfaces and types for the Lua type checker. |
|
effects
Package effectops provides operations for function effect propagation.
|
Package effectops provides operations for function effect propagation. |
|
flowbuild
Package flowbuild implements flow constraint extraction from control flow graphs.
|
Package flowbuild implements flow constraint extraction from control flow graphs. |
|
flowbuild/assign
Package assign provides flow-sensitive assignment analysis for the type checker.
|
Package assign provides flow-sensitive assignment analysis for the type checker. |
|
flowbuild/cond
Package cond implements condition constraint extraction for the flow type system.
|
Package cond implements condition constraint extraction for the flow type system. |
|
flowbuild/constprop
Package constprop performs constant propagation for flow analysis.
|
Package constprop performs constant propagation for flow analysis. |
|
flowbuild/core
Package base provides shared context types for flowbuild operations.
|
Package base provides shared context types for flowbuild operations. |
|
flowbuild/decl
Package decl extracts type declarations from function parameters and locals.
|
Package decl extracts type declarations from function parameters and locals. |
|
flowbuild/guard
Package guard extracts type guard conditions from control flow branches.
|
Package guard extracts type guard conditions from control flow branches. |
|
flowbuild/keyscoll
Package keyscoll collects table keys from expressions for type inference.
|
Package keyscoll collects table keys from expressions for type inference. |
|
flowbuild/literal
Package literal handles literal expression type synthesis for flow analysis.
|
Package literal handles literal expression type synthesis for flow analysis. |
|
flowbuild/mutator
Package mutator extracts container mutation operations from call sites.
|
Package mutator extracts container mutation operations from call sites. |
|
flowbuild/numconst
Package numconst handles numeric constant analysis for type inference.
|
Package numconst handles numeric constant analysis for type inference. |
|
flowbuild/path
Package path constructs constraint paths from AST expressions.
|
Package path constructs constraint paths from AST expressions. |
|
flowbuild/predicate
Package predicate builds type predicates from comparison expressions.
|
Package predicate builds type predicates from comparison expressions. |
|
flowbuild/resolve
Package resolve provides symbol and type resolution utilities for flow constraint extraction.
|
Package resolve provides symbol and type resolution utilities for flow constraint extraction. |
|
flowbuild/returns
Package returns extracts return type information from function bodies.
|
Package returns extracts return type information from function bodies. |
|
flowbuild/sibling
Package sibling handles sibling function analysis in nested scopes.
|
Package sibling handles sibling function analysis in nested scopes. |
|
flowbuild/tblutil
Package tblutil provides utilities for table type analysis.
|
Package tblutil provides utilities for table type analysis. |
|
hooks
assign_check.go implements assignment type validation for the type checker.
|
assign_check.go implements assignment type validation for the type checker. |
|
infer/captured
Package captured computes captured variable types for nested functions.
|
Package captured computes captured variable types for nested functions. |
|
infer/interproc
Package interproc handles interprocedural analysis after flow solving.
|
Package interproc handles interprocedural analysis after flow solving. |
|
infer/nested
Package nestedinfer processes nested function definitions during type analysis.
|
Package nestedinfer processes nested function definitions during type analysis. |
|
infer/paramhints
Package paramhints infers parameter types from call site arguments.
|
Package paramhints infers parameter types from call site arguments. |
|
infer/return
Package infer infers function return types from body analysis.
|
Package infer infers function return types from body analysis. |
|
modules
Package modules handles module export type computation.
|
Package modules handles module export type computation. |
|
nested
Package nested handles nested function analysis coordination.
|
Package nested handles nested function analysis coordination. |
|
phase
Package phase implements individual analysis phases for type checking.
|
Package phase implements individual analysis phases for type checking. |
|
pipeline
This package handles post-analysis diagnostic operations:
|
This package handles post-analysis diagnostic operations: |
|
returns
Package returns provides interprocedural return type analysis.
|
Package returns provides interprocedural return type analysis. |
|
scope
Package scope provides lexical scope state for type checking.
|
Package scope provides lexical scope state for type checking. |
|
siblings
Package siblings manages sibling function type coordination.
|
Package siblings manages sibling function type coordination. |
|
store
Package store provides session state management for type checking.
|
Package store provides session state management for type checking. |
|
synth
Package synth implements type synthesis for Lua expressions.
|
Package synth implements type synthesis for Lua expressions. |
|
synth/intercept
Package intercept handles special-case type synthesis interceptions.
|
Package intercept handles special-case type synthesis interceptions. |
|
synth/ops
Package ops implements type synthesis operations for the type checker.
|
Package ops implements type synthesis operations for the type checker. |
|
synth/phase/core
Package shared provides shared utilities for synthesis phases.
|
Package shared provides shared utilities for synthesis phases. |
|
synth/phase/extract
Package extract handles expression extraction from CFG for synthesis.
|
Package extract handles expression extraction from CFG for synthesis. |
|
synth/phase/resolve
Package resolve performs final type resolution after synthesis.
|
Package resolve performs final type resolution after synthesis. |
|
synth/transform
Package transform provides type transformation operations.
|
Package transform provides type transformation operations. |
|
Package parse implements lexical analysis and parsing for Lua source code.
|
Package parse implements lexical analysis and parsing for Lua source code. |
|
Package stdlib provides type definitions for Lua's standard library.
|
Package stdlib provides type definitions for Lua's standard library. |
Click to show internal directories.
Click to hide internal directories.