From: handa Date: Thu, 29 Oct 2009 01:45:50 +0000 (+0000) Subject: *** empty log message *** X-Git-Url: http://git.chise.org/gitweb/?a=commitdiff_plain;h=6e8a55c1eb351c57f8c6fb7e49b0db926c15b0bf;p=m17n%2Fm17n-lib-cs.git *** empty log message *** --- diff --git a/xex.txt b/xex.txt index 337f0b6..eb18426 100644 --- a/xex.txt +++ b/xex.txt @@ -82,8 +82,8 @@ FUNCALL = PREDEFINED = SET - | AND | OR | NOT - | LT | LE | EQ | GE | GT | NOTEQ + | AND | OR | NOT | EQ | NOTEQ | EQUAL | MATCH + | LT | LE | GE | GT | ADD | SUB | MUL | DIV | MOD | LOGAND | LOGIOR | LOGXOR | LSH | APPEND | CONCAT | LENGTH | NTH | COPY | INS | DEL @@ -91,27 +91,34 @@ PREDEFINED = | LOOP | WHILE | FOREACH | BREAK | RETURN | CATCH | THROW | QUOTE | EVAL | TYPE -;; TERM has a value, and is evaluated to a TERM as below. -;; INT has an integer value, and is evaluated to itself . -;; STRING has a string value, and is evaluated to itself. -;; SYMBOL has a symbol value, and is evaluated to itself. -;; LIST has a list value and, is evaluated to itself. -;; VARREF has a variable, and is evalued to the value of that variable. -;; FUNCALL has a function and arguments to it, and is evalued to the +;; TERM contains an object, and is evaluated to a TERM as below. +;; INT contains an integer, and is evaluated to itself . +;; Two integers of the same value are regarded as the same object. +;; STRING contains a string, and is evaluated to itself. +;; SYMBOL contains a named symbol, and is evaluated to itself. +;; Two symbols of the same name are reguarded as the same object. +;; LIST contains a list and, is evaluated to itself. +;; ERROR contains an error type symbol and an error message (optional). +;; VARREF contains a variable, and is evalued to the value of that variable. +;; FUNCALL contains a function and arguments to it, and is evalued to the ;; value of function called with those arguments. INTTERM = INT | VAR (value is INT) | FUNCALL (return INT) STRTERM = STR | VAR (value is STR) | FUNCALL (return STR) SYMTERM = SYMBOL | VAR (value is SYMBOL) | FUNCALL (return SYMBOL) LISTTERM = LIST | VAR (value is LIST) | FUNCALL (return LIST) -ANYTERM = TERM +XXXTERM = TERM ;; Here after, when an argument written as TERM, it is given to a ;; function without being evaluted. Otherwise, an evaluated term is ;; given. "the value is NUM" means "the value is ;; NUM". -SET = '' ANYTERM '' +SET = '' XXXTERM '' + +;; Set the value of the variable VNAME to XXXTERM, and the value is +;; XXXTERM. + ADD = '' INTTERM + '' | '' INTTERM + '' SUB = '' INTTERM + '' @@ -132,22 +139,91 @@ LSH = '' INTTERM INTTERM '' | '' INTTERM '' LT = '' INTTERM INTTERM '' LE = '' INTTERM INTTERM '' -EQ = '' INTTERM INTTERM '' -NOTEQ = '' INTTERM INTTERM '' + +EQ = '' XXXTERM + '' + +;; If XXXTERMs have the same object, the value is 1. Otherwise the +;; value is 0. + +NOTEQ = '' XXXTERM XXXTERM '' + +;; If XXXTERMs have the same object, the value is 0. Othersise the +;; value is 0. + GE = '' INTTERM INTTERM '' GT ='' INTTERM INTTERM '' -APPEND = '' TERM + '' - | '' TERM + '' -CONCAT = '' [ INTTERM | STRTERM | LISTTERM ] + '' - | '' [ INTTERM | STRTERM | LISTTERM ] + '' + +APPEND = '' XXXTERM + '' + | '' XXXTERM + '' + +;; In the first form, the value is a LIST made by concatinating all +;; elements of XXXTERM (if it is a LIST) or XXXTERM itself (if it is +;; not a LIST) in the specified order. + +;; In the second form, the value of the variable VNAME must be a LIST, +;; and that LIST is modified destructively by concatinating ANYterms +;; in the same manner as the previous case. The value is the +;; resulting LIST. + +CONCAT = '' [ STRTERM | INTTERM | LISTTERM ] + '' + | '' [ STRTERM | INTTERM | LISTTERM ] + '' + +;; In the first form, the value is a STR made by concatinating all +;; strings made from the arguments as below: +;; STRTERM gives a string contained in it. +;; INTTERM gives a string of a character whose code is INTTERM's integer. +;; LSTTERM must contain only INTTERMs, and give a string containing +;; characters whose codes are INTTERM's integer. + +;; In the second form, the value of the variable VNAM must be a STR, +;; and that STR is modified destructively by concatinating the +;; arguments in the same manner as the previous case. The value is +;; the resulting STR. + LENGTH = '' [ STRTERM | LISTTERM ] '' NTH = '' INTTERM [ STRTERM | LISTTERM ] '' COPY = '' LISTTERM '' INS = '' INTTERM [ STRTERM | LISTTERM ] '' DEL = '' INTTERM INTTERM '' + AND = '' TERM + '' + +;; Evaluates TERMs one by one until one is evaluated to 0. If none is +;; evaluated to 0, the value is 1. Othersise the value is 0. + OR = '' TERM + '' -NOT = '' TERM '' + +;; Evaluates TERMs one by one until one is evaluated not to 0. If +;; none is evaluated not to 0, the value is 0. Othersise the value is +;; 1. + +NOT = '' XXXTERM '' + +;; If XXX is 0, the value is 1. Othersise the value is 0. + +EQUAL = '' XXXTERM1 XXXTERM2 '' + +;; If XXX1 equals to XXX2, the value is 1. Otherwise the value is 0. +;; The equality of terms are decided as below: +;; INT: INT1 equals to INT2 iff they contain the same integer values. +;; STR: STR1 equals to STR2 iff they contain strings of the same characters. +;; SYM: SYM1 equals to SSYM2 iff they contain the same symbol. +;; LIST: LIST1 equals to LIST2 iff they have the same length, and +;; the Nth element of LIST1 equals to the Nth element of LIST2. + +MATCH = '' XXXTERM1 XXXTERM2 <'/match>' + +;; If XXX1 matches with XXX2, the value is 1. Otherwise the value is +;; 0. Two terms match as below: +;; INT: INT1 matches with INT2 iff they contain the same integer values. +;; STR: STR1 matches with STR2 iff STR1's string is a valid regular +;; expression matching with STR2's string +;; SYM: SYM1 matches with SSYM2 iff they contain the same symbol. +;; LIST: LIST1 matches with LIST2 iff LIST1 is not longer than +;; LIST2, and Nth element of LIST1 equals to Nth element of LIST2. +;; ERROR: ERROR1 matches with ERROR2 iff ERROR1's error type is +;; or is the same as ERROR2's error type. + PROGN = '' TERM * '' IF = '' TERM TERM TERM ? '' WHEN = '' TERM TERM * '' @@ -162,16 +238,24 @@ QUOTE = '' TERM '' CATCH = '' [ SYMBOL | ERROR ] TERM + '' | '' [ SYMBOL | ERROR ] TERM + '' -;; Evaluate TERMs one by one until the specified SYMBOL or ERROR is -;; thrown by . If thrown, the value is 1, otherwise the value -;; is 0. If VNAME is specified it is set to the last evaluated term. -;; It is the value of if thrown. +;; Evaluate TERMs one by one until a term matching with the specified +;; SYMBOL or ERROR is thrown by . If thrown, the value is 1, +;; otherwise the value is 0. If VNAME is specified, its value is set +;; to the last evaluated term. It is the value of if thrown. -THROW = '' SYMBOL ANYTERM ? '' +THROW = '' SYMBOL XXXTERM ? '' | '' ERROR '' -;; Throw to the catch for SYMBOL or ERROR. The value is ANYTERM (if +;; Throw to the catch for SYMBOL or ERROR. The value is XXXTERM (if ;; any) or SYMBOL in the first form, and ERROR in the second form. EVAL = '' TERM '' -TYPE = '' TERM '' + +TYPE = '' XXXTERM '' + +;; The value is SYM representing the type of XXXTERM as below: +;; INT: the type is integer +;; STR: the type is string +;; SYM: the type is symbol +;; LIST: the type is list +;; ERROR: the type is error