many updates, fix everything up to 6.5

[phd-thesis.git] / top / int.tex

diff --git a/top/int.tex b/top/int.tex
index 4017c54..c4911e0 100644 (file)
--- a/top/int.tex
+++ b/top/int.tex
@@ -62,9 +62,7 @@ Internally, the \cleaninline{withDevice} task sets up the communication, exchang
 \begin{lstClean}[label={lst:mtask_device},caption={Device communication interface in \gls{MTASK}.}]
 :: MTDevice //abstract
 :: Channels :== ([MTMessageFro], [MTMessageTo], Bool)
-
 class channelSync a :: a (Shared sds Channels) -> Task () | RWShared sds
-
 withDevice :: a (MTDevice -> Task b)
        -> Task b | iTask b & channelSync, iTask a
 \end{lstClean}
@@ -150,7 +148,7 @@ Then, in parallel:
        \item the upstream \glspl{SDS} are monitored by spawning tasks that watch these \glspl{SDS}, if one is updated, the novel value is sent to the edge device.
 \end{enumerate}
 
-\begin{lstClean}[label={lst:liftmTask_pseudo},caption={Pseudocode implementation for \texttt{liftmTask}.}]
+\begin{lstClean}[float=,label={lst:liftmTask_pseudo},caption={Pseudocode implementation for \texttt{liftmTask}.}]
 liftmTask :: (Main (MTask BCInterpret a)) MTDevice -> Task a | iTask a
 liftmTask task (MTDevice dev sdsupdates channels)
        = freshTaskId dev
@@ -238,8 +236,7 @@ The following section contains an elaborate example using all integration functi
 \newpage
 
 \section{Home automation}
-\todo[inline]{Meer uitleg over de applicatie? lijst ipv strings voor keuze?}
-This section presents an interactive home automation program (\cref{lst:example_home_automation}) to illustrate the integration of the \gls{MTASK} language and the \gls{ITASK} system.
+This section presents an interactive home automation program (\cref{lst:example_home_automation}) to illustrate the integration of the \gls{MTASK} language and the \gls{ITASK} system.\todo{Meer uitleg over de applicatie? lijst ipv strings voor keuze?}
 It consists of a web interface for the user to control which tasks are executed on either one of two connected devices: an \gls{ARDUINO} UNO, connected via a serial port; and an ESP8266 based prototyping board called NodeMCU, connected via \gls{TCP}\slash{}\gls{WIFI}.
 \Crefrange{lst:example:spec1}{lst:example:spec2} show the specification for the devices.
 The UNO is connected via serial using the UNIX filepath \path{/dev/ttyACM0} and the default serial port settings.