5.218 ValueFromATTRVAL

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

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

See section 5.16.3 for the specification of this procedure.

Show: