[savara-commits] savara SVN: r625 - branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/spr.

[do-not-reply at jboss.org]

Author: objectiser
Date: 2011-01-27 08:51:27 -0500 (Thu, 27 Jan 2011)
New Revision: 625

Modified:
   branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/spr/PurchaseGoods.spr
Log:
Fix test now that imports are generated from CDL.

Modified: branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/spr/PurchaseGoods.spr
===================================================================
--- branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/spr/PurchaseGoods.spr	2011-01-27 13:48:46 UTC (rev 624)
+++ branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/spr/PurchaseGoods.spr	2011-01-27 13:51:27 UTC (rev 625)
@@ -1,13 +1,16 @@
-protocol PurchaseGoodsProcess {
-	role Buyer, CreditAgency, Store;
-	buy(BuyRequest) from Buyer to Store;
-	checkCredit(CreditCheckRequest) from Store to CreditAgency;
-	choice from CreditAgency to Store {
-		checkCredit(CreditCheckOk):
-			buy(BuyConfirmed) from Store to Buyer;
-
-		checkCredit(CreditCheckInvalid):
-			buy(BuyFailed) from Store to Buyer;
-
-	}
-}
+import xsd "{http://www.jboss.org/examples/store}BuyConfirmed" as BuyConfirmed, "{http://www.jboss.org/examples/store}BuyFailed" as BuyFailed, "{http://www.jboss.org/examples/store}BuyRequest" as BuyRequest from "http://www.jboss.org/examples/store";
+import xsd "{http://www.jboss.org/examples/creditAgency}CreditCheckInvalid" as CreditCheckInvalid, "{http://www.jboss.org/examples/creditAgency}CreditCheckOk" as CreditCheckOk, "{http://www.jboss.org/examples/creditAgency}CreditCheckRequest" as CreditCheckRequest from "http://www.jboss.org/examples/creditAgency";
+import xsd "{http://www.w3.org/2001/XMLSchema}string" as IDType, "{http://www.w3.org/2001/XMLSchema}anyURI" as URITokenType from "http://www.w3.org/2001/XMLSchema";
+protocol PurchaseGoodsProcess {
+	role Buyer, CreditAgency, Store;
+	buy(BuyRequest) from Buyer to Store;
+	checkCredit(CreditCheckRequest) from Store to CreditAgency;
+	choice from CreditAgency to Store {
+		checkCredit(CreditCheckOk):
+			buy(BuyConfirmed) from Store to Buyer;
+
+		checkCredit(CreditCheckInvalid):
+			buy(BuyFailed) from Store to Buyer;
+
+	}
+}