Changes between Version 3 and Version 4 of AST


Ignore:
Timestamp:
04/18/11 14:09:35 (15 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AST

    v3 v4  
    9797      * possible array extents information and other information modifying type?
    9898      * storage class: automatic, static, extern, ...?
    99    * expressions (side-effect-free)
    100       * literals (including named literals): integers, reals, strings, chars
    101       * variable
    102       * operators
    103          * +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z), bitand, bitor, bitxor, lshift, rshift, & (address-of), * (dereference)
    104        * cast-to-t
    105        * a[i] (array index)
    106        * x.a (record navigation)
    107       * quantifiers: \forall, \exists, \uniform, \sum
    108       * initializers (special kind of expression used to initialize variables in their decl)
    109       * sizeof (type, expression, or string literal)
    110       * startOf(a): &a[0] -- that is the Cil way of converting an array to pointer to first element
    111       * function invocation f(x) when f is abstract (pure) function
    112    * expressions with side-effects
    113       * assignments: x=expr, x++, x--, ++x, --x
    114       * function invocation f(x) when f is concrete and return type of f is non-null
     99   * expressions: these are considered a kind of statement (as in C)
     100      * pure expressions (side-effect-free)
     101         * literals (including named literals): integers, reals, strings, chars
     102         * variable
     103         * operators
     104            * +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z), bitand, bitor, bitxor, lshift, rshift, & (address-of), * (dereference)
     105         * cast-to-t
     106         * a[i] (array index)
     107         * x.a (record navigation)
     108         * quantifiers: \forall, \exists, \uniform, \sum
     109         * initializers (special kind of expression used to initialize variables in their decl)
     110         * sizeof (type, expression, or string literal)
     111         * startOf(a): &a[0] -- that is the Cil way of converting an array to pointer to first element
     112         * function invocation f(x) when f is abstract (pure) function
     113      * expressions with side-effects
     114         * assignments: x=expr, x++, x--, ++x, --x
     115         * function invocation f(x) when f is concrete and return type of f is non-null
    115116
    116117