Commit f1eab68c authored by fetke's avatar fetke
Browse files

set all payloads to optional

parent c85be451

ePassport/ttcn/ePassport_Types.ttcn

+7 −7
Original line number Diff line number Diff line
@@ -94,7 +94,7 @@ module ePassport_Types { 
				Instruction ins,

				GenericParams params,

				LengthC lengthC optional,

				GenericPayload payload,

				GenericPayload payload optional,

				LengthE lengthE optional

			} with {

				variant "isPDU";
@@ -125,7 +125,7 @@ module ePassport_Types { 
				Instruction ins(e_externalOrMutualAuthenticate),

				ExternalOrMutualAuthenticateParams params,

				LengthC lengthC optional,

				ExternalOrMutualAuthenticatePayload payload,

				ExternalOrMutualAuthenticatePayload payload optional,

				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x82);";
@@ -136,7 +136,7 @@ module ePassport_Types { 
				Instruction ins(e_getChallenge),

				GetChallengeParams params,

				LengthC lengthC optional,

				GetChallengePayload payload,

				GetChallengePayload payload optional,

				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x84);";
@@ -147,7 +147,7 @@ module ePassport_Types { 
				Instruction ins(e_internalAuthenticate),

				InternalAuthenticateParams params,

				LengthC lengthC optional,

				InternalAuthenticatePayload payload,

				InternalAuthenticatePayload payload optional,

				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0x88);";
@@ -158,7 +158,7 @@ module ePassport_Types { 
				Instruction ins(e_select),

				SelectParams params,

				LengthC lengthC optional,

				SelectPayload payload,

				SelectPayload payload optional,

				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0xA4);";
@@ -169,7 +169,7 @@ module ePassport_Types { 
				Instruction	ins(e_readBinary),

				ReadBinaryParams params,

				LengthC lengthC optional,

				ReadBinaryPayload payload,

				ReadBinaryPayload payload optional,

				LengthE lengthE optional

			} with {

				variant "isPDU;present=bytes(1,1,0xB0);";
@@ -180,7 +180,7 @@ module ePassport_Types { 
				Instruction	ins(e_readBinaryWithOffsetDataObject),

				ReadBinaryWithOffsetDataObjectParams params,

				LengthC lengthC optional,

				ReadBinaryWithOffsetDataObjectPayload payload,

				ReadBinaryWithOffsetDataObjectPayload payload optional,

				LengthE lengthE optional

			} with {

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