package application; import java.io.BufferedReader; import java.io.FileReader; import java.util.AbstractMap; import java.util.ArrayList; import java.util.HashMap; import java.util.HashSet; import java.util.List; import java.util.Map; import java.util.Set; import javax.swing.JFrame; import com.mxgraph.model.mxCell; import com.mxgraph.model.mxGeometry; import com.mxgraph.model.mxGraphModel; import com.mxgraph.swing.mxGraphComponent; import com.mxgraph.swing.handler.mxRubberband; import com.mxgraph.util.mxEvent; import com.mxgraph.util.mxEventObject; import com.mxgraph.util.mxPoint; import com.mxgraph.util.mxEventSource.mxIEventListener; import com.mxgraph.view.mxGraph; import algorithms.TypeInference; import application.actions.SimulateAction; import application.editor.Editor; import application.editor.InputEventCellEditor; import application.layouts.DAGLayout; import generators.JavaCodeGenerator; import models.Edge; import models.EdgeAttribute; import models.algebra.Expression; import models.algebra.InvalidMessage; import models.algebra.ParameterizedIdentifierIsFutureWork; import models.algebra.UnificationFailed; import models.algebra.ValueUndefined; import models.dataConstraintModel.Channel; import models.dataConstraintModel.ChannelMember; import models.dataConstraintModel.ResourcePath; import models.dataConstraintModel.Selector; import models.dataFlowModel.ChannelNode; import models.dataFlowModel.DataFlowEdge; import models.dataFlowModel.DataFlowGraph; import models.dataFlowModel.DataTransferChannel; import models.dataFlowModel.DataTransferModel; import models.dataFlowModel.ResolvingMultipleDefinitionIsFutureWork; import models.dataFlowModel.ResourceNode; import parser.Parser; import parser.ParserDTRAM; import parser.exceptions.ExpectedColon; import parser.exceptions.ExpectedRightBracket; import parser.exceptions.WrongJsonExpression; import parser.Parser.TokenStream; import simulator.Event; import simulator.Resource; import simulator.ResourceIdentifier; import simulator.Simulator; public class SimulatorWindow extends JFrame{ /** * */ private static final long serialVersionUID = -2425820512017088254L; public static final String title = "Simulation Tool"; final int PORT_DIAMETER = 8; final int PORT_RADIUS = PORT_DIAMETER / 2; private Editor editor = null; private mxGraph graph = null; private mxGraphComponent graphComponent = null; private Simulator simulator = null; private boolean bReflectingArchitectureModel = false; private double x = 20; private double y = 20; public SimulatorWindow(Editor editor) { setTitle(title); setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); this.graph = new mxGraph() { public boolean isPort(Object cell) { mxGeometry geo = getCellGeometry(cell); return (geo != null) ? geo.isRelative() : false; } public boolean isCellFoldable(Object cell, boolean collapse) { return false; } }; this.graphComponent = new mxGraphComponent(graph); this.editor = editor; graph.getModel().addListener(mxEvent.CHANGE, new mxIEventListener() { public void invoke(Object sender, mxEventObject evt) { List<mxCell> terminals = new ArrayList<>(); mxCell cell = null; for (Object change: ((List) evt.getProperties().get("changes"))) { if (change instanceof mxGraphModel.mxTerminalChange) { mxGraphModel.mxTerminalChange terminalChange = (mxGraphModel.mxTerminalChange) change; cell = (mxCell) terminalChange.getCell(); mxCell terminal = (mxCell) terminalChange.getTerminal(); terminals.add(terminal); } } if (terminals.size() == 2) { if (!editor.connectEdge(cell, terminals.get(0), terminals.get(1))) { graph.removeCells(new mxCell[] {cell}); } } } }); getContentPane().add(graphComponent); new mxRubberband(graphComponent); graph.setAllowDanglingEdges(false); graph.setCellsDisconnectable(true); setTitle(title); setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); setSize(870,640); setVisible(true); DataTransferModel model = this.editor.getModel(); TypeInference.infer(model); simulator = new Simulator(model); constructSimulateGraph(simulator.getCurState().getRootResources(), this.editor.getModel(),this.editor.getDataFlowGraph()); graphComponent.setCellEditor(new InputEventCellEditor(graphComponent, simulator, this.editor, graph)); } public mxGraph constructSimulateGraph(Set<Resource> simulateRes, DataTransferModel model, DataFlowGraph dataFlowGraph) { bReflectingArchitectureModel = true; ((mxGraphModel) graph.getModel()).clear(); Object parent = graph.getDefaultParent(); graph.getModel().beginUpdate(); try { Map<Resource, Object> resources = new HashMap<>(); // create resource vertices for (Resource resNode: simulateRes) { int w = 80; int h = 30; ResourcePath res = resNode.getResourceIdentifier(); Object resource = graph.insertVertex(parent, null, res.toString(), x, y, w, h, "shape=ellipse;perimeter=ellipsePerimeter;verticalAlign=top;"); // insert a resource as a vertex resources.put(resNode, resource); createChildSimulateResourceVerticies(resource, resNode, resources, w, h); x+=80; } } finally { graph.getModel().endUpdate(); } bReflectingArchitectureModel = false; return graph; } public void createChildSimulateResourceVerticies(Object resource, Resource resNode, Map<Resource, Object> resources, int w, int h) { //sample if(resNode.getChildren() != null) { for (Resource childNode: resNode.getChildren()) { ResourcePath childRes = childNode.getResourceIdentifier(); Object childResource = graph.insertVertex(resource, null, childRes.toString(), 0, 0, w/2, h/2, "shape=ellipse;perimeter=ellipsePerimeter;verticalAlign=top;"); // insert a resource as a vertex resources.put(childNode, childResource); createChildSimulateResourceVerticies(childResource, childNode, resources, w, h); } } if (resNode.getChildren() == null || resNode.getChildren().size() == 0) { Object state = graph.insertVertex(resource, null, resNode.getState().getValue().toString(), 0.5, 0.5, 0.25, 0.25, "opacity=0;verticalAlign=down;", true); // insert a state label as a vertex } } public mxGraphComponent getGraphComponent() { return graphComponent; } public Editor getEditor() { return editor; } public void setEditor(Editor editor) { this.editor = editor; } }