From 9b0419acbc1e44bbd47d6d023f359fa111a2a790 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Thu, 23 Aug 2007 15:17:55 +0000
Subject: [PATCH] Rain: added tests for input statements

---
 RainParseTest.hs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/RainParseTest.hs b/RainParseTest.hs
index 12074ed..dd1ca0d 100644
--- a/RainParseTest.hs
+++ b/RainParseTest.hs
@@ -298,6 +298,7 @@ testDecl =
 testComm :: [ParseTest A.Process]
 testComm =
  [
+  --Output:
   pass ("c ! x;",RP.statement,assertEqual "testComm 0" $ A.Output m (variable "c") [A.OutExpression m (exprVariable "x")])
   ,pass ("c!x;",RP.statement,assertEqual "testComm 1" $ A.Output m (variable "c") [A.OutExpression m (exprVariable "x")])
   ,pass ("c!0+x;",RP.statement,assertEqual "testComm 2" $ A.Output m (variable "c") [A.OutExpression m $ A.Dyadic m A.Add (intLiteral 0) (exprVariable "x")])
@@ -307,6 +308,18 @@ testComm =
   ,fail ("c!;",RP.statement)
   ,fail ("!x;",RP.statement)
   ,fail ("c!!x;",RP.statement)  
+
+  --Input:
+  ,pass ("c ? x;",RP.statement, assertEqual "testComm 100" $ A.Input m (variable "c") $ A.InputSimple m [A.InVariable m (variable "x")])
+  ,pass ("c?x;",RP.statement, assertEqual "testComm 101" $ A.Input m (variable "c") $ A.InputSimple m [A.InVariable m (variable "x")])
+  --Fail for now, but later will probably become the extended rendezvous syntax:
+  ,fail ("c??x;",RP.statement)
+  ,fail ("c ? x + 0;",RP.statement)
+  ,fail ("?x;",RP.statement)
+  ,fail ("c ? x",RP.statement)
+  ,fail ("c ? ;",RP.statement)
+  ,fail ("c ? x ? y;",RP.statement)
+  ,fail ("c ? x , y;",RP.statement)  
  ]
         
 --Returns the list of tests: