5e58f74122e7544fbab25b15f53bae3da3d17494
[m17n/m17n-lib-cs.git] / xex.txt
1 EXPR =
2   '<expr>' [ DEFUN | DEFMACRO | DEFVAR | TERM ] * '</expr>'
3
4 TERM = [ VAR | INT | STRING | SYMBOL | LIST | FUNCALL ]
5
6 DEFUN =
7   '<defun fname="' FUNCNAME ? ">'
8   ARGS ?
9   BODY ?
10   '</defun>'
11
12 ARGS =
13   '<args>' VAR * OPTIONAL ? REST ? '</args>'
14   | '<args-unevalled>' VAR * OPTIONAL ? REST ? '</args-unevalled>'
15
16 OPTIONAL =
17   '<optional/>' VAR *
18
19 REST =
20   '<rest/>' VAR
21
22 BODY =
23   '<body>' TERM * '</body>'
24
25 DEFVAR = DEFVAR-INT DEFVAR-STR
26
27 DEFVAR-INT =
28   '<defvar vname="' VARNAME '">'
29   DESCRIPTION ?
30   INT ?
31   <possible-value>[ INT | '<range>' INT INT '</range>' ] *</possible-value>
32   '</defvar>'
33
34 DEFVAR-STR =
35   '<defvar vname"' VARNAME '">'
36   DESCRIPTION ?
37   STR ?
38   <possible-value> STR * </possible-value>
39   '</defvar>'
40
41 DESCRIPTION =
42   '<description>' [ TEXT | GETTEXT ] '</description>'
43
44 GETTEXT =
45   '<gettext>' TEXT '</gettext>'
46
47 VAR =
48   '<variable vname="' NAME '"/>'
49 INT =
50   '<integer>' INTEGER '</integer>'
51 STR =
52   '<string>' STRING '</string>'
53 SYMBOL =
54   '<symbol>' NAME '</symbol>'
55 LIST =
56   '<list>' TERM * '</list>' | <list/>
57
58 FUNCALL =
59   '<funcall fname="' PREDEFINED-FUNC-NAME '">' TERM * '</funcall>'
60   | '<' PREDEFINED-FUNC-SYMBOL '>' TERM * '</' PREDEFINED-FUNC-SYMBOL '>'
61
62 PREDEFINED-FUNC-SYMBOL =
63   'set'
64   | 'and' | 'or' | 'not'
65   | 'lt' | 'le' | 'eq' | 'ge' | 'gt'
66   | 'noteq'
67   | 'add' | 'sub' | 'mul' | 'div' | 'mod'
68   | 'add-set' | 'sub-set' | 'mul-set' | 'div-set' | 'mod-set'
69   | 'logand' | 'logior' | 'logxor' | 'lsh'
70   | 'logand-set' | 'logior-set' | 'logxor-set' | 'lsh-set'
71   | 'append' | 'concat' | 'nth'  | 'copy' | 'ins' | 'del'
72   | 'progn' | 'if' | 'when' | 'cond'
73   | 'while' | 'for' | 'foreach'
74   | 'eval' | 'type'
75
76 PREDEFINED-FUNC-NAME =
77   PREDEFINED-FUNC-SYMBOL
78   | '='
79   | '&&' | '||' | '!'
80   | '<' | '<=' | '==' | '>=' | '>'
81   | '!='
82   | '+' | '-' | '*' | '/' | '%'
83   | '+=' | '-=' | '*=' | '/=' | '%='
84   | '&=' | '|=' | '~=' | '<<=' | '>>='
85
86 TRUE =
87   '<integer>0</integer>' 
88 FALSE =
89   '<integer>1</integer>' 
90
91 ;; TERM is evaluated to a TERM.
92 ;; INT is evaluated to itself.
93 ;; STRING is evaluated to itself.
94 ;; SYMBOL is evaluated to itself.
95 ;; LIST is evaluated to itself.
96 ;; VAR is evaluated to TERM that is set to that variable.
97 ;; FUNCALL is evaluated to TERM returned by that function.