No commit message (aba8c605) · Commits · TTCN-3 Libraries / LibIPv6

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2460Root_Templates.ttcn

+2 −2

Original line number	Diff line number	Diff line
		@@ -147,7 +147,7 @@
		/*
		* @param p_dst destination address for DAD.
		*/
		template Ipv6Header mw_ipHdr_src0 (Ipv6Address p_dst) := {
		template Ipv6Header mw_ipHdr_src0 (template Ipv6Address p_dst) := {
		version := c_ipv6Version ,
		trafficClass := c_trafficClassZero ,
		flowLabel := c_flowLabelZero ,
		@@ -305,7 +305,7 @@
		/*
		* @param p_ipv6Address First IPv6 address in the routing header
		*/
		template RoutingHeaderData m_routingHeaderData_ipv6AddressList_elemNo1 ( Ipv6Address p_ipv6Address ) := {
		template RoutingHeaderData m_routingHeaderData_ipv6AddressList_elemNo1 ( template Ipv6Address p_ipv6Address ) := {
		ipv6AddressList := {
		p_ipv6Address
		}

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2461NeighborDiscovery_Functions.ttcn

+1 −1

Original line number	Diff line number	Diff line
		@@ -66,7 +66,7 @@ module LibIpv6_Rfc2461NeighborDiscovery_Functions {
		*/
		function f_sendRtAdvWithPrefix( in template Ipv6Address p_llaAddrTn,
		in template Ipv6Address p_dstAddr,
		in PrefixLength p_prefixLength,
		in template PrefixLength p_prefixLength,
		in template Ipv6Address p_glaAddrTn)
		runs on LibIpv6Node
		return FncRetCode {

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2461NeighborDiscovery_Templates.ttcn

+80 −80

Original line number	Diff line number	Diff line
		@@ -76,7 +76,7 @@
		* @param p_options Router advertisement options value or template.
		*/
		template RouterAdvertisement m_rtAdv_noExtHdr ( template Ipv6Address p_src,
		Ipv6Address p_dst,
		template Ipv6Address p_dst,
		UInt1 p_mFlag,
		UInt1 p_oFlag,
		UInt16 p_lifetime,
		@@ -115,8 +115,8 @@
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		*/
		template RouterSolicitation mw_rtSol_noExtHdr ( Ipv6Address p_src,
		Ipv6Address p_dst ) := {
		template RouterSolicitation mw_rtSol_noExtHdr ( template Ipv6Address p_src,
		template Ipv6Address p_dst ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_rtSol,
		@@ -135,8 +135,8 @@
		* @param p_macSrc Binary MAC source address associated with
		* test component
		*/
		template RouterSolicitation mw_rtSol_init ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template RouterSolicitation mw_rtSol_init ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		EthernetAddress p_macSrc ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := *,
		@@ -152,7 +152,7 @@
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		*/
		template RouterAdvertisement m_rtAdv_curHL0_noOpt (Ipv6Address p_src, Ipv6Address p_dst) := {
		template RouterAdvertisement m_rtAdv_curHL0_noOpt (template Ipv6Address p_src, template Ipv6Address p_dst) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_rtAdv,
		@@ -174,8 +174,8 @@
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr (Ipv6Address p_src,
		Ipv6Address p_dst,
		template RouterSolicitation m_rtSol_noExtHdr (template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -192,8 +192,8 @@
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr_nonEmptyreserved (Ipv6Address p_src,
		Ipv6Address p_dst,
		template RouterSolicitation m_rtSol_noExtHdr_nonEmptyreserved (template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -211,8 +211,8 @@
		* @param p_hopLimit HopLimit field value to be used in IPv6 Header.
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr_hopLimit (Ipv6Address p_src,
		Ipv6Address p_dst,
		template RouterSolicitation m_rtSol_noExtHdr_hopLimit (template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_hopLimit,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr_hop(c_icmpHdr, p_hopLimit, p_src, p_dst),
		@@ -231,8 +231,8 @@
		* @param p_icmpCode
		* @param p_rtSolOptions Router Solicitation options.
		*/
		template RouterSolicitation m_rtSol_noExtHdr_icmpCode (Ipv6Address p_src,
		Ipv6Address p_dst,
		template RouterSolicitation m_rtSol_noExtHdr_icmpCode (template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_icmpCode,
		template RtSolOptions p_rtSolOptions ) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		@@ -278,7 +278,7 @@
		* @param p_options Router advertisement options value or template.
		*/
		template RouterAdvertisement m_rtAdv_noExtHdr_nonEmptyReserved ( template Ipv6Address p_src,
		Ipv6Address p_dst,
		template Ipv6Address p_dst,
		UInt1 p_mFlag,
		UInt1 p_oFlag,
		UInt16 p_lifetime,
		@@ -313,7 +313,7 @@
		* @param p_options Router advertisement options value or template.
		*/
		template RouterAdvertisement m_rtAdv_noExtHdr_hopLimit ( template Ipv6Address p_src,
		Ipv6Address p_dst,
		template Ipv6Address p_dst,
		UInt8 p_hopLimit,
		UInt1 p_mFlag,
		UInt1 p_oFlag,
		@@ -349,7 +349,7 @@
		* @param p_options Router advertisement options value or template.
		*/
		template RouterAdvertisement m_rtAdv_noExtHdr_code ( template Ipv6Address p_src,
		Ipv6Address p_dst,
		template Ipv6Address p_dst,
		UInt8 p_icmpCode,
		UInt1 p_mFlag,
		UInt1 p_oFlag,
		@@ -385,7 +385,7 @@
		*/
		template NeighborSolicitation mw_nbrSol_noExtHdr ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrSolOptions p_opts) := {
		ipv6Hdr := mw_ipHdr_srcDst(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -417,8 +417,8 @@
		* @param p_dst Binary IPv6 address for DAD (multicast).
		* @param p_targetAddr Binary IPv6 address associated with target.
		*/
		template NeighborSolicitation mw_nbrSol_init ( Ipv6Address p_dst,
		Ipv6Address p_targetAddr ) := {
		template NeighborSolicitation mw_nbrSol_init ( template Ipv6Address p_dst,
		template Ipv6Address p_targetAddr ) := {
		ipv6Hdr := mw_ipHdr_src0(p_dst),
		extHdrList := *,
		icmpType:= c_nbrSol,
		@@ -441,12 +441,12 @@
		* @param p_targetAddr Binary IPv6 address associated with target.
		* @param p_opts Neighborhood advertisement options value or template.
		*/
		template NeighborAdvertisement m_nbrAdv_noExtHdr ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template NeighborAdvertisement m_nbrAdv_noExtHdr ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt1 p_rFlag,
		UInt1 p_sFlag,
		UInt1 p_oFlag,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrAdvOptions p_opts) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -466,8 +466,8 @@
		* test component.
		* @param p_dst Binary IPv6 address associated with NUT.
		*/
		template NeighborAdvertisement mw_nbrAdv_noExtHdr ( Ipv6Address p_src,
		Ipv6Address p_dst ) := {
		template NeighborAdvertisement mw_nbrAdv_noExtHdr ( template Ipv6Address p_src,
		template Ipv6Address p_dst ) := {
		ipv6Hdr := mw_ipHdr_srcDst(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_nbrAdv,
		@@ -506,7 +506,7 @@
		*/
		template NeighborSolicitation m_nbrSol_noExtHdr ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrSolOptions p_opts) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -526,7 +526,7 @@
		*/
		template NeighborSolicitation mw_nbrSol_noExtHdr_anyOpts ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		Ipv6Address p_targetAddr ) := {
		template Ipv6Address p_targetAddr ) := {
		ipv6Hdr := mw_ipHdr_srcDst(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		icmpType:= c_nbrSol,
		@@ -546,7 +546,7 @@
		*/
		template NeighborSolicitation m_nbrSol_noExtHdr_nonEmptyReserved ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrSolOptions p_opts) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -569,7 +569,7 @@
		template NeighborSolicitation m_nbrSol_noExtHdr_code ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_icmpCode,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrSolOptions p_opts) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -592,7 +592,7 @@
		template NeighborSolicitation m_nbrSol_noExtHdr_hopLimit ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_hopLimit,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrSolOptions p_opts) := {
		ipv6Hdr := m_ipHdr_hop(c_icmpHdr, p_hopLimit, p_src, p_dst),
		extHdrList := omit,
		@@ -613,12 +613,12 @@
		* @param p_targetAddr Binary IPv6 address associated with target.
		* @param p_opts Neighborhood advertisement options value or template.
		*/
		template NeighborAdvertisement m_nbrAdv_noExtHdr_nonEmptyReserved ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template NeighborAdvertisement m_nbrAdv_noExtHdr_nonEmptyReserved ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt1 p_rFlag,
		UInt1 p_sFlag,
		UInt1 p_oFlag,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrAdvOptions p_opts) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -643,13 +643,13 @@
		* @param p_targetAddr Binary IPv6 address associated with target.
		* @param p_opts Neighborhood advertisement options value or template.
		*/
		template NeighborAdvertisement m_nbrAdv_noExtHdr_hopLimit ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template NeighborAdvertisement m_nbrAdv_noExtHdr_hopLimit ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_hopLimit,
		UInt1 p_rFlag,
		UInt1 p_sFlag,
		UInt1 p_oFlag,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrAdvOptions p_opts) := {
		ipv6Hdr := m_ipHdr_hop(c_icmpHdr, p_hopLimit, p_src, p_dst),
		extHdrList := omit,
		@@ -674,13 +674,13 @@
		* @param p_targetAddr Binary IPv6 address associated with target.
		* @param p_opts Neighborhood advertisement options value or template.
		*/
		template NeighborAdvertisement m_nbrAdv_noExtHdr_code ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template NeighborAdvertisement m_nbrAdv_noExtHdr_code ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_icmpCode,
		UInt1 p_rFlag,
		UInt1 p_sFlag,
		UInt1 p_oFlag,
		Ipv6Address p_targetAddr,
		template Ipv6Address p_targetAddr,
		template NbrAdvOptions p_opts) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -701,8 +701,8 @@
		* @param p_dst Binary IPv6 address associated with NUT.
		* @param p_opts Neighborhood advertisement options value or template.
		*/
		template NeighborAdvertisement mw_nbrAdv_noExtHdr_opts ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template NeighborAdvertisement mw_nbrAdv_noExtHdr_opts ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template NbrAdvOptions p_opts ) := {
		ipv6Hdr := mw_ipHdr_srcDst(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -731,10 +731,10 @@
		* destination in redirect.
		* @param p_redirectOptions Redirect option value or template.
		*/
		template Redirect m_redirect_noExtHdr_tlla ( Ipv6Address p_src,
		Ipv6Address p_dst,
		Ipv6Address p_targetAddr,
		Ipv6Address p_destinationAddr,
		template Redirect m_redirect_noExtHdr_tlla ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template Ipv6Address p_targetAddr,
		template Ipv6Address p_destinationAddr,
		template RedirectOptions p_redirectOptions) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -758,11 +758,11 @@
		* destination in redirect.
		* @param p_redirectOptions Redirect option value or template.
		*/
		template Redirect m_redirect_noExtHdr_hopLimit_tlla ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template Redirect m_redirect_noExtHdr_hopLimit_tlla ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_hopLimit,
		Ipv6Address p_targetAddr,
		Ipv6Address p_destinationAddr,
		template Ipv6Address p_targetAddr,
		template Ipv6Address p_destinationAddr,
		template RedirectOptions p_redirectOptions) := {
		ipv6Hdr := m_ipHdr_hop(c_icmpHdr, p_hopLimit, p_src, p_dst),
		extHdrList := omit,
		@@ -786,11 +786,11 @@
		* destination in redirect.
		* @param p_redirectOptions Redirect option value or template.
		*/
		template Redirect m_redirect_noExtHdr_code_tlla ( Ipv6Address p_src,
		Ipv6Address p_dst,
		template Redirect m_redirect_noExtHdr_code_tlla ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_code,
		Ipv6Address p_targetAddr,
		Ipv6Address p_destinationAddr,
		template Ipv6Address p_targetAddr,
		template Ipv6Address p_destinationAddr,
		template RedirectOptions p_redirectOptions) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -813,10 +813,10 @@
		* destination in redirect.
		* @param p_redirectOptions Redirect option value or template.
		*/
		template Redirect m_redirect_noExtHdr_nonEmptyReserved_tlla ( Ipv6Address p_src,
		Ipv6Address p_dst,
		Ipv6Address p_targetAddr,
		Ipv6Address p_destinationAddr,
		template Redirect m_redirect_noExtHdr_nonEmptyReserved_tlla ( template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template Ipv6Address p_targetAddr,
		template Ipv6Address p_destinationAddr,
		template RedirectOptions p_redirectOptions) := {
		ipv6Hdr := m_ipHdr(c_icmpHdr, p_src, p_dst),
		extHdrList := omit,
		@@ -840,10 +840,10 @@
		* @param p_redirectOptions Redirect option value or template.
		*/
		template Redirect mw_redirect (
		Ipv6Address p_src,
		Ipv6Address p_dst,
		Ipv6Address p_targetAddr,
		Ipv6Address p_destinationAddr,
		template Ipv6Address p_src,
		template Ipv6Address p_dst,
		template Ipv6Address p_targetAddr,
		template Ipv6Address p_destinationAddr,
		template RedirectOptions p_redirectOptions
		) := {
		ipv6Hdr := mw_ipHdr_srcDst(c_icmpHdr, p_src, p_dst),
		@@ -869,11 +869,11 @@
		* @param p_redirectOptions Redirect option value or template.
		*/
		template Redirect mw_redirect_hopLimit (
		Ipv6Address p_src,
		Ipv6Address p_dst,
		template Ipv6Address p_src,
		template Ipv6Address p_dst,
		UInt8 p_hopLimit,
		Ipv6Address p_targetAddr,
		Ipv6Address p_destinationAddr,
		template Ipv6Address p_targetAddr,
		template Ipv6Address p_destinationAddr,
		template RedirectOptions p_redirectOptions
		) := {
		ipv6Hdr := mw_ipHdr_srcDst_hop(c_icmpHdr, p_hopLimit, p_src, p_dst),
		@@ -900,12 +900,12 @@
		* @param p_preferredLifetime Value for preffered life time duration.
		* @param p_prefix Address prefix to be used
		*/
		template PrefixInfo m_prefixInfo ( UInt8 p_prefixLength,
		template PrefixInfo m_prefixInfo ( template UInt8 p_prefixLength,
		UInt1 p_lFlag,
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix):= {
		template Ipv6Address p_prefix):= {
		icmpType:= c_prefixInfo,
		optionLength:= c_prefixInfoLen,
		prefixLength:= p_prefixLength,
		@@ -927,13 +927,13 @@
		* @param p_preferredLifetime Value for preffered life time duration.
		* @param p_prefix Address prefix to be used
		*/
		template PrefixInfo m_prefixInfo_optionLength ( UInt8 p_prefixLength,
		template PrefixInfo m_prefixInfo_optionLength ( template UInt8 p_prefixLength,
		UInt8 p_optionLength,
		UInt1 p_lFlag,
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix):= {
		template Ipv6Address p_prefix):= {
		icmpType:= c_prefixInfo,
		optionLength:= p_optionLength,
		prefixLength:= p_prefixLength,
		@@ -990,7 +990,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix):={
		template Ipv6Address p_prefix):={
		srcLinkLayerAddr := m_macSlla(p_macSlla),
		mtuOption:= omit,
		prefixInfoList := { m_prefixInfo( p_prefixLength,
		@@ -1019,7 +1019,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix):={
		template Ipv6Address p_prefix):={
		srcLinkLayerAddr := m_macSlla(p_macSlla),
		mtuOption:= omit,
		prefixInfoList := { m_prefixInfo_optionLength( p_prefixLength,
		@@ -1039,12 +1039,12 @@
		* @param p_preferredLifetime Value for preffered life time duration.
		* @param p_prefix Address prefix to be used
		*/
		template RtAdvOptions m_rtAdvOpt_prefix ( UInt8 p_prefixLength,
		template RtAdvOptions m_rtAdvOpt_prefix ( template UInt8 p_prefixLength,
		UInt1 p_lFlag,
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix):={
		template Ipv6Address p_prefix):={
		srcLinkLayerAddr := omit,
		mtuOption:= omit,
		prefixInfoList := { m_prefixInfo( p_prefixLength,
		@@ -1112,7 +1112,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix,
		template Ipv6Address p_prefix,
		template Oct6to15 p_macSlla ):={
		mtuOption:= omit,
		prefixInfoList := { m_prefixInfo( p_prefixLength,
		@@ -1151,7 +1151,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix,
		template Ipv6Address p_prefix,
		octetstring p_otherOption):={
		srcLinkLayerAddr := m_macSlla(p_macSlla),
		mtuOption:= omit,
		@@ -1180,7 +1180,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix,
		template Ipv6Address p_prefix,
		template MtuOption p_mtu):={
		srcLinkLayerAddr := m_macSlla(p_macSlla),
		prefixInfoList := { m_prefixInfo( p_prefixLength,
		@@ -1229,7 +1229,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix ):={
		template Ipv6Address p_prefix ):={
		srcLinkLayerAddr := m_macSlla(p_macSlla),
		mtuOption:= omit,
		prefixInfoList := { m_prefixInfo_nonEmptyReserved( p_prefixLength,
		@@ -1257,7 +1257,7 @@
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix,
		template Ipv6Address p_prefix,
		octetstring p_otherOption):={
		srcLinkLayerAddr := m_macSlla(p_macSlla),
		mtuOption:= omit,
		@@ -1277,12 +1277,12 @@
		* @param p_preferredLifetime Value for preffered life time duration.
		* @param p_prefix Address prefix to be used
		*/
		template PrefixInfo m_prefixInfo_nonEmptyReserved ( UInt8 p_prefixLength,
		template PrefixInfo m_prefixInfo_nonEmptyReserved ( template UInt8 p_prefixLength,
		UInt1 p_lFlag,
		UInt1 p_aFlag,
		UInt32 p_validLifetime,
		UInt32 p_preferredLifetime,
		Ipv6Address p_prefix):= {
		template Ipv6Address p_prefix):= {
		icmpType:= c_prefixInfo,
		optionLength:= c_prefixInfoLen,
		prefixLength:= p_prefixLength,

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2461NeighborDiscovery_TypesAndValues.ttcn

+1 −0

Original line number	Diff line number	Diff line
		@@ -36,6 +36,7 @@
		const UInt32 c_retrans1s := 1000;
		const float c_ndReachableTime := 30000.0;
		const float c_ndDelayFirstProbeTime := 5.0;
		const UInt8 c_prefixLength56 := 56;
		const UInt8 c_prefixLength64 := 64;
		const UInt8 c_maxPrefixLength := 128;
		const UInt1 c_aFlag0 := 0;

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2462StatelessAddressAutoconf_Functions.ttcn

+2 −2

Original line number	Diff line number	Diff line
		@@ -34,8 +34,8 @@ module LibIpv6_Rfc2462StatelessAddressAutoconf_Functions {
		** @returns execution status
		*/
		function f_get_autoconfNs (
		in Ipv6Address p_solNodeMcaNut,
		in Ipv6Address p_llaAddrNut)
		in template Ipv6Address p_solNodeMcaNut,
		in template Ipv6Address p_llaAddrNut)
		runs on LibIpv6Node
		return FncRetCode {
		var FncRetCode v_ret := e_error;