xex.txt

   1 EXPR =
   2   '<expr>' [ DEFUN | DEFMACRO | DEFVAR | TERM ] * '</expr>'
   3
   4 TERM = [ VAR | DIRECT | FUNCALL ]
   5
   6 TYPE = 'integer' | 'string' | 'boolean' | 'symbol' | 'list'
   7
   8 DEFUN =
   9   '<defun fname="' FUNCNAME '">'
  10   ARGS ?
  11   TERM *
  12   '</defun>'
  13
  14 DEFMACRO =
  15   '<defmacro mname="' MACRONAME '">'
  16   ARGS ?
  17   TERM *
  18   '</defmacro>'
  19
  20 ARGS =
  21   '<args>' SYMBOL * '</args>' | '<args/>'
  22
  23 DEFVAR = DEFVAR-INT DEFVAR-STR DEFVAR-BOOL
  24
  25 DEFVAR-INT =
  26   '<defvar vname="' VARNAME '">'
  27   DESCRIPTION ?
  28   INT ?
  29   <possible-value>[ INT | '<range>' INT INT '</range>' ] *</possible-value>
  30   '</defvar>'
  31
  32 DEFVAR-STR =
  33   '<defvar vname"' VARNAME '">'
  34   DESCRIPTION ?
  35   STR ?
  36   <possible-value> STR * </possible-value>
  37   '</defvar>'
  38
  39 DEFVAR-BOOL =
  40   '<defvar vname"' VARNAME '">'
  41   DESCRIPTION ?
  42   BOOL ?
  43   '</defvar>'
  44
  45 DESCRIPTION =
  46   '<description>' TEXT '</description>'
  47
  48 VAR =
  49   '<variable vname="' NAME '"/>'
  50
  51 DIRECT = INT STR BOOL SYMBOL LIST
  52
  53 INT =
  54   '<const type="integer">' INTEGER '</const>'
  55 STR =
  56   '<const type="string">' STRING '</const>'
  57 BOOL =
  58   '<const type="boolean">' [ 'true' | 'false' ] </const>
  59 SYMBOL =
  60   '<const type="symbol">' NAME '</const>'
  61 LIST =
  62   '<const type="list">' DIRECT * '</const>' | <const type="list"/>
  63
  64 FUNCALL =
  65   '<funcall id="' [ FUNCNAME | MACRONAME ] '">' TERM * '</funcall>'
  66   | '<funcall fname="' PREDEFINED-FUNC-NAME '">' TERM * '</funcall>'
  67   | '<funcall mname="' PREDEFINED-MACRO-NAME '">' TERM * '</funcall>'
  68   | '<' PREDEFINED-FUNC-SYMBOL '>' TERM * '</' PREDEFINED-FUNC-SYMBOL '>'
  69   | '<' PREDEFINED-MACRO-SYMBOL '>' TERM * '</' PREDEFINED-MACRO-SYMBOL '>'
  70
  71 PREDEFINED-FUNC-SYMBOL =
  72   'set'
  73   | 'and' | 'or' | 'not'
  74   | 'lt' | 'le' | 'eq' | 'ge' | 'gt'
  75   | 'noteq'
  76   | 'add' | 'sub' | 'mul' | 'div' | 'mod'
  77   | 'add-set' | 'sub-set' | 'mul-set' | 'div-set' | 'mod-set'
  78   | 'logand' | 'logior' | 'logxor' | 'lsh'
  79   | 'logand-set' | 'logior-set' | 'logxor-set' | 'lsh-set'
  80   | 'append' | 'concat' | 'substr'
  81   | 'cons' | 'car' | 'cdr' | 'nth'
  82
  83 PREDEFINED-FUNC-NAME =
  84   PREDEFINED-FUNC-SYMBOL
  85   | '='
  86   | '&&' | '||' | '!'
  87   | '<' | '<=' | '==' | '>=' | '>'
  88   | '!='
  89   | '+' | '-' | '*' | '/' | '%'
  90   | '+=' | '-=' | '*=' | '/=' | '%='
  91   | '&=' | '|=' | '~=' | '<<=' | '>>='
  92
  93 PREDEFINED-MACRO-SYMBOL =
  94   'case' | 'cond' | 'if' | 'progn' | 'when' | 'while'
  95
  96 PREDEFINED-MACRO-NAME = PREDEFINED-MACRO-SYMBOL