|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |