next up previous
Next: Assignment operators Up: Expressions Previous: Operators other than assignment

Cast expressions

Cast expressions[56]:
RULE: Expression ::= '(' PrimitiveType ')' Expression COMPUTE
  PrimaryContext(Expression[1],PrimitiveType.Type);
  RootContext(PrimitiveType.Type,,Expression[2]);
  Indication(castInd);
END;

RULE: Expression ::= '(' ArrayType ')' Expression COMPUTE
  PrimaryContext(Expression[1],ArrayType.Type);
  RootContext(ArrayType.Type,,Expression[2]);
  Indication(castInd);
END;

RULE: Expression ::= '(' Expression $pTypeName ')' Expression COMPUTE
  PrimaryContext(Expression[1],pTypeName.Key);
END;
This macro is invoked in definition 45.

Conditional expressions[57]:
RULE: Expression ::= Expression '?' Expression ':' Expression COMPUTE
  Expression[2].Required=boolType;
  DyadicContext(Expression[1],,Expression[3],Expression[4]);
  Indication(conditionalInd);
END;

RULE: Expression ::= Expression 'instanceof' Type COMPUTE
  PrimaryContext(Expression[1],boolType);
END;
This macro is invoked in definition 45.



2008-09-11