Titan



decvalue


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