remove comments for comparison of lengths

diff --git a/Robust/src/Benchmarks/Conglomerator/Java/Logger.java b/Robust/src/Benchmarks/Conglomerator/Java/Logger.java
index 25f2d4d68818c154bca1bf54719b78d5f239fd0e..4d8b739d2a6d0cdf4b419bbcb84f14a7aca46c7e 100644 (file)
--- a/Robust/src/Benchmarks/Conglomerator/Java/Logger.java
+++ b/Robust/src/Benchmarks/Conglomerator/Java/Logger.java
@@ -1,5 +1,4 @@
 public class Logger {
-    //Logger flag
     FileOutputStream fos;
 
 

diff --git a/Robust/src/Benchmarks/Conglomerator/Tag/Inventory.java b/Robust/src/Benchmarks/Conglomerator/Tag/Inventory.java
index 74756956310539eea53026cf09aabf1ce6aa7e78..40581a00c294e60bbfcf752ba4a252008e2734b4 100644 (file)
--- a/Robust/src/Benchmarks/Conglomerator/Tag/Inventory.java
+++ b/Robust/src/Benchmarks/Conglomerator/Tag/Inventory.java
@@ -1,7 +1,5 @@
 public class Inventory {
-    // Inventory flags
     flag TransInitialize;
-    
     // Transaction variables
     int numitems;
     HashMap map;

diff --git a/Robust/src/Benchmarks/Conglomerator/Tag/Logger.java b/Robust/src/Benchmarks/Conglomerator/Tag/Logger.java
index a23cc4fac6b8ec5310d13a2069b70fc5e56d9112..c5aa2111e20428610654ed83a68bdf68248a1204 100644 (file)
--- a/Robust/src/Benchmarks/Conglomerator/Tag/Logger.java
+++ b/Robust/src/Benchmarks/Conglomerator/Tag/Logger.java
@@ -1,5 +1,4 @@
 public class Logger {
-    //Logger flag
     flag Initialize;
     FileOutputStream fos;
 

diff --git a/Robust/src/Benchmarks/Conglomerator/Tag/Opt/WebServerExampleOpt.java b/Robust/src/Benchmarks/Conglomerator/Tag/Opt/WebServerExampleOpt.java
index 3b734724482d9abfe800b00a68bd0309b7001993..df43e906fa4f93ed08d68b8dcaa2ee640d998605 100644 (file)
--- a/Robust/src/Benchmarks/Conglomerator/Tag/Opt/WebServerExampleOpt.java
+++ b/Robust/src/Benchmarks/Conglomerator/Tag/Opt/WebServerExampleOpt.java
@@ -14,8 +14,7 @@ task LookupS(Stock l{initialstate}) {
 }
 
 task ReceiveQueryS(Stock l{query&&IOPending}) {
-    if (l.Receive()) taskexit(l{!query,done}{});
-    else taskexit;
+    if (l.Receive()) taskexit(l{!query,done}{}); else taskexit;
 }
 
 task LookupW(Weather l{initialstate}) {
@@ -24,8 +23,7 @@ task LookupW(Weather l{initialstate}) {
 }
 
 task ReceiveQueryW(Weather l{query&&IOPending}) {
-    if (l.Receive()) taskexit(l{!query,done}{});
-    else taskexit;
+    if (l.Receive()) taskexit(l{!query,done}{}); else taskexit;
 }
 
 task LookupG(Google l{initialstate}) {
@@ -34,8 +32,7 @@ task LookupG(Google l{initialstate}) {
 }
 
 task ReceiveQueryG(Google l{query&&IOPending}) {
-    if (l.Receive()) taskexit(l{!query,done}{});
-    else taskexit;
+    if (l.Receive()) taskexit(l{!query,done}{}); else taskexit;
 }
 
 task AcceptConnection(ServerSocket ss{SocketPending}) {

diff --git a/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java b/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java
index 86394fd4f1b14a7670221a5bfaaf2a5b7b069d96..d83dd3344ee3f4568788155aac11fc8050e915d2 100644 (file)
--- a/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java
+++ b/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java
@@ -1,10 +1,8 @@
 public class WebServerSocket {
-       // Websocket flag
        flag LogPending;
        flag WritePending;
        flag TransPending;
        flag WebInitialize;
-       
        //Filename requested by the client 
        String filename;
         String[] parsed;