Uses of Class
sota.gui.graph.GraphNode

Packages that use GraphNode
sota.gui.graph   
sota.gui.provider   
 

Uses of GraphNode in sota.gui.graph
 

Fields in sota.gui.graph declared as GraphNode
private  GraphNode NodeInfoDialog.graphNode
           
(package private)  GraphNode GraphEdge.sourceNode
           
 GraphNode GraphEdge.targetNode
           
 

Fields in sota.gui.graph with type parameters of type GraphNode
private  java.util.HashMap<ASTNode,GraphNode> GraphManager.ast2graphNode
           
private static java.util.ArrayList<GraphNode> CFGBuilder.listOfJumpNodes
           
private  java.util.HashMap<org.eclipse.draw2d.graph.Node,GraphNode> GraphManager.node2graphNode
           
 

Methods in sota.gui.graph that return GraphNode
 GraphNode GraphManager.astNode2graphNode(ASTNode n)
           
private static GraphNode CFGBuilder.buildCFG(GraphNode father, ASTNode startNode, ASTNode endNode)
          Rekursive Funktion zum Erstellen des Kontrollflussgraphen
 GraphNode GraphEdge.getSourceNode()
           
 GraphNode GraphEdge.getTargetNode()
           
 GraphNode GraphManager.node2GraphNode(org.eclipse.draw2d.graph.Node node)
           
 

Methods in sota.gui.graph that return types with arguments of type GraphNode
 java.util.HashMap<org.eclipse.draw2d.graph.Node,GraphNode> GraphManager.getNode2GraphNode()
           
 

Methods in sota.gui.graph with parameters of type GraphNode
 GraphEdge GraphNode.addChild(GraphNode child)
           
 void GraphNode.addLoopChild(GraphNode child)
           
static void GraphManager.applyCoverageColor(GraphNode graphNode)
          Färbt den GraphNode und die ausgehenden GraphEdges je nach Färbung des zugehörigen ASTNodes
static java.lang.String GraphManager.astNodeToString(GraphNode graphNode)
           
private static GraphNode CFGBuilder.buildCFG(GraphNode father, ASTNode startNode, ASTNode endNode)
          Rekursive Funktion zum Erstellen des Kontrollflussgraphen
private static void CFGBuilder.buildFigureGraph(GraphNode rootGraphNode, int constraint)
          Konstruiert rekursive Nodes und Edges für den DirectedGraph aus der GraphNode-Struktur
static int GraphManager.getNrExitHits(GraphNode graphNode)
           
static boolean GraphManager.isCovered(GraphNode graphNode)
          Bestimmt, ob dieser GraphNode überdeckt ist oder nicht
 void GraphManager.put(GraphNode graphNode)
           
 void GraphManager.putGraph(GraphNode root)
           
 void GraphManager.refreshSourceViewer(GraphNode gn, ASTNode n)
           
 void GraphEdge.setSourceNode(GraphNode sourceNode)
           
 void GraphEdge.setTargetNode(GraphNode targetNode)
           
 

Constructors in sota.gui.graph with parameters of type GraphNode
GraphEdge(GraphNode from, GraphNode to)
           
NodeInfoDialog(org.eclipse.swt.widgets.Shell shell, GraphNode graphNode)
           
 

Uses of GraphNode in sota.gui.provider
 

Fields in sota.gui.provider declared as GraphNode
(package private)  GraphNode NodeDialogLabelProvider.gn
           
 

Constructors in sota.gui.provider with parameters of type GraphNode
NodeDialogLabelProvider(GraphNode gn)