projects / m17n / m17n-lib-cs.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
*** empty log message ***
[m17n/m17n-lib-cs.git] / xex.txt
diff --git a/xex.txt b/xex.txt
index 575304f..4a36efe 100644 (file)
--- a/xex.txt
+++ b/xex.txt
@@ -1,9 +1,7 @@
 EXPR =
   '<expr>' [ DEFUN | DEFMACRO | DEFVAR | TERM ] * '</expr>'
 
-TERM = [ VAR | DIRECT | FUNCALL ]
-
-TYPE = 'integer' | 'string' | 'boolean' | 'symbol' | 'list'
+TERM = [ VAR | INT | STRING | SYMBOL | LIST | FUNCALL ]
 
 DEFUN =
   '<defun fname="' FUNCNAME ? ">'
@@ -12,19 +10,19 @@ DEFUN =
   '</defun>'
 
 ARGS =
-  '<args>' SYMBOL * OPTIONAL ? REST ? '</args>'
-  | '<args-unevalled>' SYMBOL * OPTIONAL ? REST ? '</args-unevalled>'
+  '<args>' VAR * OPTIONAL ? REST ? '</args>'
+  | '<args-unevalled>' VAR * OPTIONAL ? REST ? '</args-unevalled>'
 
 OPTIONAL =
-  '<optional/>' SYMBOL *
+  '<optional/>' VAR *
 
 REST =
-  '<rest/>' SYMBOL
+  '<rest/>' VAR
 
 BODY =
   '<body>' TERM * '</body>'
 
-DEFVAR = DEFVAR-INT DEFVAR-STR DEFVAR-BOOL
+DEFVAR = DEFVAR-INT DEFVAR-STR
 
 DEFVAR-INT =
   '<defvar vname="' VARNAME '">'
@@ -40,55 +38,38 @@ DEFVAR-STR =
   <possible-value> STR * </possible-value>
   '</defvar>'
 
-DEFVAR-BOOL =
-  '<defvar vname"' VARNAME '">'
-  DESCRIPTION ?
-  BOOL ?
-  '</defvar>'
-
 DESCRIPTION =
-  '<description>' TEXT '</description>'
+  '<description>' [ TEXT | GETTEXT ] '</description>'
+
+GETTEXT =
+  '<gettext>' TEXT '</gettext>'
 
 VAR =
   '<variable vname="' NAME '"/>'
-
-DIRECT = INT STR BOOL SYMBOL LIST
-
 INT =
   '<integer>' INTEGER '</integer>'
 STR =
   '<string>' STRING '</string>'
-BOOL =
-  '<boolean>' [ 'true' | 'false' ] </boolean>
 SYMBOL =
   '<symbol>' NAME '</symbol>'
 LIST =
   '<list>' TERM * '</list>' | <list/>
-TYPE =
-  '<type>' 
-  [ 'integer' | 'string' | 'boolean' | 'symbol' | 'list'
-    | 'variable' | 'funcall' ]
-  '</type>'
 
 FUNCALL =
   '<funcall fname="' PREDEFINED-FUNC-NAME '">' TERM * '</funcall>'
   | '<' PREDEFINED-FUNC-SYMBOL '>' TERM * '</' PREDEFINED-FUNC-SYMBOL '>'
 
 PREDEFINED-FUNC-SYMBOL =
-  'set'
-  | 'and' | 'or' | 'not'
-  | 'lt' | 'le' | 'eq' | 'ge' | 'gt'
-  | 'noteq'
-  | 'add' | 'sub' | 'mul' | 'div' | 'mod'
-  | 'add-set' | 'sub-set' | 'mul-set' | 'div-set' | 'mod-set'
-  | 'logand' | 'logior' | 'logxor' | 'lsh'
-  | 'logand-set' | 'logior-set' | 'logxor-set' | 'lsh-set'
-  | 'append' | 'concat' | 'substr'
-  | 'tolist' | 'tostring'
-  | 'cons' | 'car' | 'cdr' | 'nth' | 'copy' | 'ins' | 'del'
-  | 'case' | 'cond' | 'if' | 'progn' | 'when'
-  | 'while' | 'for' | 'foreach'
-  | 'typeof'
+  SET
+  | AND | OR | NOT
+  | LT | LE | EQ | GE | GT
+  | NOTEQ
+  | ADD | SUB | MUL | DIV | MOD
+  | LOGAND | LOGIOR | LOGXOR | LSH
+  | APPEND | CONCAT | NTH  | COPY | INS | DEL
+  | PROGN | IF | WHEN | COND
+  | WHILE | FOR | FOREACH
+  | EVAL | TYPE
 
 PREDEFINED-FUNC-NAME =
   PREDEFINED-FUNC-SYMBOL
@@ -100,24 +81,39 @@ PREDEFINED-FUNC-NAME =
   | '+=' | '-=' | '*=' | '/=' | '%='
   | '&=' | '|=' | '~=' | '<<=' | '>>='
 
-(set SYMBOL TERM)
-(and TERM *) (or TERM *) (not TERM)
+TRUE =
+  '<integer>0</integer>' 
+FALSE =
+  '<integer>1</integer>' 
+
+;; TERM is evaluated to a TERM.
+;; INT is evaluated to itself.
+;; STRING is evaluated to itself.
+;; SYMBOL is evaluated to itself.
+;; LIST is evaluated to itself.
+;; VAR is evaluated to TERM that is set to that variable.
+;; FUNCALL is evaluated to TERM returned by that function.
+
+SET =
+  '<set vname="' VARNAME '">' TERM '</set>'
+;; Set the variable of name VARNAME to TERM.
+
+AND =  ;; arguments unevalled
+  '<and> TERM ... </and>
+OR (unevalled-arg ...) =
+  '<or> TERM ... </or>
+NOT (arg) =
+  '<not> TERM </not>
+
+LT (arg ...) =
+  '<lt>' TERM ... '</lt>'
 
-ARITH =
-  'add' | 'sub' | 'mul' | 'div' | 'mod' | 'add' | 'sub' | 'mul' | 'div' | 'mod'
+  | 'and' | 'or' | 'not'
+  | 'lt' | 'le' | 'eq' | 'ge' | 'gt'
+  | 'noteq'
+  | 'add' | 'sub' | 'mul' | 'div' | 'mod'
   | 'logand' | 'logior' | 'logxor' | 'lsh'
-  
-ARITH-SET =
-  'add-set' | 'sub-set' | 'mul-set' | 'div-set' | 'mod-set'
-  | 'logand-set' | 'logior-set' | 'logxor-set' | 'lsh-set'
-
-ARITH-ARG = [ INT | VAR | FUNCALL ]
-
-(lt ARITH-ARG *) (le ARITH-ARG *) (eq ARITH-ARG *)
-  (ge ARITH-ARG *) (gt ARITH-ARG *)
-(add ARITH-ARG *) (sub ARITH-ARG *) (mul ARITH-ARG *) (div ARITH-ARG *)
-  (mod ARITH-ARG *)
-(add-set SYMBOL ARITH-ARG *) (sub-set SYMBOL ARITH-ARG *)
-  (mul-set SYMBOL ARITH-ARG *) (div-set SYMBOL ARITH-ARG *)
-  (mod-set SYMBOL ARITH-ARG *)
-(logand ARITH-ARG
+  | 'append' | 'concat' | 'nth'  | 'copy' | 'ins' | 'del'
+  | 'progn' | 'if' | 'when' | 'cond'
+  | 'while' | 'for' | 'foreach'
+  | 'eval' | 'type'