ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.assignment_core_mixin.AssignmentCoreMixin Class Reference
Inheritance diagram for preprocessor.assignment_core_mixin.AssignmentCoreMixin:
[legend]

Protected Member Functions

 _is_newtype_call (self, call_node)
 _as_load_target (self, target, source_node)

Member Function Documentation

◆ _as_load_target()

preprocessor.assignment_core_mixin.AssignmentCoreMixin._as_load_target ( self,
target,
source_node )
protected
Create a Load-context version of an AugAssign target.

◆ _is_newtype_call()

preprocessor.assignment_core_mixin.AssignmentCoreMixin._is_newtype_call ( self,
call_node )
protected
True if call_node is a typing.NewType(...) call, in any import form.

The documentation for this class was generated from the following file: