pyk.kcfg.show module

class KCFGShow(kprint: KPrint, node_printer: NodePrinter | None = None)[source]

Bases: object

dot(kcfg: KCFG) → Digraph[source]
dump(cfgid: str, cfg: KCFG, dump_dir: Path, dot: bool = False) → None[source]
static hide_cells(term: KInner, omit_cells: Iterable[str]) → KInner[source]
kprint: KPrint
static make_unique_segments(segments: Iterable[tuple[str, Iterable[str]]]) → Iterable[tuple[str, Iterable[str]]][source]
node_printer: NodePrinter
node_short_info(kcfg: KCFG, node: Node) → list[str][source]
pretty(kcfg: KCFG, minimize: bool = True) → Iterable[str][source]
pretty_segments(kcfg: KCFG, minimize: bool = True) → Iterable[tuple[str, Iterable[str]]][source]

Return a pretty version of the KCFG in segments.

Each segment is a tuple of an identifier and a list of lines to be printed for that segment (Tuple[str, Iterable[str]). The identifier tells you whether that segment is for a given node, edge, or just pretty spacing (‘unknown’). This is useful for applications which want to pretty print in chunks, so that they can know which printed region corresponds to each node/edge.

show(cfg: KCFG, nodes: Iterable[NodeIdLike] = (), node_deltas: Iterable[tuple[NodeIdLike, NodeIdLike]] = (), to_module: bool = False, minimize: bool = True, sort_collections: bool = False, omit_cells: Iterable[str] = (), module_name: str | None = None) → list[str][source]
static simplify_config(config: KInner, omit_cells: Iterable[str]) → KInner[source]
to_module(cfg: KCFG, module_name: str | None = None, omit_cells: Iterable[str] = (), parseable_output: bool = True) → KFlatModule[source]
class NodePrinter(kprint: KPrint, full_printer: bool = False, minimize: bool = False)[source]

Bases: object

full_printer: bool
kprint: KPrint
minimize: bool
node_attrs(kcfg: KCFG, node: Node) → list[str][source]
print_node(kcfg: KCFG, node: Node) → list[str][source]