Export (0) Print
Expand All
Expand Minimize

5.212 ValueFromATTRVAL

procedure ValueFromATTRVAL(
 a: ATTRVAL, s: Syntax, t: PrefixTable) : Value

The ValueFromATTRVAL procedure converts a value of syntax s expressed as a concrete ATTRVALa into the abstract Value encoding, using the prefix table represented by t.

See section 5.16.3 for the specification of this procedure.

© 2014 Microsoft