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

Namespaces

namespace  preprocessor
namespace  preprocessor.receiver_classes

Functions

 preprocessor.receiver_classes._constructed_classes (value, classes, returns)
 preprocessor.receiver_classes._is_subclass (cls, name, classes, seen=frozenset())
 preprocessor.receiver_classes._has_outside_base (cls, classes, seen=frozenset())
 preprocessor.receiver_classes._classinfo_names (node)
 preprocessor.receiver_classes._mro (cls, classes, seen=frozenset())
 preprocessor.receiver_classes._c3_merge (seqs)
 preprocessor.receiver_classes._defining_class (cls, attr, classes)
 preprocessor.receiver_classes._scope_nodes (body)
 preprocessor.receiver_classes._name_bindings (body)
 preprocessor.receiver_classes._receiver_classes (body, classes, returns)
 preprocessor.receiver_classes._binds_names_or_attributes (node)
 preprocessor.receiver_classes._is_tracked_read (node, parent)
 preprocessor.receiver_classes._check_escapes (body, receivers, module_name)
 preprocessor.receiver_classes._isinstance_answer (cls, classinfo, classes)
 preprocessor.receiver_classes._header_nodes (stmt)
 preprocessor.receiver_classes._isinstance_receiver (node, receivers)
 preprocessor.receiver_classes._scope_blocks (body)
 preprocessor.receiver_classes._single_class (stmt, classes, returns)
 preprocessor.receiver_classes._definite_classes (body, receivers, classes, returns)
 preprocessor.receiver_classes._static_classes (body, receivers, classes, returns)
 preprocessor.receiver_classes._check_isinstance (node, receivers, classes, context, module_name)
 preprocessor.receiver_classes._outside_names (body, params)
 preprocessor.receiver_classes._isinstance_context (body, receivers, classes, returns, params)
 preprocessor.receiver_classes._parameters (func)
 preprocessor.receiver_classes._spine_construction (stmt, name, classes)
 preprocessor.receiver_classes._own_nodes (body)
 preprocessor.receiver_classes._binding_nodes (body, name)
 preprocessor.receiver_classes._read_in_nested_scope (name, module, scope)
 preprocessor.receiver_classes._read_only_as_receiver (name, body)
 preprocessor.receiver_classes._rebound_on_spine (name, module, scope, classes)
 preprocessor.receiver_classes._scope_receivers (scope, module, classes, returns)
 preprocessor.receiver_classes._check_scope (scope, module, classes, returns, module_name)
 preprocessor.receiver_classes._check_inline_constructions (module, classes, returns, module_name)
 preprocessor.receiver_classes.refuse_path_dependent_receivers (module, module_name)