fixed setting of tag sm (d53dccab) · Commits · MTS - Methods for Testing and Specification / ePassport

ePassport/ttcn/ePassport_Types.ttcn

+7 −5

Original line number	Diff line number	Diff line
		@@ -267,6 +267,8 @@ module ePassport_Types {
		ChainingControl chaining,
		FirstSM sm,
		FirstLogicalChannelNumber channelNumber
		} with {
		variant (sm) "tag='sm'";
		}

		type record FurtherInterindustryClass {
		@@ -274,6 +276,8 @@ module ePassport_Types {
		FurtherSM sm,
		ChainingControl chaining,
		FurtherLogicalChannelNumber channelNumber
		} with {
		variant (sm) "tag='sm'";
		}

		type integer FirstLogicalChannelNumber (0..3)
		@@ -299,16 +303,14 @@ module ePassport_Types {
		e_SmCommandHeaderNotProcessed(2),
		e_SmCommandHeaderAuthenticated(3)
		} with {
		variant "length=2;unsigned;"
		"tag='sm'"
		variant "length=2;unsigned;";
		}

		type enumerated FurtherSM {
		e_noSM(0),
		e_SmCommandHeaderNotProcessed(1)
		} with {
		variant "length=1;unsigned;"
		"tag='sm'"
		variant "length=1;unsigned;";
		}

		type enumerated Instruction {