Commit 409b053a authored by tepelmann's avatar tepelmann
Browse files

Initial version of TC_NAT64_LSN_MSSC_BV_001.

parent 75d7a799

ttcn/LibTransitioning/LibIpv6_Rfc792Icmpv4_Templates.ttcn

+45 −45
Original line number Diff line number Diff line
@@ -19,9 +19,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
	

	group ICMPv4_Echo_Request {

		

		template Ipv4EchoRequest m_ipv4EchoRequest_noData(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4EchoRequest m_ipv4EchoRequest_noData(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -182,9 +182,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 


	group ICMPv4_Other_Messages {



		template Ipv4InformationRequest m_ipv4InformationRequest(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4InformationRequest m_ipv4InformationRequest(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -198,9 +198,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4InformationReply m_ipv4InformationReply(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4InformationReply m_ipv4InformationReply(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -214,9 +214,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4TimestampRequest m_ipv4TimestampRequest(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4TimestampRequest m_ipv4TimestampRequest(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -231,9 +231,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4TimestampReply m_ipv4TimestampReply(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4TimestampReply m_ipv4TimestampReply(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -248,9 +248,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4MaskRequest m_ipv4MaskRequest(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4MaskRequest m_ipv4MaskRequest(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -265,9 +265,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4MaskReply m_ipv4MaskReply(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4MaskReply m_ipv4MaskReply(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -282,9 +282,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4RouterAdvertisement m_ipv4RouterAdvertisement(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4RouterAdvertisement m_ipv4RouterAdvertisement(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -300,9 +300,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4RouterSolicitation m_ipv4RouterSolicitation(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4RouterSolicitation m_ipv4RouterSolicitation(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -315,9 +315,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4Unknown m_ipv4Unknown(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4Unknown m_ipv4Unknown(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -330,9 +330,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4DestinationUnreachable m_ipv4DestinationUnreachable(

			template Ipv4Address p_src,

			template Ipv4Address p_dst,

		template (value) Ipv4DestinationUnreachable m_ipv4DestinationUnreachable(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst,

			UInt8 p_icmpCode

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),
@@ -367,9 +367,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4Redirect m_ipv4Redirect(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4Redirect m_ipv4Redirect(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -384,9 +384,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4SourceQuench m_ipv4SourceQuench(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4SourceQuench m_ipv4SourceQuench(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -401,9 +401,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4TimeExceeded m_ipv4TimeExceeded(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4TimeExceeded m_ipv4TimeExceeded(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {
@@ -434,9 +434,9 @@ module LibIpv6_Rfc792Icmpv4_Templates { 
			}

		}



		template Ipv4ParameterProblem m_ipv4ParameterProblem(

			template Ipv4Address p_src,

			template Ipv4Address p_dst

		template (value) Ipv4ParameterProblem m_ipv4ParameterProblem(

			template (value) Ipv4Address p_src,

			template (value) Ipv4Address p_dst

		) := {

			ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_icmp, p_src, p_dst),

			ipv4Payload := {