Changes between Version 22 and Version 23 of C to tass-AST xml

Timestamp:

04/17/11 15:46:35 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -44 +44 @@
    * return
    * no-op
-   * compound ({...})
+   * block ({...})
       * variable declaration section
       * sequence of statements
@@ -50 +50 @@
       * with possible initialization expression
       * possible array extents information and other information modifying type?
-      * static, ...?
+      * storage class: automatic, static, extern, ...?
    * expressions (may have side-effects)
       * literals (including named literals): integers, reals, strings, chars
       * variable
-      * operators: +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z), bitand, bitor, bitxor, lshift, rshift
+      * operators
+         * +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z), bitand, bitor, bitxor, lshift, rshift, & (address-of), * (dereference)
+         * cast-to-t
+         * a[i] (array index)
+         * x.a (record navigation)
       * assignments: x++, x--, ++x, --x
-      * bit-wise operators?
-      * &,* (pointer operations)
-      * cast-to-t
-      * a[i] (array index)
-      * x.a (record navigation)
       * function invocation f(x)
-      * initializers
+      * initializers (special kind of expression used to initialize variables in their decl)
       * sizeof (type, expression, or string literal)
       * startOf(a): &a[0] -- that is the Cil way of converting an array to pointer to first element
@@ -82 +81 @@
 
 
+Modules
+ * CPreProcessor: an ANTLR-generated parser that takes source file and produces token stream, applies pre-processing rules, produces new token stream
+ * CParser: an ANTRL-generated parser that takes stream of sourced tokens from pre-processor and produces AST stage 0
+ * AST, ASTNode
 
 == C Example ==