From: Mart Lubbers Date: Mon, 3 Jul 2017 15:11:11 +0000 (+0200) Subject: make chktex stop complaining X-Git-Tag: hand-in~7 X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=77b630adad9fc12ad2c6904dc190d8d1cee2c950;p=msc-thesis1617.git make chktex stop complaining --- diff --git a/.chktexrc b/.chktexrc index 91bb817..bf510db 100644 --- a/.chktexrc +++ b/.chktexrc @@ -1,6 +1,7 @@ VerbEnvir { lstlisting algorithm } WipeArg { \CI:{} + \lstinline:{} \texttt:{} \url:{} } diff --git a/arch.communication.tex b/arch.communication.tex index 2472ab7..56cab7c 100644 --- a/arch.communication.tex +++ b/arch.communication.tex @@ -189,12 +189,12 @@ interface is shown in Figure~\ref{lst:manage}. The left sidebar of the interface shows the list of example \glspl{Task} that are present in the system. When clicking a \gls{Task}, a dialog opens in which a device can be selected to send the \gls{Task} to. The dialog might contain user specified -variables. All example \gls{mTask}-\glspl{Task} are of the type \CI{Task (Main -(ByteCode () Stmt))} and can thus ask for user input first if needed for -parameterized \gls{mTask}-\glspl{Task}. The bottom panel shows the device -information. In this panel, the devices can be created and modified. Moreover, -this panel allows the user to reconnect with a device after a restart of the -server application. +variables. All example \gls{mTask}-\glspl{Task} are of the type +\CI{Task (Main (ByteCode () Stmt))} and can thus ask for user input first if +needed for parameterized \gls{mTask}-\glspl{Task}. The bottom panel shows the +device information. In this panel, the devices can be created and modified. +Moreover, this panel allows the user to reconnect with a device after a restart +of the server application. \begin{figure}[H] \centering diff --git a/arch.devices.tex b/arch.devices.tex index 20d0621..84e1e03 100644 --- a/arch.devices.tex +++ b/arch.devices.tex @@ -40,7 +40,7 @@ only took about an hour. client has been made for the \texttt{ESP8266} powered \emph{NodeMCU} that is connected via \gls{TCP} over WiFi. A port also has been made for the regular \gls{Arduino} \emph{Uno} board which only boasts a - meager \emph{2KB} RAM. The stack size and storage available for + meager \emph{2KB} RAM. The stack size and storage available % chktex 13 devices boasting this little RAM has to be smaller than default but are still suitable to hold a hand full of \glspl{Task}. \end{itemize} diff --git a/mtaskext.bytecode.tex b/mtaskext.bytecode.tex index 33f5f70..fd5feee 100644 --- a/mtaskext.bytecode.tex +++ b/mtaskext.bytecode.tex @@ -218,15 +218,15 @@ addSDS sds v s = {s & sdss=[{sds & sdsval=BCValue v}:s.sdss]} \end{lstlisting} All assignable types compile to an \gls{RWST} which writes the specific fetch -instruction(s). For example, using an \gls{SDS} always results in an -expression of the form \CI{sds \x=4 In ...}. The actual \CI{x} is the +instruction(s). For example, using an \gls{SDS} always results in % chktex 36 +an expression of the form \CI{sds \x=4 In ...}. The actual \CI{x} is the \gls{RWST} that always writes one \CI{BCSdsFetch} instruction with the correctly embedded \gls{SDS}. Assigning to an analog pin will result in the \gls{RWST} containing the \CI{BCAnalogRead} instruction. When the operation on the assignable is not a read operation from but an assign operation, the -instruction(s) will be rewritten accordingly. This results in a \CI{BCSdsStore} -or \CI{BCAnalogWrite} instruction respectively. The implementation for this is -given in Listing~\ref{lst:assignmentview}. +instruction(s) will be rewritten accordingly. This results in a %chktex 36 +\CI{BCSdsStore} or \CI{BCAnalogWrite} instruction respectively. The +implementation for this is given in Listing~\ref{lst:assignmentview}. \begin{lstlisting}[label={lst:assignmentview},% caption={Bytecode view implementation for assignment.}]