diff --git a/executablecode/Makefile.src b/executablecode/Makefile.src index 8843c11729cb99b9c2c6df9e32cdad09421ba409..ddc0929c15dc4d85c41f76012a09161c649c9b7c 100755 --- a/executablecode/Makefile.src +++ b/executablecode/Makefile.src @@ -1 +1 @@ -SRCS = generated_src/main.c generated_src/ObserverProp1.c generated_src/RemotelyControlledMicrowave.c generated_src/MicroWaveOven.c generated_src/Door.c generated_src/Magnetron.c generated_src/Controller.c generated_src/ControlPanel.c generated_src/Bell.c \ No newline at end of file +SRCS = generated_src/main.c generated_src/AlarmActuator.c generated_src/PressureSensor.c generated_src/PressureController.c generated_src/MainController.c generated_src/AlarmManager.c generated_src/Timer__alarmTimer__AlarmManager.c \ No newline at end of file diff --git a/src/main/java/ui/tree/JDiagramTree.java b/src/main/java/ui/tree/JDiagramTree.java index 51b81852fde86de02e081f9ed9069194d68a14b4..94da16cff63ec687b5df6ef74883624802a59549 100755 --- a/src/main/java/ui/tree/JDiagramTree.java +++ b/src/main/java/ui/tree/JDiagramTree.java @@ -298,9 +298,9 @@ public class JDiagramTree extends javax.swing.JTree implements ActionListener, M } - public void expandPath(TreePath tp) { + /*public void expandPath(TreePath tp) { expandPath(tp); - } + }*/ public void treeCollapsed(TreeExpansionEvent treeExpansionEvent) { m_expandedTreePaths.remove(treeExpansionEvent.getPath());