Add 'value' restriction on some templates (c77bf017) · Commits · TTCN-3 Libraries / LibIPv6

ttcn/LibCommonRfcs/LibIpv6_Interface_Templates.ttcn

+11 −11

Original line number	Original line	Diff line number	Diff line
	@@ -1432,10 +1432,10 @@ module LibIpv6_Interface_Templates {
	* test component.		* test component.
	* @param p_dst Binary IPv6 address associated with NUT.		* @param p_dst Binary IPv6 address associated with NUT.
	*/		*/
	template Ipv4Header m_ipv4Hdr_protocol_srcDst(		template (value) Ipv4Header m_ipv4Hdr_protocol_srcDst(
	UInt8 p_protocol,		UInt8 p_protocol,
	template Ipv4Address p_src,		template (value) Ipv4Address p_src,
	template Ipv4Address p_dst		template (value) Ipv4Address p_dst
	) := {		) := {
	version := c_ipv4Version,		version := c_ipv4Version,
	headerLength := c_defaultIhsLength,		headerLength := c_defaultIhsLength,
	@@ -1634,10 +1634,10 @@ module LibIpv6_Interface_Templates {
	* @param p_dst Binary IPv6 address associated with NUT.		* @param p_dst Binary IPv6 address associated with NUT.
	* @param p_ipv6Packet Tunneled IPv6 packet		* @param p_ipv6Packet Tunneled IPv6 packet
	*/		*/
	template Ipv4Packet m_ipv4Packet_tunneledIpv6(		template (value) Ipv4Packet m_ipv4Packet_tunneledIpv6(
	template Ipv4Address p_src,		template (value) Ipv4Address p_src,
	template Ipv4Address p_dst,		template (value) Ipv4Address p_dst,
	template Ipv6Packet p_ipv6Packet		template (value) Ipv6Packet p_ipv6Packet
	) := {		) := {
	ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_tunneledIpv6, p_src, p_dst),		ipv4Hdr := m_ipv4Hdr_protocol_srcDst(c_protocol_tunneledIpv6, p_src, p_dst),
	ipv4Payload := {		ipv4Payload := {
	@@ -1651,10 +1651,10 @@ module LibIpv6_Interface_Templates {
	* @param p_dst Binary IPv6 address associated with NUT.		* @param p_dst Binary IPv6 address associated with NUT.
	* @param p_ipv6Packet Tunneled IPv6 packet		* @param p_ipv6Packet Tunneled IPv6 packet
	*/		*/
	template Ipv4Packet mw_ipv4Packet_tunneledIpv6(		template (value) Ipv4Packet mw_ipv4Packet_tunneledIpv6(
	template Ipv4Address p_src,		template (value) Ipv4Address p_src,
	template Ipv4Address p_dst,		template (value) Ipv4Address p_dst,
	template Ipv6Packet p_ipv6Packet		template (value) Ipv6Packet p_ipv6Packet
	) := {		) := {
	ipv4Hdr := mw_ipv4Hdr_protocol_srcDst(c_protocol_tunneledIpv6, p_src, p_dst),		ipv4Hdr := mw_ipv4Hdr_protocol_srcDst(c_protocol_tunneledIpv6, p_src, p_dst),
	ipv4Payload := {		ipv4Payload := {

Admin message