Changeset 434


Ignore:
Timestamp:
Dec 15, 2010, 7:50:44 PM (9 years ago)
Author:
mulligan
Message:

Types added.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Report/report.tex

    r433 r434  
    363363Pseudocode is provided in Figure~\ref{fig.labelled.execution}.
    364364
    365 The types of the functions mentioned in the pseudocode of Figures~\ref{fig.unlabelled.execution} and~\ref{fig.labelled.execution} are as follows:
    366 \begin{center}
    367 \begin{tabular*}{0.9\textwidth}{p{4cm}p{5cm}}
     365The (simplified) types of the functions mentioned in the pseudocode of Figures~\ref{fig.unlabelled.execution} and~\ref{fig.labelled.execution} are as follows:
     366\small{
     367\begin{center}
     368\begin{tabular*}{0.95\textwidth}{p{3cm}p{12cm}}
    368369Title & Type \\
    369370\hline
    370 \texttt{process\_intel\_hex} & \\
    371 \texttt{load\_mem} & \\
     371\texttt{process\_intel\_hex} & \texttt{intel\_hex\_entry list -> byte map} \\
     372\texttt{load\_mem} & \texttt{byte map -> status -> status} \\
    372373\texttt{initialize} & \texttt{status} \\
    373 \texttt{fetch} & \\
    374 \texttt{execute} & \\
    375 \texttt{assembly} & \\
     374\texttt{fetch} & \texttt{status -> byte map -> byte map.key -> instruction} \\
     375\texttt{execute} & \texttt{(status -> unit) -> status -> status} \\
     376\texttt{assembly} & \texttt{labelled\_instruction list -> byte list * label map * cost map} \\
    376377\texttt{callback} & \texttt{status -> unit}
    377378\end{tabular*}
    378 \end{center}
     379\end{center}}
    379380
    380381\subsection{Validation}
Note: See TracChangeset for help on using the changeset viewer.