new analysis for array references that create no new reachability is in, and correctl...

[IRC.git] / Robust / src / Benchmarks / mlp / directto / mlp-small-for-testing / MessageList.java

diff --git a/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/MessageList.java b/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/MessageList.java
index 2f268cb414a4ff7dc2008aa3e53f0f4c39a511f2..7dac0dd2fbbf7f2328f83c0ebcf8a0a459dfabea 100644 (file)
--- a/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/MessageList.java
+++ b/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/MessageList.java
@@ -47,8 +47,18 @@ public class MessageList {
   
   public void executeAll(D2 d2) {
     System.out.println("executeAll: we have "+messages.size()+" messages.");
-    while(hasNext())
-      next().executeMessage(d2);     
+
+
+
+    ///////////////////////////////////
+    // alternate version of this not
+    // in a loop...
+    //while(hasNext())
+    //  next().executeMessage(d2);     
+    ///////////////////////////////////    
+    next().executeMessage(d2);     
+
+
 
     d2.getStatic().printInfo();
     d2.getFixList().printInfo();