Changeset 434 for Deliverables/D4.1/Report/report.tex

Timestamp:

Dec 15, 2010, 7:50:44 PM (10 years ago)

Author:

mulligan

Message:

Types added.

File:

• Deliverables/D4.1/Report/report.tex (modified) (1 diff)

Deliverables/D4.1/Report/report.tex

@@ -363 +363 @@
 Pseudocode is provided in Figure~\ref{fig.labelled.execution}.
 
-The types of the functions mentioned in the pseudocode of Figures~\ref{fig.unlabelled.execution} and~\ref{fig.labelled.execution} are as follows:
-\begin{center}
-\begin{tabular*}{0.9\textwidth}{p{4cm}p{5cm}}
+The (simplified) types of the functions mentioned in the pseudocode of Figures~\ref{fig.unlabelled.execution} and~\ref{fig.labelled.execution} are as follows:
+\small{
+\begin{center}
+\begin{tabular*}{0.95\textwidth}{p{3cm}p{12cm}}
 Title & Type \\
 \hline
-\texttt{process\_intel\_hex} & \\
-\texttt{load\_mem} & \\
+\texttt{process\_intel\_hex} & \texttt{intel\_hex\_entry list -> byte map} \\
+\texttt{load\_mem} & \texttt{byte map -> status -> status} \\
 \texttt{initialize} & \texttt{status} \\
-\texttt{fetch} & \\
-\texttt{execute} & \\
-\texttt{assembly} & \\
+\texttt{fetch} & \texttt{status -> byte map -> byte map.key -> instruction} \\
+\texttt{execute} & \texttt{(status -> unit) -> status -> status} \\
+\texttt{assembly} & \texttt{labelled\_instruction list -> byte list * label map * cost map} \\
 \texttt{callback} & \texttt{status -> unit}
 \end{tabular*}
-\end{center}
+\end{center}}
 
 \subsection{Validation}