<#3539#>Expressions<#3539#> can be composed by various mechanisms (<#3540#>calls<#3540#>,
<#3541#>operators<#3541#> and <#3542#>control-structures<#3542#>) out
of smaller constructs (the <#3543#>primaries<#3543#>).
<#3544#>Expressions<#3544#> may either yield a value of some type, or they may
be actions, which yield no value (and have a hypothetical type
<#3545#>VOID<#3545#>).
(315,080)<#4629#>
(000,070)<#4449#>expression<#4449#>
128
(000,050)<#4450#>(1,0)<#3547#>140<#3547#><#5222#>#tex2html_wrap6823#(060,010)<#5223#>primary<#5223#><#5222#>
(1,0)<#3550#>030<#3550#><#4450#>
129
(115,040)<#3551#>(20,20)[r]<#3551#>
(115,030)<#4451#>(-1,0)<#3552#>005<#3552#><#4451#>
(025,030)<#4452#>(1,0)<#3553#>005<#3553#><#5225#>#tex2html_wrap6827#(080,010)<#5226#>monadic-operator<#5226#><#5225#><#4452#>
(025,040)<#3556#>(20,20)[l]<#3556#>
130
(205,040)<#3557#>(20,20)[rt]<#3557#>
(215,040)<#4453#>(0,-1)<#3558#>20<#3558#><#4453#>
(205,020)<#3559#>(20,20)[rb]<#3559#>
(205,010)<#4454#>(-1,0)<#3560#>095<#3560#><#4454#>
(025,010)<#4455#>(1,0)<#3561#>005<#3561#><#5228#>#tex2html_wrap6831#(080,010)<#5229#>dyadic-operator<#5229#><#5228#><#4455#>
(025,020)<#3564#>(20,20)[lb]<#3564#>
(015,020)<#4456#>(0,1)<#3565#>20<#3565#><#4456#>
131
<#4629#>
The <#3566#>dyadic-operators<#3566#> have the following priorities:
#litout4652#
(315,220)<#4630#>
(000,210)<#4457#>primary<#4457#>
132
(000,190)<#4458#>(1,0)<#3590#>070<#3590#><#5231#>#tex2html_wrap6889#(080,010)<#5232#>denoter<#5232#><#5231#>
(1,0)<#3593#>070<#3593#><#4458#>
133
(025,180)<#3594#>(20,20)[lb]<#3594#>
(025,170)<#4459#>(1,0)<#3595#>045<#3595#><#5234#>#tex2html_wrap6893#(080,010)<#5235#>object-name<#5235#><#5234#>
(1,0)<#3598#>045<#3598#><#4459#>
(195,180)<#3599#>(20,20)[rb]<#3599#>
134
(025,160)<#3600#>(20,20)[lb]<#3600#>
(025,150)<#4460#>(1,0)<#3601#>045<#3601#><#5237#>#tex2html_wrap6897#(080,010)<#5238#>procedure-call<#5238#><#5237#>
(1,0)<#3604#>045<#3604#><#4460#>
(195,160)<#3605#>(20,20)[rb]<#3605#>
135
(025,140)<#3606#>(20,20)[lb]<#3606#>
(025,130)<#4461#>(1,0)<#3607#>045<#3607#><#5240#>#tex2html_wrap6901#(080,010)<#5241#>subscription<#5241#><#5240#>
(1,0)<#3610#>045<#3610#><#4461#>
(195,140)<#3611#>(20,20)[rb]<#3611#>
136
(025,120)<#3612#>(20,20)[lb]<#3612#>
(025,110)<#4462#>(1,0)<#3613#>045<#3613#><#5243#>#tex2html_wrap6905#(080,010)<#5244#>selection<#5244#><#5243#>
(1,0)<#3616#>045<#3616#><#4462#>
(195,120)<#3617#>(20,20)[rb]<#3617#>
137
(025,100)<#3618#>(20,20)[lb]<#3618#>
(025,090)<#4463#>(1,0)<#3619#>045<#3619#><#5246#>#tex2html_wrap6909#(080,010)<#5247#>abstractor<#5247#><#5246#>
(1,0)<#3622#>045<#3622#><#4463#>
(195,100)<#3623#>(20,20)[rb]<#3623#>
138
(025,080)<#3624#>(20,20)[lb]<#3624#>
(025,070)<#4464#>(1,0)<#3625#>045<#3625#><#5249#>#tex2html_wrap6913#(080,010)<#5250#>concretizer<#5250#><#5249#>
(1,0)<#3628#>045<#3628#><#4464#>
(195,080)<#3629#>(20,20)[rb]<#3629#>
139
(025,060)<#3630#>(20,20)[lb]<#3630#>
(025,050)<#4465#>(1,0)<#3631#>045<#3631#><#5252#>#tex2html_wrap6917#(080,010)<#5253#>terminator<#5253#><#5252#>
(1,0)<#3634#>045<#3634#><#4465#>
(195,060)<#3635#>(20,20)[rb]<#3635#>
140
(025,040)<#3636#>(20,20)[lb]<#3636#>
(025,030)<#4466#>(1,0)<#3637#>045<#3637#><#5255#>#tex2html_wrap6921#(080,010)<#5256#>composed-unit<#5256#><#5255#>
(1,0)<#3640#>045<#3640#><#4466#>
(195,040)<#3641#>(20,20)[rb]<#3641#>
141
(025,020)<#3642#>(20,20)[lb]<#3642#>
(025,010)<#4467#>(1,0)<#3643#>005<#3643#> <#5262#>(010,010)<#5265#>(<#5265#><#5262#> (010,010)
(1,0)<#3646#>030<#3646#><#5267#>#tex2html_wrap6931#(080,010)<#5268#>expression<#5268#><#5267#>
(1,0)<#3649#>030<#3649#> <#5274#>(010,010)<#5277#>)<#5277#><#5274#> (010,010)
(1,0)<#3652#>005<#3652#><#4467#>
(195,020)<#3653#>(20,20)[rb]<#3653#>
142
(005,180)<#3654#>(20,20)[rt]<#3654#>
(015,180)<#4468#>(0,-1)<#3655#>160<#3655#><#4468#>
143
(205,020)<#4469#>(0,1)<#3656#>160<#3656#><#4469#>
(215,180)<#3657#>(20,20)[lt]<#3657#>
144
<#4630#>
These constructs are explained in the following sections.