5.18 ATTRVALFromValue

 procedure ATTRVALFromValue(v: Value,
                            s: Syntax, 
                            var t: PrefixTable) : ATTRVAL

The ATTRVALFromValue procedure converts a value in the abstract Value encoding v of syntax s into a concrete ATTRVAL, using the prefix table represented by t. This procedure can mutate the supplied prefix table.

See section 5.16.3 for the specification of this procedure.