diff options
| author |  mikebarnett <unknown> | 2009-07-15 21:03:41 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2009-07-15 21:03:41 +0000 |
| commit | ce1c2de044c91624370411e23acab13b0381949b (patch) | |
| tree | 592539996fe08050ead5ee210c973801611dde40 /Util/latex/chalice.sty | |
Initial set of files.
Diffstat (limited to 'Util/latex/chalice.sty')
| -rw-r--r-- | Util/latex/chalice.sty | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/Util/latex/chalice.sty b/Util/latex/chalice.sty new file mode 100644 index 00000000..f9ba5234 --- /dev/null +++ b/Util/latex/chalice.sty @@ -0,0 +1,63 @@ +\usepackage{listings}
+%\lstloadlanguages{C}
+\lstdefinestyle{chalice}{%
+ numbers=none,
+ firstnumber=0,
+ numberstyle=\tiny,
+ stepnumber=5,
+% basicstyle=\scriptsize\sffamily,%
+% commentstyle=\itshape,%
+% keywordstyle=\bfseries,%
+% ndkeywordstyle=\bfseries,%
+% language=[Sharp]C,
+ morekeywords={%
+ above,acc,acquire,and,assert,assigned,assume,%
+ below,between,bool,%
+ call,class,const,%
+ downgrade,%
+ else,ensures,eval,exists,%
+ false,fold,forall,fork,free,function,%
+ ghost,%
+ holds,%
+ if,in,int,invariant,ite,%
+ join,%
+ lock,lockbottom,lockchange,%
+ maxlock,method,module,%
+ new,nil,null,%
+ old,%
+ predicate,%
+ rd,reorder,release,requires,result,returns,%
+ seq,share,%
+ this,token,true,%
+ unfold,unfolding,unshare,%
+ var,%
+ while},
+ literate=%
+ {=}{{=~}}1%
+ {+=}{{+}{=}~}3%
+ {-=}{{-}{=}~}3%
+ {*=}{{*}{=}~}3%
+ {++}{{+}{+}}2%
+ {--}{{-}{-}}2%
+ {==}{==}2%
+ {<=}{<=}2%
+ {=>}{=>}2%
+ {==>}{==>}3 %
+ {<==>}{<==>}4 %
+%% % {!}{$\lnot$}1% don't do this if ! is also used to indicate non-null types
+ {!=}{!=}2%
+}%
+\lstnewenvironment{chalice}[1][]{%
+ \lstset{style=chalice,
+ floatplacement={tbp},showstringspaces=false,captionpos=b,
+ frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}%
+\lstnewenvironment{chaliceNoLines}[1][]{%
+ \lstset{style=chalice,
+ floatplacement={tbp},showstringspaces=false,captionpos=b,
+ xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}%
+\def\S{%
+ \lstinline[style=chalice,basicstyle=\ttfamily,columns=fixed]}
+\newcommand{\lstfile}[1]{
+ \lstinputlisting[style=chalice,%
+ frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,columns=fixed]{#1}
+}
|