Changes between Version 13 and Version 14 of AST


Ignore:
Timestamp:
04/19/11 21:17:14 (15 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AST

    v13 v14  
    151151          * VariableExpressionNodeIF
    152152          * OperatorNodeIF
    153              * ADD, ADD_POINTER_INT, ADDRESS_OF, BIT_AND, BIT_NOT, BIT_OR, BIT_XOR, DEREFERENCE, DIVIDE, EQUALS, GREATER_THAN, GTE, IF_THEN_ELSE, LEQ, LESS_THAN, LOGICAL_AND, LOGICAL_NOT, LOGICAL_OR, MODULO, MULTIPLY, NAVIGATE, NEGATIVE, NOT_EQUALS, SHIFT_LEFT, SHIFT_RIGHT, SUBSCRIPT, SUBTRACT, SUBTRACT_POINTER_INT, SUBTRACT_POINTER_POINTER
     153             * ADD, ADD_POINTER_INT, ADDRESS_OF, BIT_AND, BIT_NOT, BIT_OR, BIT_XOR, DEREFERENCE, DIVIDE, EQUALS, GREATER_THAN, GTE, IF_THEN_ELSE, INDEX, LEQ, LESS_THAN, LOGICAL_AND, LOGICAL_NOT, LOGICAL_OR, MODULO, MULTIPLY, NAVIGATE, NEGATIVE, NOT_EQUALS, SHIFT_LEFT, SHIFT_RIGHT, SUBSCRIPT, SUBTRACT, SUBTRACT_POINTER_INT, SUBTRACT_POINTER_POINTER
    154154          * CastNodeIF
    155155             * newType: TypeNodeIF (type you are casting to)
    156156             * expression: ExpressionNodeIF
    157           * ArrayIndexNodeIF (a[i])
    158           * RecordNavigationNodeIF: (x.a)
    159157          * QuantifierNodeIF
    160158             * quantifier: {FORALL, EXISTS, LAMBDA, UNIFORM, SUM}
    … …  
    166164          * StartOfNodeIF:  &a[0] -- that is the Cil way of converting an array to pointer to first element
    167165          * FunctionApplicationNodeIF: invocation f(x) when f is abstract (pure) function
     166          * ProcessReferenceNodeIF: PROC[expr].x
    168167       * SideEffectExpressionNodeIF: expressions with side-effects
    169168          * AssignmentNodeIF: x=expr, x++, x--, ++x, --x