Concretizers

A <#3988#>concretizer<#3988#> serves to break the abstraction of a value.

(315,040)<#4644#> (000,030)<#4543#>concretizer<#4543#> 204 (000,010)<#4544#>(1,0)<#3990#>030<#3990#> <#5544#>(040,010)<#5547#>CONCR<#5547#><#5544#> (040,010) (1,0)<#3993#>030<#3993#><#5549#>#tex2html_wrap7407#(100,010)<#5550#>compact-primary<#5550#><#5549#> (1,0)<#3996#>030<#3996#><#4544#> 205 <#4644#>

The <#3997#>compact-primary<#3997#> must be of some abstract type; the <#3998#>concretizer<#3998#> is then of the type of its realization. It yields the value of its <#3999#>compact-primary<#3999#> and inherits the access attribute of its <#4000#>compact-primary<#4000#>. A <#4001#>concretizer<#4001#> can only be used in an environment where the realization of its abstract type is visible (see 4.2.4).