Semantic Analysis
. Check semantics |
![](images/Drawing3a.gif) |
. Error reporting |
. Disambiguate overloaded operators |
.Type coercion |
. Static checking
|
|
|
|
|
|
Semantic analysis should ensure that the code is unambiguous. Also it should do the type checking wherever needed. Ex. int y = "Hi"; should generate an error. Type coercion can be explained by the following example:-
int y = 5.6 + 1;
The actual value of y used will be 6 since it is an integer. The compiler knows that since y is an instance of an integer it cannot have the value of 6.6 so it down-casts its value to the greatest integer less than 6.6. This is called type coercion.
|