From: alex Date: Tue, 22 Feb 2005 19:28:49 +0000 (+0000) Subject: - commit from zzeng X-Git-Tag: v1_7_100~1615 X-Git-Url: https://git.whamcloud.com/?p=fs%2Flustre-release.git;a=commitdiff_plain;h=57ac16382bb2ff24ec1a9014a5eba7b584bfbf18 - commit from zzeng --- diff --git a/lustre/ldlm/doc/dld.lyx b/lustre/ldlm/doc/dld.lyx new file mode 100644 index 0000000..0eccf29 --- /dev/null +++ b/lustre/ldlm/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../ldlm/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/liblustre/doc/dld.lyx b/lustre/liblustre/doc/dld.lyx new file mode 100644 index 0000000..5b24f00 --- /dev/null +++ b/lustre/liblustre/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../liblustre/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/llite/doc/dld.lyx b/lustre/llite/doc/dld.lyx new file mode 100644 index 0000000..1420196 --- /dev/null +++ b/lustre/llite/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../llite/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/lmv/doc/dld.lyx b/lustre/lmv/doc/dld.lyx new file mode 100644 index 0000000..e279246 --- /dev/null +++ b/lustre/lmv/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../lmv/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/lov/doc/dld.lyx b/lustre/lov/doc/dld.lyx new file mode 100644 index 0000000..68bc0ab --- /dev/null +++ b/lustre/lov/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../lov/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/lvfs/doc/dld.lyx b/lustre/lvfs/doc/dld.lyx new file mode 100644 index 0000000..2fe9493 --- /dev/null +++ b/lustre/lvfs/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../lvfs/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/mdc/doc/dld.lyx b/lustre/mdc/doc/dld.lyx new file mode 100644 index 0000000..9dea13b --- /dev/null +++ b/lustre/mdc/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../mdc/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/mds/doc/dld.lyx b/lustre/mds/doc/dld.lyx new file mode 100644 index 0000000..61991b7 --- /dev/null +++ b/lustre/mds/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../cmobd/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/obdclass/doc/dld.lyx b/lustre/obdclass/doc/dld.lyx new file mode 100644 index 0000000..64ff1fa --- /dev/null +++ b/lustre/obdclass/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../obdclass/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/obdecho/doc/dld.lyx b/lustre/obdecho/doc/dld.lyx new file mode 100644 index 0000000..cc82832 --- /dev/null +++ b/lustre/obdecho/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../obdecho/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/obdfilter/doc/dld.lyx b/lustre/obdfilter/doc/dld.lyx new file mode 100644 index 0000000..630c25c --- /dev/null +++ b/lustre/obdfilter/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../obdfilter/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/osc/doc/dld.lyx b/lustre/osc/doc/dld.lyx new file mode 100644 index 0000000..d000d20 --- /dev/null +++ b/lustre/osc/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specials +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../cmobd/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/ost/doc/dld.lyx b/lustre/ost/doc/dld.lyx new file mode 100644 index 0000000..c98923f --- /dev/null +++ b/lustre/ost/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Collapsed + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Collapsed + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../ost/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/ptlrpc/doc/dld.lyx b/lustre/ptlrpc/doc/dld.lyx new file mode 100644 index 0000000..29f1a9d --- /dev/null +++ b/lustre/ptlrpc/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../ptlrpc/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end diff --git a/lustre/utils/doc/dld.lyx b/lustre/utils/doc/dld.lyx new file mode 100644 index 0000000..dab6c87 --- /dev/null +++ b/lustre/utils/doc/dld.lyx @@ -0,0 +1,343 @@ +#LyX 1.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 221 +\textclass book +\begin_preamble +\usepackage{listings} +\usepackage{color} +\usepackage{courier} + +%\usepackage{pt} +%\usepackage{units} +\usepackage{coz} + +%\usepackage{epsf} +%\usepackage{lncsexample} +%\conttrue +%\usepackage{times} +%\usepackage{top} +%\usepackage{graphicx} +\newcommand{\lst}[2] { + \noindent\rule[-0.3mm]{\textwidth}{0.3mm}\vspace{-0.3mm} + \lstinputlisting[caption={#2}, + label={#1}, + showstringspaces=false, + numbers=left, + stepnumber=1, + frame=bottomline, + extendedchars=true, + basicstyle=\small\tt, + numberstyle=\tiny, + keywordstyle=\color{red}, + language=C, + emph={1, 2, 3, 4, 5, 6, 7, 8, 9, 0, NULL, lustre, CFS}, + emphstyle=\color{blue}, + breaklines=true]{#1} + \vspace{0.3mm} +} +\end_preamble +\language english +\inputencoding auto +\fontscheme default +\graphics default +\paperfontsize default +\spacing single +\papersize Default +\paperpackage a4 +\use_geometry 0 +\use_amsmath 0 +\use_natbib 0 +\use_numerical_citations 0 +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\quotes_times 2 +\papercolumns 1 +\papersides 1 +\paperpagestyle default + +\layout Section + +Object API +\layout Paragraph + +In this section, we will describe the funnctional specials, logic specials, + the state machine and case: +\layout Subsection + +Functional Specification +\layout Subsubsection + +CREATE +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{Create} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsubsection + +REQUEST +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{class}{request} +\newline + +\backslash +begin{sidebyside} +\newline + +\backslash +begin{op}{Attribution} +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~~XXX +\backslash + +\backslash + +\newline +~~~ +\backslash + +\backslash + +\newline + +\backslash +end{op} +\newline + +\backslash +begin{init} +\newline +Some~Entry~Criterias +\newline + +\backslash +end{init} +\newline + +\backslash +nextside +\newline + +\backslash +begin{op}{Creator} +\newline + Name:~~Peter +\backslash + +\backslash + +\newline + Date:~~~01/06/2005 +\backslash + +\backslash + +\newline + Language:~C +\newline + +\backslash +end{op} +\newline + +\backslash +end{sidebyside} +\newline + +\backslash +zbreak +\newline +Write something here +\backslash + +\backslash + +\newline +Write something here +\newline + +\backslash +end{class} +\end_inset + + +\layout Subsection + +Use cases +\layout Subsubsection + +Case 1 +\layout Subsubsection + +Case 2 +\layout Paragraph + +...... +\layout Subsection + +Testability +\layout Subsection + +Logic specification +\layout Subsubsection + +OSC_CREATE +\layout Standard + +Example of Pseudocode +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +lst{../../utils/doc/dld_pseudo.c}{Pseudocode of dld pseudo.c} +\end_inset + + +\layout Subsubsection + +OSC_REQUEST +\layout Subsection + +State +\layout Standard + + +\begin_inset ERT +status Open + +\layout Standard + +\backslash +begin{lstlisting}[frame = single] +\layout Standard +Some states definition and the relationships between them. +\layout Standard + +\backslash +end{lstlisting} +\end_inset + + +\layout Subsection + +Recovery +\layout Subsection + +Protocol +\the_end