119 |
public int dx = 30, dy = 30; |
public int dx = 30, dy = 30; |
120 |
protected java.awt.Rectangle getRect(Object node) { |
protected java.awt.Rectangle getRect(Object node) { |
121 |
if (node == null) throw new Error("Impossible!"); |
if (node == null) throw new Error("Impossible!"); |
122 |
int x = RDFUtil.getInt(fen.graph, node, CANVAS2D.x); |
float x = RDFUtil.getFloat(fen.graph, node, CANVAS2D.x); |
123 |
int y = RDFUtil.getInt(fen.graph, node, CANVAS2D.y); |
float y = RDFUtil.getFloat(fen.graph, node, CANVAS2D.y); |
124 |
Placeable p = (Placeable)nodeView.f(fen.constgraph, node); |
Placeable p = (Placeable)nodeView.f(fen.constgraph, node); |
125 |
return new java.awt.Rectangle(x-dx, y-dy, |
return new java.awt.Rectangle((int)(x-dx), (int)(y-dy), |
126 |
(int)p.getWidth()+dx+dx, |
(int)p.getWidth()+dx+dx, |
127 |
(int)p.getHeight()+dy+dy); |
(int)p.getHeight()+dy+dy); |
128 |
} |
} |