Changes between Version 22 and Version 23 of CIVLite

Timestamp:

06/01/24 11:54:20 (2 years ago)

Author:

siegel

Comment:

--

CIVLite

@@ -45 +45 @@
 exprlst: expr (',' expr)*
 lval: ID | lval '[' expr ']' 
-
-expr: lval | constant | string |  '(' expr ')' | expr '+' expr
-  | ... // + - * / mod  - == != >= > < <= && || ! ...
+binop: 'add' | 'sub' | 'mul' | 'div' | 'mod' | 'eq' | 'neq' | 'lt' | 'lte' | 'and' | 'or'
+unop: 'neg' | 'not'
+expr: lval | constant | string
+  | unop '(' expr ')'
+  | binop '(' expr ',' expr ')'
   | 'ite' '(' expr ',' expr ',' expr ')'
   | '(' type ')' 'array' '(' expr ',' expr ')' // (T[])array(length, value)
@@ -129 +131 @@
 void %main() {
   choose {
-    %x>0 -> noop;
+    lt(0,%x) -> noop;
     else -> noop goto @L1;
   }
@@ -144 +146 @@
 == Source Information ==
 
-Source information goes in a separate meta-data file.   The lines and tokens correspond 1-1 with entires in the code file.  The entries in the code file specify source info.  E.g.,
+Source information goes in a separate meta-data file.   The tokens correspond 1-1 with the tokens in the code source file. Example:
 
 Code:
@@ -154 +156 @@
 Tokens are:
 
-line 1: `%x`  `[`  `%i`  `]`  `=`  `17`  `;`
-line2: `%y`  `=`  `0`  `;`
+`%x`  `[`  `%i`  `]`  `=`  `17`  `;` `%y`  `=`  `0`  `;`
 
-Meta-data file:
+Meta-data file looks something like this:
 {{{
-1.345.0  1.345.1  1.345.2  1.345.3  1.345.4  1.345.5  1.345.6
-2.17.4  2.17.5  3.543.6  2.17.6
+1:345  1:346  1:347  1:348  1:349  1:440  1:441 1:442 1:443  1:444  1:445
 }}}  
 
-The structure 1.345.0 indicates "file #1, line 345, token #0".
+The structure 1:345 indicates "file 1, token 345".