From 7fd3bc996fb6b124e065a11d256b17da3ba7d5b5 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 16 Nov 2007 00:46:24 +0000
Subject: [PATCH] remove comments for comparison of lengths

---
 Robust/src/Benchmarks/Conglomerator/Java/Logger.java     | 1 -
 Robust/src/Benchmarks/Conglomerator/Tag/Inventory.java   | 2 --
 Robust/src/Benchmarks/Conglomerator/Tag/Logger.java      | 1 -
 .../Conglomerator/Tag/Opt/WebServerExampleOpt.java       | 9 +++------
 .../Benchmarks/Conglomerator/Tag/WebServerSocket.java    | 2 --
 5 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/Robust/src/Benchmarks/Conglomerator/Java/Logger.java b/Robust/src/Benchmarks/Conglomerator/Java/Logger.java
index 25f2d4d6..4d8b739d 100644
--- 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 74756956..40581a00 100644
--- 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 a23cc4fa..c5aa2111 100644
--- 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 3b734724..df43e906 100644
--- 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 86394fd4..d83dd334 100644
--- 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; 
-- 
2.34.1