smyalygames/checklist-tester
1
0
Fork 0
mirror of https://github.com/smyalygames/checklist-tester.git synced 2025-05-18 14:34:12 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

feat(dissertation): add VDMJ io flowchart

Browse Source
This commit is contained in:
Anthony Berg 2024-05-15 18:50:38 +01:00
parent 5e03b65a0b
commit e729ac129f
4 changed files with 30 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pub/dissertation/chapters/design.tex
View File

@ -20,9 +20,9 @@ Splitting up the project into multiple components has been useful for
\node (formal) [box, left of=connector] {Formal Method}; \node (formal) [box, left of=connector] {Formal Method};
\node (simulator) [box, below=0.75cm of plugin] {Flight Simulator}; \node (simulator) [box, below=0.75cm of plugin] {Flight Simulator};
\draw [arrow] (formal) -- (connector); \draw [<->, arrow] (formal) -- (connector);
\draw [arrow] (plugin) -- (connector); \draw [<->, arrow] (plugin) -- (connector);
\draw [arrow] (plugin) -- (simulator); \draw [<->, arrow] (plugin) -- (simulator);
\end{tikzpicture} \end{tikzpicture}
\label{fig:abstract} \label{fig:abstract}
\caption{Abstract layout of components} \caption{Abstract layout of components}
@ -304,14 +304,30 @@ Brief overview of what it is supposed to do... % TODO
\end{itemize} \end{itemize}
\end{itemize} \end{itemize}
\begin{listing} \begin{figure}
\inputminted[ \begin{tikzpicture}[node distance=2cm, align=center]
linenos, \node (write) [box] {Run VDM command};
breaklines, \node (buffWrite) [box, below of=write] {BufferedWriter};
]{kotlin}{code/vdmj-interact.kt} \node (outputStream) [box, below of=buffWrite] {Encode to byte};
\caption[VDMJ IO Stream]{Snippet of controlling VDMJ interactive mode Input/Output streams} \node (pOutputStream) [box, below of=outputStream] {PipedOutputStream};
\node (pInputStream) [box, right of=pOutputStream, xshift=3cm] {PipedInputStream};
\node (inputStream) [box, above of=pInputStream] {Decode to charset};
\node (buffRead) [box, above of=inputStream] {BufferedReader};
\node (vdmj) [box, above of=buffRead] {Read by VDMJ};
\draw[->, arrow] (write) -- (buffWrite);
\draw[->, arrow] (buffWrite) -- (outputStream);
\draw[->, arrow] (outputStream) -- (pOutputStream);
\draw[<->, arrow] (pOutputStream) -- (pInputStream);
\draw[->, arrow] (pInputStream) -- (inputStream);
\draw[->, arrow] (inputStream) -- (buffRead);
\draw[->, arrow] (buffRead) -- (vdmj);
\end{tikzpicture}
\centering
\caption[VDMJ IO Stream]{Flowchart of VDMJ Input/Output Stream handling}
\label{list:vdmj-io} \label{list:vdmj-io}
\end{listing} \end{figure}
\subsubsection{Handling VDMJ Outputs} \subsubsection{Handling VDMJ Outputs}
\begin{itemize} \begin{itemize}

BIN
pub/dissertation/dissertation.pdf
View File

Binary file not shown.

2
pub/dissertation/dissertation.sum
View File

@ -1 +1 @@
2634 2627

4
pub/dissertation/dissertation.tex
View File

@ -46,8 +46,8 @@
\usepackage{tikz} \usepackage{tikz}
\usetikzlibrary{shapes.geometric, arrows, positioning, er} \usetikzlibrary{shapes.geometric, arrows, positioning, er}
\tikzstyle{box} = [rectangle, minimum width=3cm, minimum height=1cm, text centered, text width=3cm, draw=black] \tikzstyle{box} = [rectangle, rounded corners, minimum width=3cm, minimum height=1cm, text centered, text width=3cm, draw=black]
\tikzstyle{arrow} = [thick,<->,>=stealth] \tikzstyle{arrow} = [thick,>=stealth]
% Tables % Tables
\usepackage{xltabular} \usepackage{xltabular}