Commit 012e5e64 authored by László Domoszlai's avatar László Domoszlai

replace HtmlDocument with EventQueue in some cases

git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/trunk@2359 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent 162a3fed
......@@ -2,6 +2,7 @@ definition module SaplHtml
import StdString, Void, Tasklet
:: EventQueue
:: HtmlDocument
:: HtmlObject
......@@ -35,7 +36,7 @@ createEventHandler :: (HtmlEventHandlerFunc a) !TaskInstanceId -> HtmlObject
/*
* Fire own event
*/
fireEvent :: !*HtmlDocument !TaskInstanceId !String a -> *HtmlDocument
fireEvent :: !*EventQueue !TaskInstanceId !String a -> *EventQueue
// Handle interface call on the client. Similar to handleJSEvent
handleInterfaceCall :: !f !TaskInstanceId !arg -> Void
......
......@@ -2,6 +2,7 @@ implementation module SaplHtml
import StdEnv, Void, Tasklet
:: EventQueue :== Void
:: HtmlDocument :== Void
:: HtmlObject :== Void
......@@ -11,8 +12,8 @@ handleJSEvent origHandler iid event = undef
createEventHandler :: (HtmlEventHandlerFunc a) !TaskInstanceId -> HtmlObject
createEventHandler origHandler iid = undef
fireEvent :: !*HtmlDocument !TaskInstanceId !String a -> *HtmlDocument
fireEvent document iid eventName eventValue = undef
fireEvent :: !*EventQueue !TaskInstanceId !String a -> *EventQueue
fireEvent eventqueue iid eventName eventValue = undef
handleInterfaceCall :: !f !TaskInstanceId !arg -> Void
handleInterfaceCall origHandler iid arg = undef
......
......@@ -59,7 +59,7 @@ mkTask :: (TaskletInstance st res) -> Task res | JSONDecode{|*|} res & JSONEncod
* to interact with the Tasklet.
*/
:: InterfaceFun st = E.a: InterfaceFun !String !(st (Maybe Dynamic) *HtmlDocument -> *(!*HtmlDocument, st, a))
:: InterfaceFun st = E.a: InterfaceFun !String !(st (Maybe Dynamic) *EventQueue -> *(!*EventQueue, st, a))
mkInterfaceTask :: (TaskletInstance st res) [InterfaceFun st] -> Task res | JSONDecode{|*|} res & JSONEncode{|*|} res
......
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