Commit 73e0b4dd authored by Bas Lijnse's avatar Bas Lijnse

Migrated some more examples

git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/branches/fancyTasks@500 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent 1e25e849
......@@ -3,8 +3,9 @@ module AllExamples
import iTasks
//Business examples
import Vote
import Purchase
import TravelBooking
//Miscellaneous examples
import Coffeemachine
......@@ -15,6 +16,8 @@ Start :: *World -> *World
Start world = startEngine workflows world
where
workflows = flatten [ voteExample
, purchaseExample
, travelBookingExample
, coffeemachineExample
, newsgroupsExample
, exceptionHandlingExample
......
definition module Purchase
import iTasks
purchaseExample :: [Workflow]
\ No newline at end of file
module bid
implementation module Purchase
/**
* This module defines a simple workflow to let a number of suppliers
* bid on a potential purchase.
......@@ -27,15 +27,14 @@ derive gUpd Purchase
derive gPrint Purchase
derive gParse Purchase
Start :: *World -> *World
Start world = startEngine [bidFlow] world
bidFlow :: Workflow
bidFlow = { name = "bid"
, label = "Purchase product"
, roles = []
, mainTask = purchaseTask
}
purchaseExample :: [Workflow]
purchaseExample
= [ { name = "Examples/Business/Purchase"
, label = "Purchase product"
, roles = []
, mainTask = purchaseTask
}
]
purchaseTask :: Task Void
purchaseTask =
......
definition module TravelBooking
import iTasks
travelBookingExample :: [Workflow]
\ No newline at end of file
module travel
implementation module TravelBooking
import StdList, iTasks, iDataTrivial
import iTasks, iDataTrivial
// (c) 2007 MJP
......@@ -9,18 +9,16 @@ import StdList, iTasks, iDataTrivial
// One by one the chosen bookings will be handled
// The bill is made up in the end
travelBookingExample :: [Workflow]
travelBookingExample
= [ { name = "Examples/Business/Travel booking/Book a trip"
, label = "Book a trip"
, roles = []
, mainTask = travel
}
]
Start :: *World -> *World
Start world = startEngine [travelFlow] world
travelFlow :: Workflow
travelFlow = { name = "travel"
, label = "travel"
, roles = []
, mainTask = travel
}
travel :: (Task Void)
travel :: Task Void
travel
= [Text "Book your journey:",BrTag [],BrTag []]
?>> seqTasks [ ( "Step 1: Make Bookings:"
......
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment