decorator_lowering.py File Reference

Namespaces
namespace	preprocessor
namespace	preprocessor.decorator_lowering

Functions
	preprocessor.decorator_lowering._decorator_root (decorator)
	preprocessor.decorator_lowering._is_user_decorator (decorator, user_functions)
	preprocessor.decorator_lowering._refuse (node, what, module_name)
	preprocessor.decorator_lowering._returns_lambda (function)
	preprocessor.decorator_lowering._check_decorators (function, defined, original, module_name)
	preprocessor.decorator_lowering._rebind (function, defined, original, module_name)
	preprocessor.decorator_lowering._refuse_later_decorators (function, user_functions, defined, module_name)
	preprocessor.decorator_lowering._refuse_local_decorators (module, module_name)
	preprocessor.decorator_lowering._refuse_nested_decorators (module, user_functions, module_name)
	preprocessor.decorator_lowering.lower_user_decorators (module, module_name)

Variables
str	preprocessor.decorator_lowering.UNDECORATED_PREFIX = "ESBMC_undecorated_"