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

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; + + } +}