Commit 107e0763 authored by Steffen Michels's avatar Steffen Michels
Browse files

added dummy implementation of SDS change notification classes to make iTask compile with new API

git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/trunk@2071 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent be420224
definition module IWorld
from FilePath import :: FilePath
from Map import :: Map
from Maybe import :: Maybe
from SystemTypes import :: DateTime, :: User, :: Config, :: InstanceNo, :: TaskNo, :: TaskId, :: TaskListItem, :: ParallelTaskType, :: TaskTime
from Time import :: Timestamp
from TaskState import :: TaskListEntry
from JSON_NG import :: JSONNode
from FilePath import :: FilePath
from Map import :: Map
from Maybe import :: Maybe
from SystemTypes import :: DateTime, :: User, :: Config, :: InstanceNo, :: TaskNo, :: TaskId, :: TaskListItem, :: ParallelTaskType, :: TaskTime
from Time import :: Timestamp
from TaskState import :: TaskListEntry
from JSON_NG import :: JSONNode
from SharedDataSource import class registerSDSMsg, class reportSDSChange, class reportSDSChangeFilter
:: *IWorld = { application :: !String // The name of the application
, build :: !String // The date/time identifier of the application's build
......@@ -26,3 +27,9 @@ from JSON_NG import :: JSONNode
, outdated :: !Bool // Flag that is set when an internal inconsistenty is detected
, world :: !*World // The outside world
}
:: ITaskMsg :== Int
instance registerSDSMsg ITaskMsg IWorld
instance reportSDSChange IWorld
instance reportSDSChangeFilter ITaskMsg IWorld
\ No newline at end of file
......@@ -6,4 +6,17 @@ from Maybe import :: Maybe
from SystemTypes import :: DateTime, :: User, :: Config, :: InstanceNo, :: TaskNo, :: TaskId, :: TaskListItem, :: ParallelTaskType, :: TaskTime
from Time import :: Timestamp
from TaskState import :: TaskListEntry
from JSON_NG import :: JSONNode
\ No newline at end of file
from JSON_NG import :: JSONNode
from SharedDataSource import class registerSDSMsg, class reportSDSChange, class reportSDSChangeFilter
instance registerSDSMsg ITaskMsg IWorld
where
registerSDSMsg _ _ iworld = iworld
instance reportSDSChange IWorld
where
reportSDSChange _ iworld = iworld
instance reportSDSChangeFilter ITaskMsg IWorld
where
reportSDSChangeFilter _ _ iworld = iworld
\ 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