function_value_dispatch.py File Reference

Classes
class	preprocessor.function_value_dispatch._Refused
class	preprocessor.function_value_dispatch._Plan
class	preprocessor.function_value_dispatch._Codes
class	preprocessor.function_value_dispatch._Returns
class	preprocessor.function_value_dispatch._Dispatch

Namespaces
namespace	preprocessor
namespace	preprocessor.function_value_dispatch

Functions
	preprocessor.function_value_dispatch._mixed_groups (analysis)
	preprocessor.function_value_dispatch._parents (module)
	preprocessor.function_value_dispatch._rebinds (module, name)
	preprocessor.function_value_dispatch._binds_by_string (node, names)
	preprocessor.function_value_dispatch._bound_names (nodes)
	preprocessor.function_value_dispatch._sole_def (fn, defs, module, analysis)
	preprocessor.function_value_dispatch._takes_positional (fn, count)
	preprocessor.function_value_dispatch._is_callee (parent, node)
	preprocessor.function_value_dispatch._is_builtin_call (parent, name, arg)
	preprocessor.function_value_dispatch._call_directly (stmt, group, callee, fn)
	preprocessor.function_value_dispatch._chain (arms, callee, origin)
	preprocessor.function_value_dispatch.dispatch_mixed_function_values (module, path)
	preprocessor.function_value_dispatch._propagated (module, path)

Variables
int	preprocessor.function_value_dispatch._CAP = 8
str	preprocessor.function_value_dispatch._PREFIX = "_esbmc_fv"
str	preprocessor.function_value_dispatch._SITE = "esbmc_fv_site"
str	preprocessor.function_value_dispatch._CODE = "esbmc_fv_code"
str	preprocessor.function_value_dispatch._IDENTITY = "esbmc_fv_identity"
str	preprocessor.function_value_dispatch._CALLABLE = "esbmc_fv_callable"
str	preprocessor.function_value_dispatch._CHOSEN = "esbmc_fv_chosen"
str	preprocessor.function_value_dispatch._RETURN = "esbmc_fv_return"
dict	preprocessor.function_value_dispatch._REFLECTIVE = {"globals", "locals", "vars", "eval", "exec", "__import__"}
dict	preprocessor.function_value_dispatch._REFLECTIVE_ATTRS = {"modules", "__dict__", "__globals__"}
tuple	preprocessor.function_value_dispatch._NESTED
tuple	preprocessor.function_value_dispatch._UNCOPYABLE
	preprocessor.function_value_dispatch._COMPOUND