public void actionPerformed(ActionEvent e) {
if (e.getActionCommand().equals("Load Graph")) {
Explorer explorer = new Explorer();
String path = explorer.showDialog(this);
System.out.println("DEBUG: The graph selected is: " + path);
if (!(path.equals(""))) {
Vector graphNodes = utils.parseFile(path);
algorithm_View.setGraphNodes(graphNodes);
drawer.paintGraph(graphNodes);
for (int i = 0; i < graphNodes.size(); i++) {
System.out.print("Service " + (i + 1) + ": ");
Vector si = (Vector) graphNodes.elementAt(i);
for (int j = 0; j < si.size(); j++) {
String siValue =
((ServiceImplementation) si.elementAt(j)).getId()
+ "-"
+ ((ServiceImplementation) si.elementAt(j)).getSid();
System.out.print(siValue);
System.out.print(" ");
}
System.out.println();
}
algorithm_View.setGraphPanel(drawer.getGComponent());
}
}
if (e.getActionCommand().equals("Reset View")) {}
if (e.getActionCommand().equals("About...")) {
JOptionPane.showMessageDialog(
frame, "Version v0.2\nPatricia Uriol\nFelipe Ibañez\nDREQUIEM\nUC3M");
}
if (e.getActionCommand().equals("Manual")) {
JOptionPane.showMessageDialog(frame, helpManual);
}
}
private void drawGraph(GWTGraph g, boolean now) {
if (now) {
m_graphDrawerNoTransition.updateGraph(g);
} else {
m_graphDrawer.updateGraph(g);
}
// TODO: working here
SVGRect bbox = getSVGElement().getBBox();
SVGGElement map = m_svgViewPort.cast();
SVGRect mapBbox = map.getBBox();
double referenceScale = 0.4;
int x = bbox.getX();
int y = bbox.getY();
int width = (int) (mapBbox.getWidth() * referenceScale);
int height = (int) (mapBbox.getHeight() * referenceScale);
int viewPortWidth = (int) (m_svg.getOffsetWidth() * referenceScale);
int viewPortHeight = (int) (m_svg.getOffsetHeight() * referenceScale);
m_referenceMapViewport.setAttribute("width", "" + viewPortWidth);
m_referenceMapViewport.setAttribute("height", "" + viewPortHeight);
m_referenceMap.setAttribute(
"transform",
"translate("
+ (m_svg.getOffsetWidth() - width)
+ " "
+ (m_svg.getOffsetHeight() - height)
+ ")");
// TODO: Fix this calc
m_scaledMap.setAttribute(
"viewBox", x + " " + y + " " + mapBbox.getWidth() + " " + mapBbox.getHeight());
}
