summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/structview/structview.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/structview/structview.sty')
-rw-r--r--Master/texmf-dist/tex/latex/stex/structview/structview.sty89
1 files changed, 89 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/structview/structview.sty b/Master/texmf-dist/tex/latex/stex/structview/structview.sty
new file mode 100644
index 00000000000..d76c3d13599
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/stex/structview/structview.sty
@@ -0,0 +1,89 @@
+%%
+%% This is file `structview.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% structview.dtx (with options: `package')
+%%
+\NeedsTeXFormat{LaTeX2e}[1999/12/01]
+\ProvidesPackage{structview}[2016/04/06 v0.9 Structures and Views]
+\newif\if@structview@mh@\@structview@mh@false
+\DeclareOption{mh}{\@structview@mh@true
+\PassOptionsToPackage{\CurrentOption}{modules}}
+\DeclareOption*{\PassOptionsToPackage{\CurrentOption}{modules}}
+\ProcessOptions
+\if@structview@mh@\RequirePackage{structview-mh}\fi
+\RequirePackage{modules}
+\newenvironment{importmodulevia}[2][]{%
+ \gdef\@@doit{\importmodule[#1]{#2}}%
+ \ifmod@show\par\noindent importing module #2 via \@@doit\fi%
+}{%
+ \aftergroup\@@doit\ifmod@show end import\fi%
+}%
+\newrobustcmd\vassign[3][]{\ifmod@show\ensuremath{#2\mapsto #3}, \fi}%
+\newrobustcmd\tassign[3][]{\ifmod@show #2\ensuremath{\mapsto} #3, \fi}%
+\newrobustcmd\fassign[4][]{\ifmod@show \ensuremath{#3\mapsto #4}, \fi}%
+\newrobustcmd\ttassign[3][]{\ifmod@show #2\ensuremath{\mapsto} ``#3'', \fi}%
+\srefaddidkey{view}
+\addmetakey*{view}{title}
+\addmetakey{view}{display}
+\addmetakey{view}{from}
+\addmetakey{view}{to}
+\addmetakey{view}{creators}
+\addmetakey{view}{contributors}
+\addmetakey{view}{srccite}
+\addmetakey{view}{type}
+\addmetakey[sms]{view}{ext}
+\newcounter{view}[section]
+\newrobustcmd\view@heading[4]{%
+ \if@importing%
+ \else%
+ \stepcounter{view}%
+ \edef\@display{#3}\edef\@title{#4}%
+ \noindent%
+ \ifx\@display\st@flow%
+ \else%
+ {\textbf{View} {\thesection.\theview} from \textsf{#1} to \textsf{#2}}%
+ \sref@label@id{View \thesection.\theview}%
+ \ifx\@title\@empty%
+ \quad%
+ \else%
+ \quad(\@title)%
+ \fi%
+ \par\noindent%
+ \fi%
+ \ignorespaces%
+ \fi%
+}%ifmod@show
+\newenvironment{view}[3][]{%
+ \metasetkeys{view}{#1}%
+ \sref@target%
+ \begin{@view}{#2}{#3}%
+ \view@heading{#2}{#3}{\view@display}{\view@title}%
+}{%
+ \end{@view}%
+ \ignorespaces%
+}%
+\ifmod@show\surroundwithmdframed{view}\fi%
+\newenvironment{@view}[2]{%from, to
+ \@importmodule[\view@from]{#1}{\view@ext}%
+ \@importmodule[\view@to]{#2}{\view@ext}%
+}{}%
+\newenvironment{viewsketch}[3][]{%
+ \metasetkeys{view}{#1}%
+ \sref@target%
+ \begin{@view}{#2}{#3}%
+ \view@heading{#2}{#3}{\view@display}{\view@title}%
+}{%
+ \end{@view}%
+}%
+\ifmod@show\surroundwithmdframed{viewsketch}\fi%
+\newrobustcmd\obligation[3][]{%
+ \if@importing%
+ \else Axiom #2 is proven by \sref{#3}%
+ \fi%
+}%
+\endinput
+%%
+%% End of file `structview.sty'.