unbound_locals.py File Reference

Classes
class	preprocessor.unbound_locals._Analysis
class	preprocessor.unbound_locals._Rewriter

Namespaces
namespace	preprocessor
namespace	preprocessor.unbound_locals

Functions
	preprocessor.unbound_locals._own_scope_nodes (node)
	preprocessor.unbound_locals._target_names (target)
	preprocessor.unbound_locals._binding_targets (stmt)
	preprocessor.unbound_locals._bound_ids (stmt)
	preprocessor.unbound_locals._untracked_names (node)
	preprocessor.unbound_locals._candidates (func)
	preprocessor.unbound_locals._unconditional_reads (expr, out)
	preprocessor.unbound_locals._head_exprs (stmt)
	preprocessor.unbound_locals._meet (states)
	preprocessor.unbound_locals._flag_assign (name, value)
	preprocessor.unbound_locals._local_error (name)
	preprocessor.unbound_locals._global_error (name)
	preprocessor.unbound_locals._guard (name, error)
	preprocessor.unbound_locals._located (new_nodes, anchor)
	preprocessor.unbound_locals._guard_function (func)
	preprocessor.unbound_locals._module_candidates (module)
	preprocessor.unbound_locals._names_bound_elsewhere (module)
	preprocessor.unbound_locals._guard_module (module)
	preprocessor.unbound_locals.guard_unbound_locals (module)

Variables
tuple	preprocessor.unbound_locals._NESTED_SCOPES
str	preprocessor.unbound_locals._FLAG_PREFIX = "__ESBMC_bound_"