class documentation

class TypegraphEncoder(json.JSONEncoder): (source)

View In Hierarchy

Implements the JSONEncoder behavior for typegraph objects.

Method __init__ Undocumented
Method default Undocumented
Method _encode_binding Undocumented
Method _encode_binding_data Undocumented
Method _encode_cfgnode Undocumented
Method _encode_origin Undocumented
Method _encode_program Undocumented
Method _encode_queries Encodes information about solver queries from a Program's metrics.
Method _encode_variable Undocumented
Instance Variable _bindings Undocumented
def __init__(self, *args, **kwargs): (source)

Undocumented

def default(self, o): (source)

Undocumented

def _encode_binding(self, binding: cfg.Binding) -> Dict[str, Any]: (source)

Undocumented

def _encode_binding_data(self, binding: cfg.Binding) -> str: (source)

Undocumented

def _encode_cfgnode(self, node: cfg.CFGNode) -> Dict[str, Any]: (source)

Undocumented

def _encode_origin(self, origin: cfg.Origin) -> Dict[str, Any]: (source)

Undocumented

def _encode_program(self, program: cfg.Program) -> Dict[str, Any]: (source)

Undocumented

def _encode_queries(self, program: cfg.Program) -> List[Dict[str, Any]]: (source)

Encodes information about solver queries from a Program's metrics. The queries are numbered in the order they were recorded. Args: program: a cfg.Program. Returns: A list of dictionaries that correspond to SerializedQuery.

def _encode_variable(self, variable: cfg.Variable) -> Dict[str, Any]: (source)

Undocumented

Undocumented