Denoters

<#3659#>Denoters<#3659#> serve to denote a value of a concrete type.

(315,100)<#4631#> (000,090)<#4470#>denoter<#4470#> 145 (000,070)<#4471#>(1,0)<#3661#>030<#3661#><#5279#>#tex2html_wrap6955#(100,010)<#5280#>int-denotation<#5280#><#5279#> (1,0)<#3664#>030<#3664#><#4471#> 146 (025,060)<#3665#>(20,20)[lb]<#3665#> (025,050)<#4472#>(1,0)<#3666#>005<#3666#><#5282#>#tex2html_wrap6959#(100,010)<#5283#>real-denotation<#5283#><#5282#> (1,0)<#3669#>005<#3669#><#4472#> (135,060)<#3670#>(20,20)[rb]<#3670#> 147 (025,040)<#3671#>(20,20)[lb]<#3671#> (025,030)<#4473#>(1,0)<#3672#>005<#3672#><#5285#>#tex2html_wrap6963#(100,010)<#5286#>bool-denotation<#5286#><#5285#> (1,0)<#3675#>005<#3675#><#4473#> (135,040)<#3676#>(20,20)[rb]<#3676#> 148 (025,020)<#3677#>(20,20)[lb]<#3677#> (025,010)<#4474#>(1,0)<#3678#>005<#3678#><#5288#>#tex2html_wrap6967#(100,010)<#5289#>text-denotation<#5289#><#5288#> (1,0)<#3681#>005<#3681#><#4474#> (135,020)<#3682#>(20,20)[rb]<#3682#> 149 (005,060)<#3683#>(20,20)[rt]<#3683#> (015,060)<#4475#>(0,-1)<#3684#>040<#3684#><#4475#> 150 (145,020)<#4476#>(0,1)<#3685#>040<#3685#><#4476#> (155,060)<#3686#>(20,20)[lt]<#3686#> 151 <#4631#>

(315,050)<#4632#> (000,040)<#4477#>int-denotation, number<#4477#> 152 (000,020)<#4478#>(1,0)<#3688#>030<#3688#><#5291#>#tex2html_wrap6977#(040,010)<#5292#>digit<#5292#><#5291#> (1,0)<#3691#>030<#3691#><#4478#> 153 (075,010)<#3692#>(20,20)[r]<#3692#> (075,000)<#4479#>(-1,0)<#3693#>050<#3693#><#4479#> (025,010)<#3694#>(20,20)[l]<#3694#> 154 <#4632#>

Notice that the <#3695#>int-denotation<#3695#> denotes an unsigned number, which must be preceded by a monadic minus to obtain a negative number.

(315,120)<#4633#> (000,110)<#4480#>real-denotation<#4480#> 155 (000,090)<#4481#>(1,0)<#3697#>030<#3697#><#5294#>#tex2html_wrap6991#(060,010)<#5295#>number<#5295#><#5294#> (1,0)<#3700#>030<#3700#> <#5301#>(010,010)<#5304#>.<#5304#><#5301#> (010,010) (1,0)<#3703#>030<#3703#><#5306#>#tex2html_wrap7001#(060,010)<#5307#>number<#5307#><#5306#> (1,0)<#3706#>060<#3706#><#4481#> 156 (225,080)<#3707#>(20,20)[r]<#3707#> (225,070)<#4482#>(-1,0)<#3708#>120<#3708#><#4482#> (105,060)<#3709#>(20,20)[l]<#3709#> 157 (105,050)<#4483#>(1,0)<#3710#>005<#3710#> <#5313#>(010,010)<#5316#>e<#5316#><#5313#> (010,010) (1,0)<#3713#>070<#3713#><#5318#>#tex2html_wrap7011#(060,010)<#5319#>number<#5319#><#5318#> (1,0)<#3716#>005<#3716#><#4483#> 158 (255,060)<#3717#>(20,20)[rb]<#3717#> (265,060)<#4484#>(0,1)<#3718#>20<#3718#><#4484#> (275,080)<#3719#>(20,20)[lt]<#3719#> 159 (145,040)<#3720#>(20,20)[lb]<#3720#> (145,030)<#4485#>(1,0)<#3721#>005<#3721#> <#5325#>(010,010)<#5328#>+<#5328#><#5325#> (010,010) (1,0)<#3724#>005<#3724#><#4485#> (165,040)<#3725#>(20,20)[rb]<#3725#> 160 (145,020)<#3726#>(20,20)[lb]<#3726#> (145,010)<#4486#>(1,0)<#3727#>005<#3727#> <#5334#>(010,010)<#5337#>-<#5337#><#5334#> (010,010) (1,0)<#3730#>005<#3730#><#4486#> (165,020)<#3731#>(20,20)[rb]<#3731#> 161 (125,040)<#3732#>(20,20)[rt]<#3732#> (135,040)<#4487#>(0,-1)<#3733#>20<#3733#><#4487#> 162 (175,020)<#4488#>(0,1)<#3734#>20<#3734#><#4488#> (185,040)<#3735#>(20,20)[lt]<#3735#> <#4633#>

(315,080)<#4634#> (000,070)<#4489#>text-denotation<#4489#> 163 (000,050)<#4490#>(1,0)<#3737#>030<#3737#> <#5343#>(010,010)<#5346#>;SPMquot;<#5346#><#5343#> (010,010) (1,0)<#3740#>180<#3740#> <#5352#>(010,010)<#5355#>;SPMquot;<#5355#><#5352#> (010,010) (1,0)<#3743#>030<#3743#><#4490#> 164 (195,040)<#3744#>(20,20)[r]<#3744#> (195,030)<#4491#>(-1,0)<#3745#>005<#3745#><#4491#> (065,030)<#4492#>(1,0)<#3746#>005<#3746#><#5357#>#tex2html_wrap7045#(120,010)<#5358#>any-character-except-quote<#5358#><#5357#><#4492#> (065,040)<#3749#>(20,20)[l]<#3749#> 165 (205,040)<#4493#>(0,-1)<#3750#>20<#3750#><#4493#> (195,020)<#3751#>(20,20)[rb]<#3751#> (195,010)<#4494#>(-1,0)<#3752#>055<#3752#><#4494#> (065,010)<#4495#>(1,0)<#3753#>055<#3753#> <#5364#>(020,010)<#5367#>;SPMquot;;SPMquot;<#5367#><#5364#> (020,010) <#4495#> (065,020)<#3756#>(20,20)[lb]<#3756#> (055,020)<#4496#>(0,1)<#3757#>20<#3757#><#4496#> 166 <#4634#>

A <#3758#>text-denotation<#3758#> denotes the sequence of characters, obtained by stripping off its outermost quotes. Most characters, including the space, stand for themselves, but the quote-character is used as an escape.

(315,060)<#4635#> (000,050)<#4497#>bool-denotation<#4497#> 167 (000,030)<#4498#>(1,0)<#3760#>030<#3760#> <#5373#>(040,010)<#5376#>TRUE<#5376#><#5373#> (040,010) (1,0)<#3763#>030<#3763#><#4498#> 168 (005,020)<#3764#>(20,20)[rt]<#3764#> (025,020)<#3765#>(20,20)[lb]<#3765#> (025,010)<#4499#>(1,0)<#3766#>005<#3766#> <#5382#>(040,010)<#5385#>FALSE<#5385#><#5382#> (040,010) (1,0)<#3769#>005<#3769#><#4499#> (075,020)<#3770#>(20,20)[rb]<#3770#> (095,020)<#3771#>(20,20)[lt]<#3771#> 169 <#4635#>