|  | 
|  |  |  |  | 
This built-in function decodes a value from a bitstring and cuts the consumed part from the bitstring.
Related keywords:
| decvalue( inout bitstring_value, out decoded_value [, in encoding_info [, in dynamic_encoding]] ) return integer; | 
Example 1:
type float MyFloat with { encode "RAW" }
var MyFloat f := 1.1;
var bitstring bs := encvalue(f);
var integer i := decvalue(bs, f);
Example 2:
type record MyRecord {
   integer num,
   charstring str
}
with {
   encode "XML";
   encode "JSON";
}
var MyRecord r := { num := 3, str := "abc" };
var bitstring bs := encvalue(r, "", "JSON");
var integer i := decvalue(bs, r, "", "JSON");
BNF definition of decvalue