next up previous
Next: Lexical literals Up: Type Analysis Previous: Statements


Expressions

Java overloading can be resolved on the basis of operand types alone, and therefore the Expression module should be instantiated without a referto parameter:

Instantiate required modules[44]:
$/Type/Expression.gnrc :inst
This macro is defined in definitions 15, 26, 38, and 44.
This macro is invoked in definition 1.

Expressions[45]:
SYMBOL Expression INHERITS ExpressionSymbol END;

Lexical literals[46]
Class literal[47]
this[48]
Class instance creation[49]
Array creation[50]
Field access[51]
Method invocation[52]
Array access[53]
Names[54]
Operators other than assignment[55]
Cast expressions[56]
Conditional expressions[57]
Assignment operators[58]
This macro is invoked in definition 2.



Subsections

2008-09-11