Changes between Version 4 and Version 5 of AST

Timestamp:

04/18/11 14:23:30 (15 years ago)

Author:

Stephen Siegel

Comment:

--

AST

@@ -65 +65 @@
     * name: string
     * theType: type  (type being assigned a name)
- * statements (may have label)
+ * statements
+   * labels: set of labels associated to this statement.   The labels all correspond to the point of control just before the statement.
    * assign: lhs:=rhs;  Note statements like x+=a, x*=a will be immediately translated to x:=x+1, x:=x*a, etc.
       * lhs: LeftHandSideExpression
@@ -88 +89 @@
    * continue
    * goto
+      * label (this is the kind before processing)
+      * statement (after processing)
    * return
+      * expression (may be null)
    * no-op
    * block ({...})
-      * variable declaration section
+      * sequence of variable definitions
       * sequence of statements
-   * variable declaration
+   * variable definition
       * with possible initialization expression
       * possible array extents information and other information modifying type?
@@ -113 +117 @@
       * expressions with side-effects
          * assignments: x=expr, x++, x--, ++x, --x
-         * function invocation f(x) when f is concrete and return type of f is non-null
+         * function invocation f(x) when f is concrete