Add style sheets for e and Vera languages

[earthur]

I'm not 100% sure what I'm doing here however, I have
only editted the files locally (on the 4.1x tree) and
not clcommit-ed them yet.  This is the results of cvs 
diff:

? sheets/e.ssh
? sheets/vera.ssh
cvs server: Diffing .
Index: ChangeLog
=========================================================
==========
RCS file: /cvsroot/a2ps/a2ps/ChangeLog,v
retrieving revision 1.4.2.25
diff -r1.4.2.25 ChangeLog
0a1,6
> 2002-10-05  Edward Arthur  <address@hidden>
> 
>       * sheets/e.ssh: Add style sheet for e language 
for Specman Elite tool
>       from Verisity Design.
>       * sheets/vera.ssh: Add style sheet for Vera.
> 
cvs server: Diffing sheets
Index: sheets/sheets.map
=========================================================
==========
RCS file: /cvsroot/a2ps/a2ps/sheets/sheets.map,v
retrieving revision 1.1.1.1.2.5
diff -r1.1.1.1.2.5 sheets.map
224a225,228
> # e files (for Specman elite tool from Verisity Design)
> # Uncomment the following line and comment the eiffel 
definition above
> #e:   /*.e/
> 
496a501,503
> 
> # Vera files
> vera: /*.vr/  /*.vrh/


And here are the contents of e.ssh and vera.ssh:

# Style sheet for e
# Copyright (c) 2001 Edward Arthur, Akim Demaille, 
Miguel Santana
#

#
# 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 2, 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 e is
requires a2ps 4.12

written by "Edward Arthur <address@hidden>"
version is 1.1
documentation is
"This style is for the 'e' language for the Specman tool 
from Verisity Design."
end documentation

alphabets are
   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_
`\'"

case sensitive

#
# Sorry for the ugliness in the keywords
#

keywords in Keyword are
   FALSE, MAX_INT, MAX_UINT, MIN_INT, NULL, TRUE, UNDEF, 
bit,
   bits, body, bool, byte, bytes, byte_array, continue,
   copy, default, external_pointer, files, file, form,
   global, index, int, it, list, load, long,
   me, method, module, ntv, pat, print, result,
   source_ref, string, symtab, sys, test, uint,
   untyped, vec, define, `define, time
end keywords

keywords in Keyword_strong are
   "break", "case",  any, of,
   "each", emit, empty, "end", exec, "exit", fail, 
fill, "finish", "for",
   force, from, if, ifdef, ifndef, inline, 
intersects, "is", like, line, log,
   new, no, not, only, or, out, outf, read, repeat, 
return,
   reverse, routine, step, then, to,
   "with", "write", xor, before, "by", choose, gen, 
keep, keeping, "key",
   matches, matching, nand, next, select, sequence, 
soft, using,
   always, all, basic, call, cycles, cycle,
   clock, change, check, "expect", fall, "first",
   forever, idle, initial, negedge, others,
   on, posedge, rise, start, that, timescale,
   task, until, verilog, vhdl, wait, within,
   address, code, cover, driver, error, events, event, 
function,
   length, kind, ranges, range, release, report, sample, 
text,
   value, variable, item, trace, transition, illegal,
   packing, pass, low, high, network, a, mode, nor, 
normal, nxor, por,
   state, machine, true, try,
   all_values, assert, assume, async, sync, attribute, 
export,
   consume, cross, cvl, callback, method, down, edges
   run, init, pre_generate, dut_error, pack, unpack, 
post_generate,
   set_config, hex, stop_run, append,
   size, delete, is_empty, deep_compare, 
deep_compare_physical,
   clear, pop0, setup, crc_32, extend, ECHO, DOECHO, 
import,
   initialize, non_terminal, struct, script, testgroup, 
type, C,
   add, also, and, as, as_a, compute, computed, delay, 
delayed, detach,
   do, else, traceable, undefined, untraceable, var, 
when, while, "in",
   finalize_test, run
end keywords

optional operators are
   && \wedge,
   || \vee,
   != \neq,
   == \equiv,
   <= \leq,
   >= \geq,
   ! \not
end operators

sequences are
    "//" Comment,
    "--" Comment,
    C-string

#
# Had to removed C-char to avoid confusion with e's code 
block delimiters:
#    <' and '>
#

#    C-char
end sequences

end style


-----

# Style sheet for Vera
# Copyright (c) 1995-2000 Akim Demaille, Miguel Santana
#

#
# 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 2, 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 Vera is
requires a2ps 4.13

written by "Edward S. Arthur <address@hidden>"
version is 1.0
documentation is
   "Language description for the OpenVera language, LRM 
2.0"
end documentation

alphabets are
   "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_
`\'#$0"

case sensitive

#ancestors are
#  cpp
#end ancestors

keywords in Keyword_strong are
   all, any, assoc_index, assoc_size, async, bad_state, 
bad_trans, begin,
   big_endian, bind, bind_var, bit, bit_normal, 
bit_reverse, break,
   breakpoint, "case", casex, casez, coverage_option, 
coverage_val,
   default, depth, dist, else, "end", enum, event, 
export, extends, extern,
   for, fork, function, hdl_node, hdl_task, if, 
illegal_self_transition,
   local, m_bad_state, m_bad_trans, m_state, m_trans, 
negedge, new, newcov,
   non_rand, none, not, null, or, output, packed, port, 
posedge, prod,
   prodget, return, shadow, soft, state, static, string, 
super, task,
   terminate, this, trans, typedef, unpacked, var, vca, 
vector, verilog_node,
   verilog_task, class, CLOCK, constraint, continue, 
coverage, coverage_block,
   coverage_def, coverage_depth, coverage_goal, 
illegal_state,
   illegal_transition, "in", inout, input, integer, 
interface, join,
   little_endian, prodset, protected, public, rand, 
randc, randcase, randseq,
   reg, repeat, vhdl_node, vhdl_task, virtual, void, 
while, wildcard, with,
   program, alloc, call_func, call_task, cast_assign, 
close_conn, delay,
   error, error_mode, exit, fclose, feof, freadstr, 
get_bind, get_bind_id,
   get_conn_err, get_cycle, get_memsize, get_plus_arg, 
get_systime, get_time,
   lock_file, mailbox_get, mailbox_put, mailbox_receive, 
psprintf, query,
   query_str, query_x, rand48, random, region_enter, 
region_exit, rewind,
   semaphore_get, semaphore_put, signal_connect, 
simwave_plot, trigger,
   unlock_file, unit_delay, up_connections, urand48, 
urandom, vera_plot,
   vsv_call_func, vsv_call_task, vsv_close_conn, 
vsv_get_conn_err,
   vsv_make_client, ferror, fflush, flag, fopen, 
fprintf, freadb, freadh,
   mailbox_send, make_client, make_server, os_command, 
printf, sprintf,
   sscanf, stop, suspend_thread, sync, timeout, tracde, 
vsv_make_server,
   vsv_up_connections, vsv_wait_for_done, 
vsv_wait_for_input, wait_child,
   wait_var, stderr, stdin, stdout, boundary, 
constraint_mode, pack,
   post_boundary, post_pack, post_randomize, 
post_unpack, pre_boundary,
   pre_pack, pre_randomize, pre_unpack, rand_mode, 
randomize, unpack,
   `ifdef, `ifndef, `else, 
`endif, "#ifdef", "#else", "#endif", "#include"
end keywords


keywords in Keyword are
   ALL, ANY, BAD_STATE, BAD_TRANS, CALL,
   CHECK, CHGEDGE, CLEAR, COPY_NO_WAIT, CROSS, 
CROSS_TRANS, DEBUG, DELETE,
   EC_RETURN, EC_RGNTMOUT, EC_SCONFLICT, EC_SEMTMOUT, 
EC_SEXPECT,
   EC_SFULLEXPECT, EC_SNEXTPECT, EC_EVNTIMOUT, 
EC_USERSET, EQ, EVENT, FAIL,
   FIRST, FORK, GE, GOAL, GT, LIC_PRWARN, LIC_WAIT, LO, 
LOAD, LOW, LT, MAILBOX,
   MAX_COM, NAME, NEGEDGE, NE, NEXT, NO_OVERLAP, 
NO_OVERLAP_STATE,
   NO_OVERLAP_TRANS, NO_VARS, NO_WAIT, ONE_BLAST, 
ONE_SHOT, ORDER, PAST_IT,
   PRECENT, POSEDGE, PROGRAM, RAWIN, REGION, REPORT, 
SAMPLE, SAVE, SEMAPHORE,
   SET, SILENT, STATE, STR, EC_ARRAYX, EC_CODE_END, 
EC_CONFLICT, EC_EXPECT,
   EC_FULLEXPECT, EC_MBXTMOUT, EC_NEXPECT, HAND_SHAKE, 
HI, HIGH, HNUM, LE,
   LIC_EXIT, LIC_PRERR, NUM, NUM_BIN, NUM_DET, OFF, OK, 
OK_LAST, ON,
   STR_ERR_OUT_OF_RANGE, STR_ERR_REGEXP_SYNTAX, SUM, 
TRANS, VERBOSE, WAIT
end keywords

optional operators are
  (/(case)([    ]+)(.+)([       ]*:)/
   \1 Keyword_strong, \2 Plain, \3 Label, \4 Plain)
end operators

optional operators are
   -> \rightarrow,
   && \wedge,
   || \vee,
   != \neq,
   == \equiv,
   # We need to protect these, so that <= is not 
replaced in <<=
   <<=,
   >>=,
   <= \leq,
   >= \geq,
   ! \not
end operators

sequences are
    "/*" Comment "*/",
    "//" Comment,
    C-string
end sequences

end style

-----

Let me know what to do next.
Let me know if I should do the same in the "latest" tree.
Let me know if I've messed anything else up.  :-)

/Ed