Loading ePassport/ttcn/ePassport_Types.ttcn +5 −5 Original line number Diff line number Diff line Loading @@ -968,7 +968,7 @@ module ePassport_Types { TlvLength tlvLength, octetstring tlvValue } with { // 0x90 L>0 does not exist. TODO: ask Dirk what happens in this case // 0x90 L>0 does not exist; codec behavior in this case is undefined variant "present=bytes(1,0x90)&&bytes(1,4,0x00000000)" variant (tlvLength) "intTag='tlvLength'"; variant (tlvValue) "length=getIntTag('tlvLength');unsigned;"; Loading Loading
ePassport/ttcn/ePassport_Types.ttcn +5 −5 Original line number Diff line number Diff line Loading @@ -968,7 +968,7 @@ module ePassport_Types { TlvLength tlvLength, octetstring tlvValue } with { // 0x90 L>0 does not exist. TODO: ask Dirk what happens in this case // 0x90 L>0 does not exist; codec behavior in this case is undefined variant "present=bytes(1,0x90)&&bytes(1,4,0x00000000)" variant (tlvLength) "intTag='tlvLength'"; variant (tlvValue) "length=getIntTag('tlvLength');unsigned;"; Loading