sota.gui.graph
Class GraphNode

java.lang.Object
  extended by sota.gui.graph.GraphNode

public class GraphNode
extends java.lang.Object

Knoten des Kontrollflussesgraphen. Hält sowohl entsprechenden ASTNode als auch den Node des DirectedGraph, welcher in Draw2d den Graphen repräsentiert und selber Button hält.


Field Summary
 ASTNode astNode
           
 org.eclipse.draw2d.Button button
           
 java.lang.String buttonString
           
 java.lang.String firstMCDC
           
 java.util.HashSet<GraphEdge> incomingEdges
           
private  boolean isJumpNode
           
private  boolean isPainted
           
 org.eclipse.draw2d.Label labelBI
           
 org.eclipse.draw2d.Label labelC0
           
 org.eclipse.draw2d.Label labelC1
           
 org.eclipse.draw2d.Label labelC2
           
 org.eclipse.draw2d.Label labelC3
           
 org.eclipse.draw2d.Label labelFEEC
           
 org.eclipse.draw2d.Label labelFMBI
           
 org.eclipse.draw2d.Label labelMBI
           
 org.eclipse.draw2d.Label labelMCDC
           
 org.eclipse.draw2d.Label labelMMDC
           
 org.eclipse.draw2d.graph.Node node
           
 java.util.HashSet<GraphEdge> outgoingEdges
           
 java.lang.String secondMCDC
           
 
Constructor Summary
GraphNode(ASTNode n)
           
GraphNode(ASTNode n, java.lang.String s)
           
 
Method Summary
 GraphEdge addChild(GraphNode child)
           
 void addLoopChild(GraphNode child)
           
 void applyColor(org.eclipse.swt.graphics.Color color)
           
 void applyColor(org.eclipse.swt.graphics.RGB rgb)
           
 ASTNode getAstNode()
           
 org.eclipse.draw2d.Button getButton()
           
 java.util.HashSet<GraphEdge> getIncomingEdges()
           
 org.eclipse.draw2d.graph.Node getNode()
           
 java.util.HashSet<GraphEdge> getOutgoingEdges()
           
 boolean isJumpNode()
           
 void isJumpNode(boolean b)
           
 boolean isPainted()
           
private  org.eclipse.swt.graphics.Color percentage2Color(float c2)
           
 void setAstNode(ASTNode astNode)
           
 void setButton(org.eclipse.draw2d.Button button)
           
 void setCoverageLabels()
           
 void setNode(org.eclipse.draw2d.graph.Node node)
           
 void setPainted(boolean b)
           
 void setToolTip()
          bestimmt informativen ToolTip-Text, abhängig von der Überdeckung
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

astNode

public ASTNode astNode

button

public org.eclipse.draw2d.Button button

buttonString

public java.lang.String buttonString

firstMCDC

public java.lang.String firstMCDC

incomingEdges

public java.util.HashSet<GraphEdge> incomingEdges

isJumpNode

private boolean isJumpNode

isPainted

private boolean isPainted

labelBI

public org.eclipse.draw2d.Label labelBI

labelC0

public org.eclipse.draw2d.Label labelC0

labelC1

public org.eclipse.draw2d.Label labelC1

labelC2

public org.eclipse.draw2d.Label labelC2

labelC3

public org.eclipse.draw2d.Label labelC3

labelFEEC

public org.eclipse.draw2d.Label labelFEEC

labelFMBI

public org.eclipse.draw2d.Label labelFMBI

labelMBI

public org.eclipse.draw2d.Label labelMBI

labelMCDC

public org.eclipse.draw2d.Label labelMCDC

labelMMDC

public org.eclipse.draw2d.Label labelMMDC

node

public org.eclipse.draw2d.graph.Node node

outgoingEdges

public java.util.HashSet<GraphEdge> outgoingEdges

secondMCDC

public java.lang.String secondMCDC
Constructor Detail

GraphNode

public GraphNode(ASTNode n)

GraphNode

public GraphNode(ASTNode n,
                 java.lang.String s)
Method Detail

addChild

public GraphEdge addChild(GraphNode child)

addLoopChild

public void addLoopChild(GraphNode child)

applyColor

public void applyColor(org.eclipse.swt.graphics.Color color)

applyColor

public void applyColor(org.eclipse.swt.graphics.RGB rgb)

getAstNode

public ASTNode getAstNode()

getButton

public org.eclipse.draw2d.Button getButton()

getIncomingEdges

public java.util.HashSet<GraphEdge> getIncomingEdges()

getNode

public org.eclipse.draw2d.graph.Node getNode()

getOutgoingEdges

public java.util.HashSet<GraphEdge> getOutgoingEdges()

isJumpNode

public boolean isJumpNode()

isJumpNode

public void isJumpNode(boolean b)

isPainted

public boolean isPainted()

percentage2Color

private org.eclipse.swt.graphics.Color percentage2Color(float c2)

setAstNode

public void setAstNode(ASTNode astNode)

setButton

public void setButton(org.eclipse.draw2d.Button button)

setCoverageLabels

public void setCoverageLabels()

setNode

public void setNode(org.eclipse.draw2d.graph.Node node)

setPainted

public void setPainted(boolean b)

setToolTip

public void setToolTip()
bestimmt informativen ToolTip-Text, abhängig von der Überdeckung


toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object