# Style sheet for Promela
# Copyright (c) 1988, 89, 90, 91, 92, 93 Miguel Santana
# Copyright (c) 1995, 96, 97, 98 Akim Demaille, Miguel Santana
# $Id: promela.ssh,v 1.1.1.1.2.1 2007/12/29 01:58:32 mhatta Exp $
#

#
# This file is part of a2ps.
# 
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3, or (at your option)
# any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; see the file COPYING.  If not, write to
# the Free Software Foundation, 59 Temple Place - Suite 330,
# Boston, MA 02111-1307, USA.
#

style Promela is

written by "Akim Demaille <akim@freefriends.org>"
version is 1.5
documentation is
  "There is no way for this program to highlight send and receive primitives."
end documentation

first alphabet is
   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_#$%"
second alphabet is
   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_#$%"

keywords in Keyword are
   bit, bool, byte, chan
end keywords

keywords in Keyword_strong are
   active, assert, atomic, break, d_step, progress, do, else, empty,
   enabled, fi, full, goto, hidden, if, init, int, len, accept, mtype,
   nempty, never, nfull, od, of, pc_value, printf, proctype, run,
   short, skip, timeout, typedef, unless, xr, xs, priority, "#define",
   "#if", "#endif"
end keywords

optional operators are
   -> \rightarrow,
   && \wedge,
   || \vee,
   != \neq,
   == \equiv,
   <= \leq,
   >= \geq
end operators
sequences are
    "/*" Comment Comment "*/" Comment,
    "//" Comment,
    C-string,
    C-char,
    "case " Keyword_strong Label : Plain
end sequences
end style