Newer
Older
module LibItsBtp_EncdecDeclarations {
// LibItsBtp
import from LibItsBtp_TypesAndValues all;
external function fx_enc_BtpPayload (BtpPayload p) return bitstring
with {extension "prototype(convert) encode(LibItsBtp)"}
/* TODO RGy function not implemented! (decvalue() not used by test suite @29-06-2016)
external function fx_dec_BtpPayload (inout bitstring b, out BtpPayload p) return integer
with {extension "prototype(sliding) decode(LibItsBtp)"}
*/
} // End of module LibItsBtp_EncdecDeclarations