Package it.unive.lisa.outputs

Class Summary

Class	Description
DotCFG	An DotGraph built from a CFG.
DotGraph<N extends Node<N,E,G>,E extends Edge<N,E,G>,G extends Graph<G,N,E>>	An auxiliary graph built from a Graph that can be dumped in dot format, together with a legend.
JsonReport	A report of an executed analysis that can be dumped in json format, and that can be read from a json file.
JsonReport.JsonWarning	A warning that is ready to dump into a JsonReport.