Package it.unive.lisa.outputs

Class DotCFG

java.lang.Object

it.unive.lisa.outputs.DotGraph<Statement,Edge,CFG>

it.unive.lisa.outputs.DotCFG

public final class DotCFG
extends DotGraph<Statement,Edge,CFG>

An DotGraph built from a CFG. Instances of this class can be created through fromCFG(CFG, String, Function), or read from a file through DotGraph.readDot(Reader).

Field Summary

Fields inherited from class it.unive.lisa.outputs.DotGraph

COLOR, COLOR_BLACK, COLOR_BLUE, COLOR_GRAY, COLOR_RED, CONDITIONAL_EDGE_STYLE, EXIT_NODE_EXTRA_ATTR, EXIT_NODE_EXTRA_VALUE, LABEL, NODE_SHAPE, NORMAL_NODE_COLOR, SHAPE, SPECIAL_NODE_COLOR, STYLE

Method Summary

Modifier and Type	Method	Description
static DotCFG	fromCFG(CFG source, java.lang.String title, java.util.function.Function<Statement,java.lang.String> labelGenerator)	Builds a DotCFG from a CFG.

Methods inherited from class it.unive.lisa.outputs.DotGraph

addEdge, addNode, dumpDot, equals, hashCode, readDot, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

fromCFG

public static DotCFG fromCFG(CFG source,
                             java.lang.String title,
                             java.util.function.Function<Statement,java.lang.String> labelGenerator)

Builds a DotCFG from a CFG. The label of a node representing a statement node will be composed by joining node.toString() ( Statement.toString()) with labelGenerator.apply(node) (Function.apply(Object)) through a new line.

Parameters:

source - the source to export into dot format

title - the title of the graph, if any

labelGenerator - the function used to generate extra labels

Returns:

the exported graph built starting from the source