xex.txt

   1 EXPR =
   2   '<expr>' [ DEFUN | DEFVAR | TERM ] * '</expr>'
   3
   4 TERM = [ INT | STRING | SYMBOL | LIST | VAR | FUNCALL ]
   5
   6 DEFUN =
   7   '<defun fname="' FNAME ? ">'
   8   ARGS ?
   9   TERM *
  10   '</defun>'
  11
  12 ARGS =
  13   '<args>' FIXED ? OPTIONAL ? REST ? '</args>'
  14   | '<args-unevalled>' FIXED ? OPTIONAL ? REST ? '</args-unevalled>'
  15
  16 FIXED =
  17   '<fixed> VAR + '</fixed>'
  18
  19 OPTIONAL =
  20   '<optional>' VAR + '<optional>'
  21
  22 REST =
  23   '<rest>' VAR '</rest>'
  24
  25 DEFVAR = DEFVAR-INT DEFVAR-STR DEFVAR-SYM
  26
  27 DEFVAR-INT =
  28   '<defvar vname="' VNAME '">'
  29   DESCRIPTION ?
  30   INT ?
  31   POSSIBLE-INT-VALUE ?
  32   '</defvar>'
  33
  34 POSSIBLE-INT-VALUE =
  35   <possible-value> [ INT | '<range>' INT INT '</range>' ] + </possible-value>
  36
  37 DEFVAR-STR =
  38   '<defvar vname"' VNAME '">'
  39   DESCRIPTION ?
  40   STR ?
  41   DEFVAR-STR_VALUE ?
  42   '</defvar>'
  43
  44 DEFVAR-STR_VALUE =
  45   <possible-value> STR + </possible-value>
  46
  47 DEFVAR-SYM =
  48   '<defvar vname"' VNAME '">'
  49   DESCRIPTION ?
  50   SYMBOL ?
  51   POSSIBLE-SYM-VALUE ?
  52   '</defvar>'
  53
  54 POSSIBLE-SYM-VALUE =
  55   <possible-value> SYMBOL + </possible-value>
  56
  57 DESCRIPTION =
  58   '<description>' [ TEXT | GETTEXT ] '</description>'
  59
  60 GETTEXT =
  61   '<gettext>' TEXT '</gettext>'
  62
  63 INT =
  64   '<integer>' INTEGER '</integer>'
  65 STR =
  66   '<string>' STRING '</string>'
  67 SYMBOL =
  68   '<symbol>' NAME '</symbol>'
  69 LIST =
  70   '<list>' TERM * '</list>' | <list/>
  71
  72 VAR =
  73   '<varref vname="' VNAME '"/>'
  74
  75 FUNCALL =
  76   '<funcall fname="' FNAME '">' TERM * '</funcall>'
  77   | PREDEFINED
  78
  79 PREDEFINED =
  80   SET
  81   | AND | OR | NOT
  82   | LT | LE | EQ | GE | GT | NOTEQ
  83   | ADD | SUB | MUL | DIV | MOD
  84   | LOGAND | LOGIOR | LOGXOR | LSH
  85   | APPEND | CONCAT | LENGTH | NTH  | COPY | INS | DEL
  86   | PROGN | IF | WHEN | COND
  87   | LOOP | WHILE | FOREACH | BREAK | RETURN
  88   | QUOTE | EVAL | TYPE
  89
  90 ;; TERM has a value, and is evaluated to a TERM as below.
  91 ;; INT has an integer value, and is evaluated to itself .
  92 ;; STRING has a string value, and is evaluated to itself.
  93 ;; SYMBOL has a symbol value, and is evaluated to itself.
  94 ;; LIST has a list value and, is evaluated to itself.
  95 ;; VAR has a value of TERM that is assigned to the variable,
  96 ;;   and is evalued to that TERM.
  97 ;; FUNCALL has a value of TERM that is returned by that function,
  98 ;;   and is evalued to that TERM.
  99
 100 INTTERM = INT | VAR (value is INT) | FUNCALL (return INT)
 101 STRTERM = STR | VAR (value is STR) | FUNCALL (return STR)
 102 SYMTERM = SYMBOL | VAR (value is SYMBOL) | FUNCALL (return SYMBOL)
 103 LISTTERM = LIST | VAR (value is LIST) | FUNCALL (return LIST)
 104 ANYTERM = TERM
 105
 106 ;; Here after, when an argument is TERM, it is given to a function
 107 ;; without being evaluted.  Otherwise, an evaluated term is given.
 108
 109 SET = '<set vname="' VNAME '">' ANYTERM '</set>'
 110 ADD = '<add>' INTTERM + '</add>'
 111       | '<add vname="' VNAME '">' INTTERM + '</add>'
 112 SUB = '<sub>' INTTERM + '</sub>'
 113       | '<sub vname="' VNAME '">' INTTERM + '</sub>'
 114 MUL = '<mul>' INTTERM + '</mul>'
 115       | '<mul vname="' VNAME '">' INTTERM + '</mul>'
 116 DIB = '<div>' INTTERM + '</div>'
 117       | '<div vname="' VNAME '">' INTTERM + '</div>'
 118 MOD = '<mod>' INTTERM INTTERM '</mod>'
 119       | '<mod vname="' VNAME '">' INTTERM '</div>'
 120 LOGAND = '<logand> INTTERM + '</logand>'
 121          | '<logand vname="' VNAME '">' INTTERM + '</logand>'
 122 LOGIOR = '<logior> INTTERM + '</logior>'
 123          | '<logior> vname="' VNAME '">' INTTERM + '</logior>'
 124 LOGXOR = '<logxor> INTTERM + '</logxor>'
 125          | '<logxor> vname="' VNAME '">' INTTERM + '</logxor>'
 126 LSH = '<lsh>' INTTERM INTTERM '</lsh>'
 127       | '<lsh vname="' VNAME '">' INTTERM '</mul>'
 128 LT = '<lt>' INTTERM INTTERM '</lt>'
 129 LE = '<le>' INTTERM INTTERM '</le>'
 130 EQ = '<eq>' INTTERM INTTERM '</eq>'
 131 NOTEQ = '<noteq>' INTTERM INTTERM '</noteq>'
 132 GE = '<ge>' INTTERM INTTERM '</ge>'
 133 GT ='<gt>' INTTERM INTTERM '</gt>'
 134 APPEND = '<append>' ANYTERM + '</append>'
 135 CONCAT = '<concat>' [ INTTERM | STRTERM | LISTTERM ] + '</concat>'
 136 LENGTH = '<length>' [ STRTERM | LISTTERM ] '</length>'
 137 NTH = '<nth>' INTTERM [ STRTERM | LISTTERM ] '</nth>'
 138 COPY = '<copy>' LISTTERM '</nth>'
 139 INS = '<ins vname="' VNAME '">' INTTERM [ STRTERM | LISTTERM ] '</ins>'
 140 DEL = '<del vname="' VNAME '">' INTTERM INTTERM '</ins>'
 141 AND = '<and>' TERM + '</and>'
 142 OR = '<or>' TERM + '</or>'
 143 NOT = '<not>' TERM '</not>'
 144 PROGN = '<progn>' TERM * '</progn>'
 145 IF = '<if>' TERM TERM TERM ? '</if>'
 146 WHEN = '<when>' TERM TERM * '</when>'
 147 COND = '<cond>' LIST + '</cond>'
 148 LOOP = '<loop>' TERM + '</loop>'
 149 WHILE = '<while>' TERM + '</while>'
 150 FOREACH = '<foreach vname="' VNAME '">' TERM + '</foreach>'
 151 BREAK = '<break>' ANYTERM ? '</break>'
 152 RETURN = '<return>' ANYTERM ? '</return>'
 153 QUOTE = '<quote>' TERM '</quote>'
 154 EVAL = '<eval>' TERM '</eval>'
 155 TYPE = '<type>' ANYTERM '</type>'