Commit cc915fee authored by garciay's avatar garciay
Browse files

UpperTester changes validation

parent ec9eb8a4
Loading
Loading
Loading
Loading
+12 −0
Original line number Diff line number Diff line
@@ -28,4 +28,16 @@ module LibItsDenm_EncdecDeclarations {
    external function fx_enc_UtDenmChangePseudonym (UtDenmChangePseudonym p) return bitstring
        with {extension "prototype(convert) encode(UpperTester)"}
    
    external function fx_enc_UtDenmTrigger (UtDenmTrigger p) return bitstring
        with {extension "prototype(convert) encode(UpperTester)"}
    
    external function fx_enc_UtDenmUpdate (UtDenmUpdate p) return bitstring
        with {extension "prototype(convert) encode(UpperTester)"}
    
    external function fx_enc_UtDenmTermination (UtDenmTermination p) return bitstring
        with {extension "prototype(convert) encode(UpperTester)"}
    
    external function fx_dec_UtDenmResults (inout bitstring b, out UtDenmResults p) return integer
        with {extension "prototype(sliding) decode(UpperTester)"}
    
} // End of module LibItsDenm_EncdecDeclarations