1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
# Style sheet for claire
# Copyright (c) 1988, 89, 90, 91, 92, 93 Miguel Santana
# Copyright (c) 1995, 96, 97, 98 Akim Demaille, Miguel Santana
# $Id: claire.ssh,v 1.1.1.1.2.1 2007/12/29 01:58:28 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.
#
## 1.1 Akim Demaille
# Fixed strong comments
## 1.2 Akim Demaille
# Fixed the order for the comments
style Claire is
written by "Akim Demaille <akim@freefriends.org>"
version is 1.2
requires a2ps version 4.9.10
documentation is
"Claire is a high-level functional and object-oriented language with "
"advanced rule processing capabilities. It is intended to allow the "
"programmer to express complex algorithms with fewer lines and in an "
"elegant and readable manner. "
""
"To provide a high degree of expressivity, Claire uses: "
"@itemize"
"@item"
" A very rich type system including type intervals and second-order "
" types (with dual static/dynamic typing),"
"@item"
" Parametric classes and methods, "
"@item"
" An object-oriented logic with set extensions, "
"@item"
" Dynamic versioning that supports easy exploration of search spaces. "
"@end itemize"
"To achieve its goal of readability, Claire uses "
"@itemize"
"@item"
" set-based programming with an intuitive syntax, "
"@item"
" simple-minded object-oriented programming, "
"@item"
" truly polymorphic and parametric functional programming, "
"@item"
" a powerful-yet-readable extension of DATALOG to express logical conditions,"
"@item"
" an entity-relation approach with explicit relations, inverses, "
" unknown values and relational"
"@item"
" operations. "
"@end itemize"
"More information on claire can be found on "
"url(http://www.ens.fr/~laburthe/claire.html)url(claire home page)url."
end documentation
first alphabet is
"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz!%&*+-/:^_<=>|"
second alphabet is
"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz!%&\'*+-/:^_<=>|"
case sensitive
keywords in Keyword_strong are
forall, none, catch, "in", as, printf, assert, return, break,
trace, else, for, "case", while, until, let, when, try, if, Zif,
exists, <:, =>, ->, ::
end keywords
optional keywords are
forall \forall,
exists \exists,
% \in,
:=,
= \equiv,
!= \neq,
<= \leq,
>= \geq,
-> \rightarrow,
=> \Rightarrow,
U \cup,
not \not
end keywords
optional operators are
{} \emptyset
end operators
sequences are
;; Comment,
"//" Comment,
"//*" Comment_strong,
C-string,
C-char,
# Some declarations
^[ Plain Label_strong
closers are
<: Plain,
[ Plain,
"(" Plain
end closers
end sequences
end style
|