Package sota.gui.graph

Class Summary
CFGBuilder Kapselt die Funktionalität, Kontrollflussgraphen aus (Java-)Funktionen zu konstruieren, sowie auf diesen Graphen Operationen, wie z.B.
CFGPlotter Klasse, die einen DirectedGraph zeichnet.
CFGPlotter.LeftOrRightAnchor  
CFGPlotter.TopOrBottomAnchor  
GraphEdge  
GraphManager Diese Klasse verwaltet die Datenstrukturen des CFG, ermöglicht ihre Abbildung aufeinander und die Akualisierung der Graph-Informationen.
GraphNode Knoten des Kontrollflussesgraphen.
NodeInfoDialog  
SeparatorBorder  
TableFigure  
ZoomManager Verwaltet die verschiedenen Zoom-Stufen der Darstellung des CFG.