Ignore:
Timestamp:
May 30, 2017, 9:53:10 AM (7 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
5e8d732
Parents:
4a368547
Message:

Moved accept,signal,signal_block,wait out of lstlang.sty

File:
1 edited

Legend:

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

    r4a368547 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.