pytype.state

module documentation
(source)

Objects modelling VM state. (Frames etc.).

Class Condition Represents a condition due to if-splitting.
Class Frame An interpreter frame.
Class FrameState Immutable state object, for attaching to opcodes.
Class SimpleFrame A lightweight placeholder frame.
Function is_cmp Undocumented
Function is_not_cmp Undocumented
Function split_conditions Return a pair of conditions for the value being true and false.
Constant UNSATISFIABLE Undocumented
Type Alias FrameType Undocumented
Variable log Undocumented
Function _is_or_is_not_cmp Implementation of 'left is right' amd 'left is not right'.
Function _restrict_condition Return a restricted condition based on filtered bindings.
Variable _restrict_counter Undocumented
def is_cmp(left, right): (source)

Undocumented

def is_not_cmp(left, right): (source)

Undocumented

def split_conditions(node, var): (source)

Return a pair of conditions for the value being true and false.

UNSATISFIABLE = (source)

Undocumented

Value
object()
FrameType = (source)

Undocumented

Value
Union['SimpleFrame', 'Frame']
log = (source)

Undocumented

def _is_or_is_not_cmp(left, right, is_not=False): (source)

Implementation of 'left is right' amd 'left is not right'.

def _restrict_condition(node, bindings, logical_value): (source)

Return a restricted condition based on filtered bindings. Args: node: The CFGNode. bindings: A sequence of bindings. logical_value: Either True or False. Returns: A Condition or None. Each binding is checked for compatibility with logical_value. If either no bindings match, or all bindings match, then None is returned. Otherwise a new Condition is built from the specified, compatible, bindings.

_restrict_counter = (source)

Undocumented