land b1_5 onto HEAD

[fs/lustre-release.git] / lustre / mdc / doc / dld.lyx

diff --git a/lustre/mdc/doc/dld.lyx b/lustre/mdc/doc/dld.lyx
deleted file mode 100644 (file)
index 9dea13b..0000000
--- a/lustre/mdc/doc/dld.lyx
+++ /dev/null
@@ -1,343 +0,0 @@
-#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