|
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
2 % spindle2 specific latex macros |
|
3 % 2006/08/10 |
|
4 |
|
5 %% Requirements |
|
6 |
|
7 \newcommand{\refreq}[1]{Requirement~\ref{#1}} |
|
8 |
|
9 \newtheorem{reqBlock}{REQ}[section] |
|
10 |
|
11 \newcommand{\reqlabel}[1]{\mbox{\textsc{#1:}}\hfil} |
|
12 \newenvironment{reqlist}[1]{% |
|
13 \begin{list}{}{% |
|
14 \renewcommand{\makelabel}{\reqlabel}% |
|
15 \settowidth{\labelwidth}{\mbox{\textsc{#1:}}}% |
|
16 \setlength{\leftmargin}{\labelwidth+\labelsep}% |
|
17 }\itemsep=0pt\parsep=0pt\parskip=0pt}{% |
|
18 \end{list}% |
|
19 } |
|
20 \newcommand{\req}[2]{% |
|
21 \begin{reqBlock} |
|
22 #1% |
|
23 \ifx#2\empty\else% |
|
24 \begin{reqlist}{Description} |
|
25 #2 |
|
26 \end{reqlist} |
|
27 \fi |
|
28 \end{reqBlock} |
|
29 } |
|
30 \newcommand{\reqSrc}{\item[Source]} |
|
31 \newcommand{\reqQuote}{\item[Quote]} |
|
32 \newcommand{\reqYear}{\item[Year]} |
|
33 \newcommand{\reqWhen}{\item[When]} |
|
34 |
|
35 \newcommand{\phase}[1]{\textbf{$\mathbf{[}$\textsc{Phase #1}$\mathbf{]}$}} |
|
36 |
|
37 % Macros for interface message/primitive definitions. Originally from |
|
38 % ADROIT, fixed by clivadas |
|
39 |
|
40 \newcommand{\metlabel}[1]{\mbox{\textsc{#1}}\hfill} |
|
41 \newcommand{\metP}{\item[Parameters]} |
|
42 \newcommand{\metD}{\item[Description]} |
|
43 \newcommand{\metM}{\item[DTN2 $\Delta$]} |
|
44 \newcommand{\metR}{\item[Related]} |
|
45 |
|
46 \newcommand{\method}[2]{% |
|
47 \noindent |
|
48 \textbf{#1} |
|
49 \begin{list}{}% |
|
50 {\renewcommand{\makelabel}{\metlabel}% |
|
51 \settowidth{\labelwidth}{\mbox{\textsc{OutputXXXXX}}}% |
|
52 \setlength{\leftmargin}{\labelwidth}% |
|
53 \addtolength{\leftmargin}{\labelsep}% |
|
54 } |
|
55 #2 |
|
56 \end{list} |
|
57 \vspace{0.15in} |
|
58 } |