Began adding examples to lvspec doc
parent
9a2e461058
commit
87c347f622
Binary file not shown.
After Width: | Height: | Size: 75 KiB |
Binary file not shown.
After Width: | Height: | Size: 64 KiB |
150
lvspec.tex
150
lvspec.tex
|
@ -14,7 +14,6 @@
|
|||
\makeatother
|
||||
|
||||
\begin{document}
|
||||
|
||||
\title{LoVullo Specification Specifications}
|
||||
\author{Mike Gerwitz}
|
||||
\abstract{%
|
||||
|
@ -78,4 +77,153 @@
|
|||
}
|
||||
\maketitle
|
||||
|
||||
\begindeptgroup{it}
|
||||
|
||||
\chapter{Oh, Hello}
|
||||
\incomplete
|
||||
\todo{There's no specification yet; in due time.}
|
||||
\bigskip
|
||||
|
||||
\begin{center}
|
||||
\includegraphics[scale=0.5]{images/spec-design.png}
|
||||
\end{center}
|
||||
|
||||
|
||||
\chapter{Creating Specifications with \LaTeX}
|
||||
This chapter is an example of an implementation of the specifications and is
|
||||
useful as an API reference, but \shallnot be used in place of formal
|
||||
specifications with regards to implementation.
|
||||
|
||||
Using the {\tt dwspec} document class with enable paragraph numbering; {\tt
|
||||
draft} mode will enable signature lines, as shown to the right.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
% omit "[draft]" to disable unapproved signature lines
|
||||
\documentclass[draft]{lvspec}
|
||||
|
||||
% as is the case with all LaTeX documents, begin and end with document
|
||||
% environment
|
||||
\begin{document}
|
||||
% ...content here...
|
||||
\end{document}
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
Example environments, as shown above, can be created with the {\tt ex}
|
||||
environment. All examples end with `$\square$'.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
\begin{ex}
|
||||
% ...example here...
|
||||
\end{ex}
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
|
||||
\section{Paragraph Numbering}
|
||||
Paragraph numbering can be temporarily disabled using \verb|\pnumoff| and
|
||||
re-enabled using \verb|pnumon|\ldots
|
||||
|
||||
\pnumoff
|
||||
\ldots as shown here.
|
||||
|
||||
\pnumon
|
||||
Numbers will continue where they previously left off before being suppressed.
|
||||
|
||||
Disabling paragraph numbering also disables the signature line
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
Paragraph numbering can be temporarily disabled using \verb|\pnumoff| and
|
||||
re-enabled using \verb|pnumon|\ldots
|
||||
|
||||
\pnumoff
|
||||
\ldots as shown here.
|
||||
|
||||
\pnumon
|
||||
Numbers will continue where they previously left off before being suppressed.
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
|
||||
\section{Signature Lines}
|
||||
The department for the entire section can be set using the
|
||||
\verb|\sectiondept| command; the command takes effect until the next section
|
||||
or chapter.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
\section{Signature Lines}
|
||||
\sectiondept{it}
|
||||
The department for the entire section can be set using the
|
||||
\verb|\sectiondept| command; the command takes effect until the next section
|
||||
or chapter.
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
\dept{pm}
|
||||
The department can be set per-paragraph using the \verb|\dept| command, as
|
||||
demonstrated in this paragraph; the command will override any
|
||||
\verb|\sectiondept| command temporarily and will undo itself after the paragraph
|
||||
ends.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
\dept{pm}
|
||||
The department can be set per-paragraph using the \verb|\dept| command, as
|
||||
demonstrated in this paragraph; the command will override any
|
||||
\verb|\sectiondept| command temporarily and will undo itself after the paragraph
|
||||
ends.
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
\dept{it}
|
||||
An arbitrary group of paragraphs may have their section set using
|
||||
\verb|\begindeptgroup| and \verb|\enddeptgroup|; they are \emph{not} reset by
|
||||
sections. They may be nested.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
\begindeptgroup{it}
|
||||
% group: it
|
||||
\begindeptgroup{pm}
|
||||
% group: pm
|
||||
\enddeptgroup
|
||||
% group: it
|
||||
\enddeptgroup
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
Clicking on the department in the signature line will take you to the
|
||||
^[authorization parties] section of the definitions (in this document,
|
||||
\sref{authorize}).
|
||||
|
||||
\subsection{Incomplete}
|
||||
\incomplete
|
||||
If a paragraph is incomplete and not yet ready for authorization, use
|
||||
\verb|\incomplete|.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
\incomplete
|
||||
If a paragraph is incomplete and not yet ready for authorization, use
|
||||
\verb|\incomplete|.
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
\incompletei
|
||||
If a paragraph is incomplete because more information is needed, then use the
|
||||
command \verb|\incompletei|, which also includes the name of the department.
|
||||
|
||||
\begin{ex}
|
||||
\begin{verbatim}
|
||||
\incompletei
|
||||
If a paragraph is incomplete because more information is needed, then use the
|
||||
command \verb|\incompletei|, which also includes the name of the department.
|
||||
\end{verbatim}
|
||||
\end{ex}
|
||||
|
||||
\enddeptgroup
|
||||
\end{document}
|
||||
|
|
Loading…
Reference in New Issue