Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/proposals/concurrency/style/cfa-format.tex

    r27dde72 ra029714  
    145145}
    146146
     147\lstdefinestyle{cfaStyle}{
     148  escapeinside={@@},
     149  basicstyle=\linespread{0.9}\tt\footnotesize,          % reduce line spacing and use typewriter font
     150  keywordstyle=\bfseries\color{blue},
     151  keywordstyle=[2]\bfseries\color{Plum},
     152  commentstyle=\itshape\color{OliveGreen},                  % green and italic comments
     153  identifierstyle=\color{identifierCol},
     154  stringstyle=\sf\color{Mahogany},                                % use sanserif font
     155  mathescape=true,
     156  columns=fixed,
     157  aboveskip=4pt,                                  % spacing above/below code block
     158  belowskip=3pt,
     159  keepspaces=true,
     160  % frame=lines,
     161  literate=,
     162  showlines=true,                                 % show blank lines at end of code
     163  showspaces=false,
     164  showstringspaces=false,
     165  escapechar=\$,
     166  xleftmargin=\parindentlnth,                     % indent code to paragraph indentation
     167  moredelim=[is][\color{red}\bfseries]{**R**}{**R**},    % red highlighting
     168  morekeywords=[2]{accept, signal, signal_block, wait},
     169}
     170
    147171\lstMakeShortInline[basewidth=0.5em,breaklines=true,basicstyle=\normalsize\ttfamily\color{basicCol}]@  % single-character for \lstinline
    148172
     
    158182  \lstset{
    159183    language = CFA,
    160     style=defaultStyle,
     184    style=cfaStyle,
    161185    #1
    162186  }
     
    230254\newcommand{\one}{\lstinline{one_t}\xspace}
    231255\newcommand{\ateq}{\lstinline{\@=}\xspace}
    232 \newcommand{\code}[1]{\lstinline[language=CFA,style=defaultStyle]{#1}}
     256\newcommand{\code}[1]{\lstinline[language=CFA,style=cfaStyle]{#1}}
    233257\newcommand{\pscode}[1]{\lstinline[language=pseudo,style=pseudoStyle]{#1}}
Note: See TracChangeset for help on using the changeset viewer.