klara.core.base_manager.BaseManager

class documentation

class BaseManager: (source)

Known subclasses: klara.core.AstManager

View In Hierarchy

Enable custom logging signature to differentiate the context, where the first arg is the operation name. E.g. To log a stuff about ssa, >>> manager = BaseManager() >>> manager.logger.info("ssa", "perform an operation related to ssa")

Method __init__ Undocumented
Method clear_infer_cache Undocumented
Method get_infer_statistics Undocumented
Method initialize initialize the logging level and clear all the state
Method reset Undocumented
Method uninitialize Undocumented
Instance Variable __dict__ Undocumented
Instance Variable builtins_ast_cls Undocumented
Instance Variable builtins_tree Undocumented
Instance Variable config Undocumented
Instance Variable infer_cache Undocumented
Instance Variable infer_count Undocumented
Instance Variable logger Undocumented
Instance Variable skipped_infer_count Undocumented
Instance Variable skipped_same_operand_count Undocumented
Instance Variable skipped_same_operand_nested_count Undocumented
Instance Variable skipped_z3_operand Undocumented
Method _fresh_init Undocumented
Constant _LOG_METHOD_REPR Undocumented
Constant _VERBOSITY_LEVEL Undocumented
Class Variable _core Undocumented
Instance Variable _manager_status Undocumented
def __init__(self, config=None): (source)
overridden in klara.core.AstManager

Undocumented

def clear_infer_cache(self): (source)

Undocumented

def get_infer_statistics(self): (source)

Undocumented

def initialize(self, config=None): (source)
overridden in klara.core.AstManager

initialize the logging level and clear all the state

def reset(self): (source)

Undocumented

def uninitialize(self): (source)
overridden in klara.core.AstManager

Undocumented

__dict__ = (source)
overridden in klara.core.AstManager

Undocumented

builtins_ast_cls: dict = (source)

Undocumented

builtins_tree = (source)
overridden in klara.core.AstManager

Undocumented

config = (source)
overridden in klara.core.AstManager

Undocumented

infer_cache: dict = (source)

Undocumented

infer_count: int = (source)

Undocumented

logger = (source)

Undocumented

skipped_infer_count: int = (source)

Undocumented

skipped_same_operand_count: int = (source)

Undocumented

skipped_same_operand_nested_count: int = (source)

Undocumented

skipped_z3_operand: int = (source)

Undocumented

def _fresh_init(self, config=None): (source)
overridden in klara.core.AstManager

Undocumented

_LOG_METHOD_REPR: tuple[str, ...] = (source)

Undocumented

Value
('info', 'warning', 'error', 'critical', 'exception', 'debug')
_VERBOSITY_LEVEL = (source)

Undocumented

Value
{0: logging.ERROR, 1: logging.INFO, 2: logging.DEBUG}
_core: dict = (source)

Undocumented

_manager_status: bool = (source)

Undocumented