next up previous
Next: Check Context Conditions Up: Expressions Previous: Cast expressions

Assignment operators

Assignment operators[58]:
SYMBOL LeftHandSide       INHERITS ExpressionSymbol END;
SYMBOL RightHandSide      INHERITS ExpressionSymbol END;
SYMBOL AssignmentOperator INHERITS OperatorSymbol   END;

RULE: Expression ::= LeftHandSide AssignmentOperator RightHandSide COMPUTE
  DyadicContext(Expression,AssignmentOperator,LeftHandSide,RightHandSide);
END;

RULE: RightHandSide ::= Expression COMPUTE
  ConversionContext(RightHandSide,,Expression);
  Indication(castInd);  /* FIXME: Verify that castInd is correct */
END;
This macro is invoked in definition 45.



2008-09-11