match_lowering.py File Reference

Classes
class	preprocessor.match_lowering._ReadSubject
class	preprocessor.match_lowering._MatchLowering

Namespaces
namespace	preprocessor
namespace	preprocessor.match_lowering

Functions
	preprocessor.match_lowering._bound_names (pattern)
	preprocessor.match_lowering._test (pattern, subject)
	preprocessor.match_lowering._guard_is_rewritable (guard)
	preprocessor.match_lowering._is_lowerable (node, bound)
	preprocessor.match_lowering._case_branch (case, names, subject, orelse)
	preprocessor.match_lowering.lower_match_statements (module)

Variables
str	preprocessor.match_lowering._SUBJECT_PREFIX = "__esbmc_match_subject_"