Commit 5e185f61 authored by fetke's avatar fetke
Browse files

removed unnecessary tagging for lengthC in the using records

parent 4b277c31

ePassport/ttcn/ePassport_Types.ttcn

+0 −8
Original line number Diff line number Diff line
@@ -98,7 +98,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU";

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

			}



			type record CommandManageSecurityEnvironment {
@@ -112,7 +111,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x22);";

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

				variant (payload)	"fieldPresent="

									"getIntTag('crtTag')==0xa4||"

									"getIntTag('crtTag')==0xa6||"
@@ -131,7 +129,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x82);";

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

			}



			type record CommandGetChallenge {
@@ -143,7 +140,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x84);";

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

			}



			type record CommandInternalAuthenticate {
@@ -155,7 +151,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x88);";

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

			};



			type record CommandSelect {
@@ -167,7 +162,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0xA4);";

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

			};



			type record CommandReadBinary {
@@ -179,7 +173,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0xB0);";

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

			};



			type record CommandReadBinaryWithOffsetDataObject {
@@ -191,7 +184,6 @@ module ePassport_Types { 
				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0xB1)";

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

			}



			type CommandGeneric CommandDeactivateFile