klara.core.node_classes.Variable

class documentation

class Variable(BaseNode, abc.ABC, InvertCondMixin): (source)

Known subclasses: klara.core.node_classes.Alias, klara.core.node_classes.Arg, klara.core.node_classes.Attribute, klara.core.node_classes.Name, klara.core.node_classes.Starred, klara.core.node_classes.Subscript

View In Hierarchy

mixin for variable related

Static Method	`build_var`	build Variable class based on the tuple. E.g. vars=(a, b, c) will return Attribute: (a.b.c)
Method	`__init__`	Undocumented
Method	`get_base_var`	get the base variable string without ssa version
Method	`get_built_in_type`	get the built in type class e.g. int, str of this variable representing
Method	`get_var_repr`	get the str representation of current node. The difference between this and __repr__ is at nodes.Attribute, this method will return the attr with the version, not the whole str
Method	`is_built_in_type`	check whether the name represents built in type. Return True when self.id / self.attr represents python built-in type. E.g. int, str etc...
Method	`is_load_var`	checking the 'ctx' if it's available
Instance Variable	`links`	Undocumented
Instance Variable	`version`	Undocumented

Inherited from BaseNode:

Static Method	`get_inferred`	Undocumented
Method	`__contains__`	Undocumented
Method	`accept`	Undocumented
Method	`dunder_lookup`	try to resolve the dunder method
Method	`generic_visit`	Undocumented
Method	`get_bound_conditions`	Undocumented
Method	`get_children`	Undocumented
Method	`get_from_outer`	find the definition of `var` from outer scope recursively. Skip param will determine how many parent scope to skip :param var: variable of interest :param skip: how many layer of parent scope to skip :return:...
Method	`get_parent_of_type`	Undocumented
Method	`get_statements`	Undocumented
Method	`get_stmt_target`	Undocumented
Method	`get_target_instance`	get the assigning target instance rather than scope(). See #mr68u a.b.c = node calling node.get_target_instance() will return `a.b.c.instance()`
Method	`is_children`	check if the given node is part of 'self' or children
Method	`iter_fields`	Yield a tuple of ``(fieldname, value)`` for each field in ``node._fields`` that is present on node.
Method	`prepare_inferred_value`	Undocumented
Method	`scope`	return the first containing scope
Method	`statement`	Undocumented
Instance Variable	`col_offset`	Undocumented
Instance Variable	`explicit_inference`	Undocumented
Instance Variable	`lineno`	Undocumented
Instance Variable	`parent`	Undocumented
Instance Variable	`refer_to_block`	Undocumented
Class Variable	`_fields`	Undocumented

Inherited from InvertCondMixin (via BaseNode):

Method	`invert_condition`	Invert the condition of this node. wrap the node in `not()`
Method	`wrap_bool`	Undocumented

@staticmethod
def build_var(vars, assigned=False, lineno=None, col_offset=None, parent=None, links=None, version=-1): (source)

build Variable class based on the tuple. E.g. vars=(a, b, c) will return Attribute: (a.b.c)

Parameters
vars:`tuple`	Undocumented
assigned	Undocumented
lineno	Undocumented
col_offset	Undocumented
parent	Undocumented
links	Undocumented
version	Undocumented

def __init__(self, lineno=None, col_offset=None, parent=None, links=None, version=-1): (source)

overrides klara.core.bases.BaseNode.__init__

overridden in klara.core.node_classes.Alias, klara.core.node_classes.Arg, klara.core.node_classes.Attribute, klara.core.node_classes.Name, klara.core.node_classes.Starred, klara.core.node_classes.Subscript

Undocumented

@abc.abstractmethod
def get_base_var(self): (source)

get the base variable string without ssa version

@abc.abstractmethod
def get_built_in_type(self): (source)

get the built in type class e.g. int, str of this variable representing

@abc.abstractmethod
def get_var_repr(self): (source)

get the str representation of current node. The difference between this and __repr__ is at nodes.Attribute, this method will return the attr with the version, not the whole str

@abc.abstractmethod
def is_built_in_type(self): (source)

check whether the name represents built in type. Return True when self.id / self.attr represents python built-in type. E.g. int, str etc...

def is_load_var(self): (source)

checking the 'ctx' if it's available

links = (source)

overridden in klara.core.node_classes.Attribute

Undocumented

version = (source)

overridden in klara.core.node_classes.Alias, klara.core.node_classes.Attribute, klara.core.node_classes.Name, klara.core.node_classes.Subscript

Undocumented