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.