Sémantická analýza
:
Kontrola typů
44/69
id
E
op
1)
Akce
:
E
.type :=
id
.type
E
2)
E
1
E
2
Pravidlo:
Pravidlo:
Opera
ce
op
je
definována nad typy
:
t
1
op
t
2
®
t
3
Akce
:
if
(
E
1
.type =
t
1
nebo
E
1
.type
je převeditelný na
t
1
)
and
(
E
2
.type =
t
2
nebo
E
2
.type
je převeditelný na
t
2
)
then
E
.type :=
t
3
else
Semantic Error
.