Commit 4b277c31 authored by fetke's avatar fetke
Browse files

codec now produces the first match. some more octetstring lengths added as well

parent a0c28947

ePassport/ttcn/ePassport_Types.ttcn

+8 −1
Original line number Diff line number Diff line
@@ -429,6 +429,8 @@ module ePassport_Types { 


				type record GenericData {

					octetstring data optional

				} with {

                	variant (data) "length=infinity";

				}



			} // end GenericMsg
@@ -546,7 +548,7 @@ module ePassport_Types { 
				type record ReadBinaryWithOffsetDataObjectData {

					octetstring data // FIXME: unfinished; maybe more variants are to be used later

				} with {

					variant (data) "length=getIntTag('lengthC');unsigned;";

					variant (data) "length=getIntTag('lengthC');";

				}



			} // end ReadBinaryWithOffsetDataObjectMsg
@@ -603,6 +605,8 @@ module ePassport_Types { 


				type record ExternalOrMutualAuthenticateData {

					octetstring challengeResponse

				} with {

                	variant (challengeResponse) "length=infinity";

				}



			} // end ExternalOrMutualAuthenticateMsg
@@ -626,8 +630,11 @@ module ePassport_Types { 


				type record InternalAuthenticateData {

					octetstring challenge

				} with {

                	variant (challenge) "length=infinity";

				}

				



			} // end InternalAuthenticateMsg



			group ManageSecurityEnvironmentMsg {