forgetest1
/
antlr
forked from jasder/antlr
1
0
Fork 0
Code Issues Pull Requests 1 Releases Wiki Activity

add "useCurvedEdges" feature 

[git-p4: depot-paths = "//depot/code/antlr4/main/": change = 9501]
This commit is contained in:
Udo Borkowski 2011-11-30 16:12:35 -08:00
parent 417af93ca1
commit ef57f44240
1 changed files with 23 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
runtime/Java/src/org/antlr/v4/runtime/tree/gui/TreeViewer.java
View File

@ -44,6 +44,7 @@ import javax.swing.event.ChangeListener;
import java.awt.*; import java.awt.*;
import java.awt.event.ActionEvent; import java.awt.event.ActionEvent;
import java.awt.event.ActionListener; import java.awt.event.ActionListener;
import java.awt.geom.CubicCurve2D;
import java.awt.geom.Rectangle2D; import java.awt.geom.Rectangle2D;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Collection; import java.util.Collection;
@ -137,6 +138,16 @@ public class TreeViewer extends JComponent {
// ---------------- PAINT ----------------------------------------------- // ---------------- PAINT -----------------------------------------------
private boolean useCurvedEdges = true;
public boolean getUseCurvedEdges() {
return useCurvedEdges;
}
public void setUseCurvedEdges(boolean useCurvedEdges) {
this.useCurvedEdges = useCurvedEdges;
}
protected void paintEdges(Graphics g, Tree parent) { protected void paintEdges(Graphics g, Tree parent) {
if (!getTree().isLeaf(parent)) { if (!getTree().isLeaf(parent)) {
BasicStroke stroke = new BasicStroke(1.0f, BasicStroke.CAP_ROUND, BasicStroke stroke = new BasicStroke(1.0f, BasicStroke.CAP_ROUND,
@ -150,9 +161,18 @@ public class TreeViewer extends JComponent {
Rectangle2D.Double childBounds = getBoundsOfNode(child); Rectangle2D.Double childBounds = getBoundsOfNode(child);
double x2 = childBounds.getCenterX(); double x2 = childBounds.getCenterX();
double y2 = childBounds.getMinY(); double y2 = childBounds.getMinY();
g.drawLine((int) x1, (int) y1, if (useCurvedEdges) {
(int) x2, (int) y2); CubicCurve2D c = new CubicCurve2D.Double();
double ctrlx1 = x1;
double ctrly1 = (y1+y2)/2;
double ctrlx2 = x2;
double ctrly2 = y1;
c.setCurve(x1, y1, ctrlx1, ctrly1, ctrlx2, ctrly2, x2, y2);
((Graphics2D) g).draw(c);
} else {
g.drawLine((int) x1, (int) y1,
(int) x2, (int) y2);
}
paintEdges(g, child); paintEdges(g, child);
} }
} }