| File |
Line |
| project\gluebooster\graph\JungGraphBoostUtils.java |
567 |
| project\gluebooster\graph\JungGraphBoostUtils.java |
778 |
for (RectangleWithRef vertex : shapes)
{
int equalityDistance = 5;
if (line.intersects(vertex)
&& !(line.startsWith(vertex.getCenter(), equalityDistance) || (line
.endsWith(vertex.getCenter(), equalityDistance))))
{
// determine which diagonale part is intersected and add another
// point to the polyline
Line2D.Double diagonalePart = vertex.getUpperLeftDiagonaleLine();
Pair<Line2D, Point2D> intersection = line
.getIntersection(diagonalePart);
if (intersection != null)
{
line.splitLine(intersection.getFirst(), GeometryBoostUtils
.translate(vertex.getUpperLeftCorner(),
GeometryBoostUtils.getVector(vertex.getCenter(),
intersection.getSecond())));
}
diagonalePart = vertex.getUpperRightDiagonaleLine();
intersection = line.getIntersection(diagonalePart);
if (intersection != null)
{
line.splitLine(intersection.getFirst(), GeometryBoostUtils
.translate(vertex.getUpperRightCorner(),
GeometryBoostUtils.getVector(vertex.getCenter(),
intersection.getSecond())));
}
diagonalePart = vertex.getLowerRightDiagonaleLine();
intersection = line.getIntersection(diagonalePart);
if (intersection != null)
{
line.splitLine(intersection.getFirst(), GeometryBoostUtils
.translate(vertex.getLowerRightCorner(),
GeometryBoostUtils.getVector(vertex.getCenter(),
intersection.getSecond())));
}
diagonalePart = vertex.getLowerLeftDiagonaleLine();
intersection = line.getIntersection(diagonalePart);
if (intersection != null)
{
line.splitLine(intersection.getFirst(), GeometryBoostUtils
.translate(vertex.getLowerLeftCorner(),
GeometryBoostUtils.getVector(vertex.getCenter(),
intersection.getSecond())));
}
}
}
}
return result;
}
public static <Vertex, Edge> void checkGraph(Graph<Vertex, Edge> graph)
|
| File |
Line |
| project\gluebooster\graph\JungGraphBoostUtils.java |
177 |
| project\gluebooster\graph\JungGraphBoostUtils.java |
374 |
Color.GREEN) }));
vv.getRenderContext().setEdgeStrokeTransformer(
new ConstantTransformer(new BasicStroke(2.5f)));
vv.getRenderer().setEdgeLabelRenderer(new BasicEdgeLabelRenderer());
vv.setBackground(Color.white);
// add a listener for ToolTips
vv.setVertexToolTipTransformer(new ToStringLabeller());
if (graphMouseListener != null)
vv.addGraphMouseListener(graphMouseListener);
if (edgeDoubleClickListener != null)
JungGraphDefaultActions.setEdgeDoubleclickListener(vv,
edgeDoubleClickListener);
JPanel result = new JPanel();
result.setLayout(new BorderLayout());
result.add(new GraphZoomScrollPane(vv), BorderLayout.CENTER);
result.add(createDefaultGraphControl(vv, 1.1), BorderLayout.SOUTH);
return result;
}
/**
* Layouts a graph with edge labels.
*
* @param <Vertex>
* @param <Edge>
* @param graph
* @param vertexDimensionGetter
* @param edgeLabelDimensionGetter
* @return
*/
public static <Vertex, Edge> Pair<Map<Vertex, RectangularShape>, Map<Edge, Pair<RectangularShape, PolyLine>>> layoutGraph(
|
| File |
Line |
| project\gluebooster\xml\event\CachingXmlEventReader.java |
87 |
| project\gluebooster\xml\event\XmlEventReaderByEventList.java |
56 |
public XMLEvent nextTag() throws XMLStreamException {
XMLEvent event = peek();
if ( event.isStartElement())
return nextEvent();
if ( event.isEndElement())
return nextEvent();
if ( event.isCharacters())
{
Characters characters = event.asCharacters();
if ( characters.isWhiteSpace()) {
nextEvent(); //process event
return nextTag();
} else {
throw new XMLStreamException( "no whitespaces: " + characters.getData());
}
} else throw new XMLStreamException( "event " + event.getEventType() + " not supported here.");
}
public XMLEvent peek() throws XMLStreamException {
|