Commit ade74256 authored by Bas Lijnse's avatar Bas Lijnse

Added first rough framework for Search and Rescue example

git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/trunk@954 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent 9daa6450
definition module SAR
import iTasks
searchAndRescueExample :: [Workflow]
\ No newline at end of file
implementation module SAR
import iTasks
import CommonDomain
Start :: *World -> *World
Start world = startEngine searchAndRescueExample world
searchAndRescueExample :: [Workflow]
searchAndRescueExample
= [workflow "New Incident" manageIncident
]
:: IncidentNR :== Int
:: Incident =
{ incidentNr :: IncidentNR
, details :: Note
}
:: LogEntry =
{ incident :: IncidentNR
, date :: Date
, time :: Time
, user :: UserName
, message :: Note
}
// Incident management
manageIncident :: Task Void
manageIncident = return Void
// Response decision
// SAR Heli deployment
deploySARHeli :: Task Void
deploySARHeli = return Void
// Logging
addLogEntry :: IncidentNR Note -> Task Void
addLogEntry incident message = return Void
viewLog :: IncidentNR -> Task Void
viewLog incident = return Void
// Databases
\ No newline at end of file
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