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