changes + bring up uncommited previous changes.

[IRC.git] / Robust / src / Benchmarks / SSJava / JavaNator / RobotMain.java

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/RobotMain.java b/Robust/src/Benchmarks/SSJava/JavaNator/RobotMain.java
index a4ed1715969698a7bcf866bef2d4b60ba64b8b70..6838ef52228c4c98e308320c73b85f7786feb616 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/JavaNator/RobotMain.java
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/RobotMain.java
@@ -252,7 +252,6 @@ public class RobotMain {
 \r
   @LATTICE("THIS<C,THIS<MC,MC<IN,C<IN,IN<T,C*,THISLOC=THIS,GLOBALLOC=THIS")\r
   public void doit() {\r
-    @LOC("T") boolean active = true;\r
     /**\r
      * RealTime management of the robot behaviour based on sensors and commands input.\r
      */\r
@@ -286,6 +285,15 @@ public class RobotMain {
      */\r
     // issueCommand("OFF");\r
 \r
+    start();\r
+\r
+    System.exit(0);\r
+  }\r
+\r
+  @LATTICE("THIS<IN,IN<T,THISLOC=THIS,GLOBALLOC=THIS")\r
+  public void start() {\r
+    @LOC("T") boolean active = true;\r
+\r
     SSJAVA: while (active) {\r
 \r
       @LOC("IN") Command com = HWSimulator.getCommand();\r
@@ -303,7 +311,6 @@ public class RobotMain {
       // erase current settings\r
       initialize();\r
     }\r
-    System.exit(0);\r
   }\r
 \r
   public void initialize() {\r