Mercurial > hg > ltpda

comparison testing/utp_1.1/report/include/macros.tex @ 44:409a22968d5e default

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add unit tests
author Daniele Nicolodi <nicolodi@science.unitn.it>
date Tue, 06 Dec 2011 18:42:11 +0100
parents
children
comparison
equal deleted inserted replaced
43:bc767aaa99a8 44:409a22968d5e
1 \newcommand{\martin}[1]{\textcolor{blue}{\textit{Martin: #1}}}
2 \newcommand{\anneke}[1]{\textcolor{red}{\textit{Anneke: #1}}}
3
4 \newcommand{\etc}{\textit{etc}}
5 \newcommand{\ie}{\textit{i.e.}}
6 \newcommand{\da}{\textsc{LTPDA}}
7 \newcommand{\code}[1]{\texttt{#1}}
8 \newcommand{\tbd}[0]{\textcolor{red}{TBD}}
9 \newcommand{\ltpda}[0]{\textsc{LTPDA}}
10
11 \newcommand{\q}[1]{\lq #1'}
12
13 \newenvironment{Ventry}[1]%
14 {\begin{list}{}%
15 {\renewcommand{\makelabel}[1]{\textbf{##1:}\hfil}%
16 \settowidth{\labelwidth}{\textbf{#1:}}%
17 \setlength{\leftmargin}{\labelwidth+\labelsep}%
18 }%
19 }
20 {\end{list}}
21
22 \newenvironment{flist}[1]%
23 {\begin{list}{}%
24 {\renewcommand{\makelabel}[1]{\texttt{##1:}\hfil}%
25 \settowidth{\labelwidth}{\texttt{#1:}}%
26 \setlength{\leftmargin}{\labelwidth+\labelsep}%
27 }%
28 }
29 {\end{list}}
30
31 % UTP
32 \newcounter{utpscount}
33 \setcounter{utpscount}{1}
34 \newcommand{\utps}[2]{\noindent\textbf{\\UTP\_S\hspace{-0.13cm}\padzeroes[3]\decimal{utpscount}}\hspace{0.3cm}\stepcounter{utpscount}%
35 \parbox[t]{12cm}{#1}\\\medskip\parbox[t]{12cm}{#2}}
36
37 % Algorithmic UTP
38 \newcounter{utpacount}
39 \setcounter{utpacount}{1}
40 \newcommand{\utpa}[1]{\noindent\textbf{\\UTP\_A\hspace{-0.13cm}\padzeroes[3]\decimal{utpacount}}\hspace{0.3cm}\stepcounter{utpacount}%
41 \parbox[t]{12cm}{#1}\\\medskip}
42
43
44 \newcounter{utpcount}%
45 \setcounter{utpcount}{1}%
46 \newcommand{\utpfcn}{default\_name}
47
48 \newcommand{\utp}[5]{\noindent\vspace{0.3cm}%
49 \begin{tabularx}{\textwidth}{@{}|c|X|p{#1cm}@{}|@{}}%
50 \multicolumn{3}{@{}p{\textwidth}@{}}{\textbf{\utpfcn\_\padzeroes[3]\decimal{utpcount}} \stepcounter{utpcount}} \\
51 \hline
52 \textbf{S} & \textbf{Call} \newline #2 & #3 \\
53 \hline
54 \textbf{A} & \textbf{Check} \newline #4 & #5 \\
55 \hline
56 \end{tabularx}\vspace{0.3cm}}
57
58
59
60
61 \newcounter{stpcount}
62 \setcounter{stpcount}{1}
63 \newcommand{\stp}[1]{\noindent\\\vspace{0.3cm}%
64 \begin{tabular}{|l|p{12cm}|}%
65 \hline
66 \textbf{ST\_\hspace{-0.13cm}\padzeroes[3]\decimal{stpcount}}\stepcounter{stpcount} & #1 \\ \hline
67 \end{tabular}\vspace{0.3cm}}
68
69