Slides/langs.sty
author Chengsong
Fri, 30 Dec 2022 17:37:51 +0000
changeset 639 80cc6dc4c98b
parent 201 2585e2a7a7ab
permissions -rw-r--r--
until chap 7

\usepackage{listings}
\usepackage{etoolbox}
\setmonofont[Scale=.95]{Consolas}
\newfontfamily{\consolas}{Consolas}

\definecolor{codered}{rgb}{0.6,0,0}            % for strings
\definecolor{codegreen}{rgb}{0.25,0.5,0.35}    % comments
\definecolor{codepurple}{rgb}{0.5,0,0.35}      % keywords
\definecolor{codedocblue}{rgb}{0.25,0.35,0.75} % doc
\definecolor{codeblue}{rgb}{0.25,0.35,0.75}    % types

\BeforeBeginEnvironment{lstlisting}{\par\noindent\begin{minipage}{\linewidth}}
\AfterEndEnvironment{lstlisting}{\end{minipage}\par}

\lstdefinelanguage{Scala}{
  morekeywords={abstract,case,catch,class,def,%
    do,else,extends,false,final,finally,%
    for,if,implicit,import,match,mixin,%
    new,null,object,override,package,%
    private,protected,requires,return,sealed,%
    super,this,throw,trait,true,try,%
    type,val,var,while,with,yield,write,read},%
  otherkeywords={=>,<-,<\%,<:,>:,\#},%
  sensitive=true,%
  %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},%
  %moredelim=*[directive]:,%
  morecomment=[l]{//},%
  morecomment=[n]{/*}{*/},
  morestring=[s]{"""}{"""},
  morestring=[b]",
  morestring=[b]',
}[keywords,comments,strings]

\lstdefinelanguage{While}{
  morekeywords={if,then,else,while,do,true,false,write,upto,read,for,skip},
  morecomment=[l]{//},
  morecomment=[n]{/*}{*/},
  morestring=[b]",
  otherkeywords={=,!=,:=,<,>,\%;*,/},
}[keywords,comments,strings]

\lstdefinestyle{mystyle}
       {basicstyle=\ttfamily,
	keywordstyle=\color{codepurple}\bfseries,
	stringstyle=\color{codegreen},
	commentstyle=\color{codegreen},
	morecomment=[s][\color{codedocblue}]{/**}{*/},
	numbers=left,
	numberstyle=\tiny\color{black},
	stepnumber=1,
	numbersep=10pt,
	tabsize=2,
	showspaces=false,
	showstringspaces=false,
        xleftmargin=8mm,
        emphstyle=\color{codeblue}\bfseries,
        keepspaces
}

\lstset{language=Scala,
        style=mystyle}


\newcommand{\code}[1]{{\lstinline{#1}}}
\newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}
\newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}}
\makeatother

\lstset{escapeinside={(*@}{@*)}}



\newcommand\grid[1]{%
\begin{tikzpicture}[baseline=(char.base)]
  \path[use as bounding box]
    (0,0) rectangle (1em,1em);
  \draw[red!50, fill=red!20]
    (0,0) rectangle (1em,1em);
  \node[inner sep=1pt,anchor=base west]
    (char) at (0em,\gridraiseamount) {#1};
\end{tikzpicture}}
\newcommand\gridraiseamount{0.12em}

\makeatletter
\newcommand\Grid[1]{%
  \@tfor\z:=#1\do{\grid{\z}}}
\makeatother    

\newcommand\Vspace[1][.3em]{%
  \mbox{\kern.06em\vrule height.3ex}%
  \vbox{\hrule width#1}%
  \hbox{\vrule height.3ex}}

\def\VS{\Vspace[0.6em]}