ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
class_collision.py File Reference

Namespaces

namespace  parser
namespace  parser.class_collision

Functions

set[str] parser.class_collision.top_level_classes (ast.Module tree)
str parser.class_collision.qualified_name (str name, str module_name)
str|None parser.class_collision._dotted (ast.AST node)
set[str] parser.class_collision._module_aliases (ast.AST tree, str module_name)
Iterator[ast.ImportFrom] parser.class_collision._from_imports (ast.AST tree, str module_name)
Iterator[ast.AST] parser.class_collision._annotations (ast.AST tree)
bool parser.class_collision._import_binds (ast.AST node, str name, str|None allowed_module)
bool parser.class_collision._non_class_binds (ast.AST node, str name)
bool parser.class_collision._binds_otherwise (ast.Module tree, str name, bool own_class, str|None allowed_module=None)
bool parser.class_collision._reads (Iterable[ast.AST] nodes, str name)
bool parser.class_collision._importer_is_plain (ast.Module tree, str module_name, str name)
bool parser.class_collision._own_class_shadows (ast.Module tree, str name, list[ast.ImportFrom] named)
None parser.class_collision._rename_references (ast.AST tree, dict[str, str] renames)
None parser.class_collision._rewrite_importer (ast.Module tree, str module_name, str name, str new)
dict[str, dict[str, str]] parser.class_collision.separate_colliding_classes (ast.Module entry_tree, dict[str, ast.Module] trees, Iterable[str] skip)

Variables

tuple parser.class_collision._NAMED_BINDERS