Align LibIts source code with Draft ETSI TS 103 097 V1.1.9 (993ca8b9) · Commits · TTCN-3 Libraries / LibIts

ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn

+3 −3

Original line number	Diff line number	Diff line
		@@ -2379,7 +2379,7 @@ module LibItsGeoNetworking_Functions {
		) runs on ItsGeoNetworking {

		[] a_securedMessage (
		mw_securedMessage (superset(mw_header_field_signer_info_certificate)),
		mdw_securedMessage (superset(mw_header_field_signer_info_certificate)),
		p_received
		) {
		// Nothing to do
		@@ -2394,7 +2394,7 @@ module LibItsGeoNetworking_Functions {
		out SecuredMessage p_received
		) runs on ItsGeoNetworking {
		[] a_securedMessage (
		mw_securedMessage(
		mdw_securedMessage(
		superset(
		mw_header_field_signer_info_certificate_chain
		)),
		@@ -2412,7 +2412,7 @@ module LibItsGeoNetworking_Functions {
		out SecuredMessage p_received
		) runs on ItsGeoNetworking {
		[] a_securedMessage (
		mw_securedMessage (
		mdw_securedMessage (
		superset(
		mw_header_field_signer_info_digest
		)),

ttcn/Security/LibItsSecurity_Templates.ttcn3

+10 −10

Original line number	Diff line number	Diff line
		@@ -737,12 +737,12 @@ module LibItsSecurity_Templates {
		/**
		* @desc Generic received template for SecuredMessage
		*/
		template (present) SecuredMessage mw_securedMessage_dummy := {
		template (present) SecuredMessage mdw_securedMessage_dummy := {
		protocol_version := c_protocol_version,
		header_fields := ?,
		payload_field := ?,
		trailer_fields := ?
		} // End of template mw_securedMessage_dummy
		} // End of template mdw_securedMessage_dummy

		} // End of group dummyMessagesRecv

		@@ -823,21 +823,21 @@ module LibItsSecurity_Templates {
		/**
		* @desc Generic received template for SecuredMessage
		*/
		template (present) SecuredMessage mw_securedMessage(
		template (present) SecuredMessage mdw_securedMessage(
		in template (present) HeaderFields p_header := ?,
		in template (present) SecPayload p_payload := ?,
		in template (present) TrailerFields p_trailer := ?
		) modifies mw_securedMessage_dummy := {
		) modifies mdw_securedMessage_dummy := {
		header_fields := p_header,
		payload_field := p_payload,
		trailer_fields := p_trailer
		} // End of template mw_securedMessage
		} // End of template mdw_securedMessage

		template (present) SecuredMessage mdw_securedMessage_CAMs(
		in template (present) HeaderField p_header := ?,
		in template (present) SecPayload p_payload := ?,
		in template (present) TrailerFields p_trailer := ?
		) modifies mw_securedMessage_dummy := {
		) modifies mdw_securedMessage_dummy := {
		header_fields := superset(mw_header_field_its_aid_CAM, p_header),
		payload_field := p_payload,
		trailer_fields := p_trailer
		@@ -847,7 +847,7 @@ module LibItsSecurity_Templates {
		in template (present) HeaderField p_header := ?,
		in template (present) SecPayload p_payload := ?,
		in template (present) TrailerFields p_trailer := ?
		) modifies mw_securedMessage_dummy := {
		) modifies mdw_securedMessage_dummy := {
		header_fields := superset(mw_header_field_its_aid_DENM, p_header),
		payload_field := p_payload,
		trailer_fields := p_trailer