Commit 3fcdcf9d authored by fetke's avatar fetke
Browse files

fixed codec generator annotations

parent be64c198

ePassport/ttcn/ePassport_Types.ttcn

+610 −610
Original line number Original line Diff line number Diff line
@@ -1087,7 +1087,7 @@ module ePassport_Types { 
						CvCertificateValue tlvValue

						CvCertificateValue tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x7f21)";

						variant "present=bytes(2,0x7f21)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1103,7 +1103,7 @@ module ePassport_Types { 
						CvCertificateBodyValue tlvValue

						CvCertificateBodyValue tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x7f4e)";

						variant "present=bytes(2,0x7f4e)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1124,7 +1124,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x5f29)";

						variant "present=bytes(2,0x5f29)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1146,7 +1146,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x7f49)";

						variant "present=bytes(2,0x7f49)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1157,7 +1157,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x5f20)";

						variant "present=bytes(2,0x5f20)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1168,7 +1168,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x7f4c)";

						variant "present=bytes(2,0x7f4c)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1179,7 +1179,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x5f25)";

						variant "present=bytes(2,0x5f25)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1190,7 +1190,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x5f24)";

						variant "present=bytes(2,0x5f24)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}
@@ -1201,7 +1201,7 @@ module ePassport_Types { 
						octetstring tlvValue

						octetstring tlvValue

					}

					}

					with {

					with {

    					variant "present=bytes(1,2,0x5f37)";

						variant "present=bytes(2,0x5f37)";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvLength)	"intTag='tlvLength'";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

						variant (tlvValue)	"length=getIntTag('tlvLength');unsigned;";

					}

					}