Expressions and their constituents

<#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.